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

投影運算是二元運算符。

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

查考試成績有不及格的學(xué)生的學(xué)號。

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

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

選擇運算是傳統(tǒng)的集合運算符。

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

建立索引是為了加快查詢速度。因此，對一個基本表可以建立多個索引。

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