(最终版)数据库8条公理的证明.pdfVIP

                                      杨尚杰  公理的证明：  A1:若Y  X U ,则X Y .  r t, s. 解：对R U, F 中的任一关系 中任意两个元素组   若t[X ] s[X ] , 由Y  X U 知：t[Y ] s[Y ]  故X Y 成立.    A2:若X Y 且Z U ，则XZ YZ   r t, s. 解：对R U, F 中的任一关系 中任意两个元素组   若t[XZ ] s[XZ ] ,则t[X ] s[X ],t[Z ] s[Z ] .  由X Y ,有t[Y ] s[Y ]  故t[YZ ] s[YZ ]  从而XZ YZ .    A3:若X Y , Y Z. 则X Z .  r t, s. 解：对R U, F 中的任一关系 中任意两个元素组   若t[X ] s[X ] . 由X Y 得t[Y ] s[Y ]  由Y Z 得t[Z ] s[Z ]  从而X Z .    A4:若X Y ,V W U. 则XW YV .  r t, s. 解：对R U, F 中的任一关系 中任意两个元素组   若t[XW ] s[XW ],则有：t[X ] s[X ],t[W ] s[W ]      由X Y 知  w,v r 满足：  w[X ] v[X ] t[X ] s[X ]  w[Y ] t[Y ]   w[Z ] s[Z ]  Z U  X Y   v[Y ] s[Y ]     v[Z ] t[Z ]  Z U  X Y     X  Y  U‐X‐Y  t  a1  b1  c1  s  a1  b2  c2  w  a1  b1  c2  v  a1  b2  c1  由V W U ,则W V 故有：  t[W ] t[V ] s[W ] s[V ]  从而w[XW ] v[XW ] t[XW ] s[XW ]  w[Y