創(chuàng)建存儲過程[getDetailByName]，通過輸入?yún)?shù)學(xué)生姓名（如"張三"），篩選出該學(xué)生的基本信息，對不存在此學(xué)生姓名的輸入值，必須作一檢測，打印信息“不存在此學(xué)生”。

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

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

復(fù)雜的更新需要先找到相應(yīng)的元組，然后才能進行更新。

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

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

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

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

計算1號課程的學(xué)生平均成績。

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