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

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

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

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

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

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

查詢的內(nèi)部表示可以使用（）

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

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

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