下面哪個選項(xiàng)不是冗余數(shù)據(jù)？（）

DBMS執(zhí)行CREATE VIEW語句的時執(zhí)行其中的SELECT語句，并保存結(jié)果。

磁盤鏡像的作用在于并發(fā)控制。

創(chuàng)建存儲過程[getDetailByName]，通過輸入?yún)?shù)學(xué)生姓名（如"張三"），篩選出該學(xué)生的基本信息，對不存在此學(xué)生姓名的輸入值，必須作一檢測，打印信息“不存在此學(xué)生”。

一個關(guān)系模式總可以通過分解達(dá)到BCNF或3NF。

強(qiáng)制存取控制是所有數(shù)據(jù)庫管理系統(tǒng)必須提供的安全性手段。

查詢的內(nèi)部表示可以使用（）

順序封鎖發(fā)能夠解決死鎖。

透過視圖的更新被保存在視圖中。

應(yīng)該盡量避免笛卡爾積運(yùn)算。