end close cur deallocate cur end
存储过程创建语法2分，游标3分，判断处理4分。
8.（6%）
createtrigger updateprice on I forinsert as begin
update I set Iprice=Iprice*1.2 where I.Mno=(select Mno from M where M.Cno=(select Cno from C where Cname='Warner Bros')and Myear>'2012')and Ino in(select Ino from inserted)
End
触发器创建语法2分，具体更新4分。
第三题
（1）Fm={A->E,BC->G,BD->A,A->C,I->H}(不唯一，总共6分，过程3分，结果3分) （2）候选码BDIJ（总共3分，过程1分）
（3）σ={R1(ACE),R2(BCG),R3(ABD),R4(IH),R5(BDIJ)}
回答是1NF（2分，没有回答后面作对的也给分）正确分解为3NF 5分，无损连接加入主键5分。忘记分离J扣一分，忘记加入主键扣2分。
（4）前面作对，判断正确有过程给6分，其他情况扣2分。
第四题
完备性证明：
要证明它首先解决如何判定一个函数依赖是否属于由F根据Armstrong公理推导出来的函数依赖的集合。如果能求出这个集合就很容易判断，但是求这样的集合是一个NP完全问题。
证明完备性转换为证明它的逆否命题为真。即若函数依赖不能由F从Armstrong公理导出，那么它必然不为F所蕴含。证明分3步（略）证明用到了构造(特殊的二维表)、反证，十分巧妙。
对于任意的某个R〈U,F〉，对于任意的某个不能由F从Armstrong公理导出的X→Y，有以下情况: X,Y?U，（因为反之肯定不被F所蕴含） Y\\?X，（否则一定被F天然蕴含） 下面证明X→Y不被F所蕴含： ①若V→W且V?XF+，则W?XF+
∵V?XF+ ∴X→V
又∵V→W ∴X→W ∴W?XF+
②构造下述关系r，则必有r∈R〈U,F〉；即属性集相同，且F中的全部函数依赖在r上成立
XF v1v2……vm v1v2……vm +U-XF u1u2……un w1w2……wn +假设r?R，那么一定有：?(V→W)(V→W∈F∧V→W在r上不成立) V→W在r上不成立，则V?XF+且W\\?XF+ 这与①相矛盾，故假设错误；∴r∈R
③若X→Y不能由F从Armstrong公理导出，那它必然不为F所蕴含 X→Y不能由F从Armstrong公理导出?Y\\?XF+ ∴?Y'(Y'?Y∧Y'?U-XF+) ∴X→Y在r中不成立
X→Y在r中不成立 && F+一定在r上成立?X→Y不为F所蕴含 完备性说明了“导出”和“蕴含”的等价
3步骤证明过程，每个5分。写amstrong定理给1-3分，其他情况酌情给1-4分。
