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

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

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

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

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

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

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

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

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

選擇運算的基本方法有（）