建立學生表[Student]，其中學號屬性不能為空，并且其值是唯一的。

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

用戶優(yōu)化和系統(tǒng)優(yōu)化的效果一樣。

查詢語句中有分組子句時，SELECT子句后面只能是分組屬性或者聚集函數(shù)。

創(chuàng)建視圖[學生成績表視圖]，視圖中包括學號（Sno）、姓名（Sname）、課程號（Cno）、課程名（Cname）、成績（Grade）。

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

關(guān)于數(shù)據(jù)庫的恢復(fù)技術(shù)，下面說法正確的是（）

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

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

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