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

對于已提交事務，恢復時需要做redo操作。

投影運算是二元運算符。

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

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