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

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

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

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

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

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

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

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

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

DBMS執(zhí)行CREATE VIEW語句的時執(zhí)行其中的SELECT語句，并保存結(jié)果。