数据库系统及应用5-theory-2.pptVIP

数据库系统 – Principle of DataBase System 5.3 数据依赖的公理系统 公理系统 给定一组公式(公理)和推理规则，由这些公式依据推理规则得到更多的公式，公理、规则和推导出的公式构成公理系统。如欧氏几何即为公理系统。 公理系统的有效性： 　　通过推理规则得到的公式(形式推演)与通过逻辑推理得到的结论(逻辑推论)一致，即形式推演的结论是有效的。 公理系统的完备性： 　　通过逻辑推理得到的结论(逻辑推论)，都可以用形式推演得到，逻辑推理是完备的。 5.3 数据依赖的公理系统 函数依赖的公理系统 定义：设关系模式R U，F，其中F是属性集U上的函数依赖集，X,Y?U，对其任何一个关系实例r，若函数依赖X→Y都成立, 则称F逻辑蕴含X →Y，记为：F╞ X →Y 。 函数依赖的推理规则由Armstrong于1974年首先提出，故函数依赖的公理系统又称作Armstrong公理系统。 Armstrong公理系统： 　　设关系模式R U，F，其中F是属性集U上的函数依赖集。对关系模式R U，F有以下推理规则： (A1)自反律(Reflexivity)：若Y ?X ?U，则F╞ X→Y。 证明：对于关系模式RU,F的任一关系r中的任意两个元组t和s，若t[X]=s[X]，由于Y ?X，则t[Y]=s[Y]，故X→Y 注：A1属于逻辑推理规则，其证明方法属于语义证明，下同。 5.3 数据依赖的公理系统 (A2)增广律(Augmentation)： 若F╞ X→Y，Z ?U，则F╞ XZ→YZ。 证明：对于关系模式RU,F的任一关系r中的任意两个元组t和s，若t[XZ]=s[XZ]；则有t[X]=s[X]和t[Z]=s[Z]；由X→Y，则有t[Y]=s[Y]；所以t[YZ]=s[YZ]，故F╞XZ→YZ。 (A3)传递律(Transitivity)： 若F╞ X→Y， F╞ Y→Z ，则F╞ X→Z。 证明：对于关系模式RU，F 的任一关系 r中的任意两个元组 t和s，若t[X]=s[X]，由于X→Y，有 t[Y]=s[Y]；再由Y→Z，有t[Z]=s[Z]，所以F ╞ X→Z。 注：自反律(A1)是平凡的函数依赖，与函数依赖集F无关，是关系自身就有的性质。 定理：以上三条推理规则是正确的。(已证明) 5.3 数据依赖的公理系统 定义：由自反律(A1)、增广律(A2)和传递律(A3)三条推理规则构成Armstrong公理系统。 Armstrong公理系统还可以得到以下三条推理规则： 合并规则：{X→Y，X→Z } ╞ X→YZ。 证明： (1) X→Y 已知(P规则) (2) X→XY A2，(1) (3) X→Z 已知 (4) XY→YZ A2，(3) (5) X→YZ A3，(2)，(4) ? {X→Y，X→Z } ╞ X→YZ 注： 合并规则属于逻辑推理规则，其证明方法属于逻辑推证，下同。 5.3 数据依赖的公理系统 分解规则： {X→Y，Z ?Y } ╞ X→Z。 证明： (1) X→Y 已知 (2) Z ?Y 已知 (3) Y→Z A1 (4) X→Z A3，(1)，(3) ? {X→Y，Z ?Y } ╞ X→Z 伪传递规则：{X→Y， WY→Z } ╞ WX→Z。 证明： (1) X→Y 已知 (2) WX →WY A2，(1) (3) WY→Z 已知 (4) WX→Z A3，(2)，(3) ? {X→Y， WY→Z } ╞ WX→Z 5.3 数据依赖的公理系统 定理：X→A1A2…Ak成立的充分必要条件是X→Ai成立（i=1, 2, …，k）。 证明方法：由分解规则证必要性，合并规则证充分性。 （作业：证明此定理） 函数依赖集的闭包 定义：在关系模式RU，F中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包(Closure)，记为F+。 例: 已知RU, F，其中U＝{A, B, C}，F={A→B, B→C}，求关系模式R上的函数依赖集F的闭包F＋。 　解： F＋= { Ф→Ф, A→Ф, A→A, …, AB→A, … //A1 A→B,A→AB,AB→B,…,ABC→BC,… //A2 B→C, AB→AC, …… //A2 A →C } //A3 注：本题F＋共计43个不重复的FD。 |F＋|属于NP完全问题 5.3 数据依赖的公理系统 F+的意义：包含了给定函数依赖集F(部分)所蕴涵的属性集U上的全部函