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

選擇運(yùn)算的基本方法有（）

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

斷言檢查起來很耗費(fèi)系統(tǒng)性能。

建立學(xué)生表[Student]，其中學(xué)號(hào)屬性不能為空，并且其值是唯一的。

某個(gè)事務(wù)在運(yùn)行過程中由于種種原因未能運(yùn)行到正常而中止，這屬于（）

查考試成績(jī)有不及格的學(xué)生的學(xué)號(hào)。

一個(gè)關(guān)系模式的范式級(jí)別達(dá)到3Nf后它一定是BCNF。

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

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