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

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

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

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

建立索引是為了加快查詢速度。因此，對一個(gè)基本表可以建立多個(gè)索引。

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

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

查計(jì)算機(jī)系姓趙的男同學(xué)的姓名（Sname）、性別（Ssex）、年齡（Sage）。

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

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