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

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

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

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

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