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

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

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

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

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

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

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

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

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

封鎖協(xié)議越嚴(yán)格，并發(fā)程度越低。