將一個新學生記錄（學號：05020；姓名：丁莉；性別：女；年齡：17歲；所在系：計算機；）插入Student 表中。

投影運算是二元運算符。

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

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

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

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

關系數(shù)據(jù)庫中查詢優(yōu)化是可以省略的。

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

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

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