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

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

對于已提交事務(wù)，恢復(fù)時需要做redo操作。

代數(shù)優(yōu)化是通過存儲路徑和底層操作算法的選擇進行優(yōu)化。

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

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

查考試成績有不及格的學生的學號。

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

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

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