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

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

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

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

應(yīng)該盡量避免笛卡爾積運算。

關(guān)系數(shù)據(jù)庫中查詢優(yōu)化是可以省略的。

創(chuàng)建視圖[學(xué)生成績表視圖]，視圖中包括學(xué)號（Sno）、姓名（Sname）、課程號（Cno）、課程名（Cname）、成績（Grade）。

投影運算是二元運算符。

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

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