数据库系统概论关系数据理论_阶段练习课件.pptVIP

An Introduction to Database System 第五章 关系数据理论 3.1若X?Z, X?Y,则有X?YZ 证明：已知X?Z,X?Y,由增广率知XX?XZ(即X?XZ),XZ?YZ,由传递率知，X?YZ. 3.2若X?Y,WY?Z,则有XW?Z 证明：已知X?Y, 由增广率知XW?WY,又因为 WY?Z,由传递率知，XW?Z. * 数据库系统概论 An Introduction to Database System 关系数据理论阶段练习 第五章 关系数据理论 3.3若X?Y, Z ? Y,则有X?Z 证明：已知Z ? Y,由自反率知Y?Z;又因为 X?Y,由传递率知，X?Z. 第五章 关系数据理论 7.1 X ? XF+ 证明：因为X ?X,所以X ? XF+ 7.2 (XF+) F+? XF+ 证明：取任意A? (XF+) F+，由题意知，存在B?XF+，使得 B?A和X?B成立，由传递率可知，X?A成立，所以A?XF+，所以(XF+) F+? XF+成立。 第五章 关系数据理论 7.3 若X?Y，XF+?YF+ 证明：取任意A?XF+，则有X?A成立；因为X?Y，由自反率可知Y?X成立；由传递率可知，Y?A成立，所以A?YF+，所以XF+?YF+成立。 第五章 关系数据理论 7.4 UF+=U 证明：只要证明(1) UF+ ? U 和(2) U ? UF+成立即可。 (1)自反率： Y?U， 则由U?Y推得的Y仍然属于U; 增广率： U?Y，有Z?U，使得UZ?YZ，这里，也必然有YZ属于U； 传递率： U?Y，Y?Z为F所蕴含，则有U?Z成立；这里，也必然有YZ属于U成立。 所以，U由F根据Armstrong公理推出的属性集，仍然属于U，即UF+ ? U 成立。 第五章 关系数据理论 1。判断下列模式属于哪个范式(最高) 1）R(A,B,C,D), F={AB?CD,B?C} 2）R(A,B,C), F={A?BC,B?C} 3) R(A,B,C), F={AB?C, C?B} 4) R(A,B), F={A?B} 5) R(A,B), F={} 1）求AF+， DF+， EF+， GCF+ AF+ =ABEGCD DF+ =D EF+ =EGC GCF+ =GC 已知关系模式RU,F,其中U={A,B,C,D,E,G}, F={AC?B, B?D, A?BE, E?GC}