^Terry Halpin. Information Modeling and Relational Databases 2nd. Morgan Kaufmann. 2008: 140 [2019-09-04]. ISBN 978-0-12-373568-3. (原始内容于2013-12-14).
^Chris Date. Database Design and Relational Theory: Normal Forms and All That Jazz. O'Reilly Media, Inc. 2012: 21 [2019-09-04]. ISBN 978-1-4493-2801-6. (原始内容于2013-12-12).
一月 30, 2023
函数依赖, 在关系数据库理论中, functional, dependency, 是数据库的关系的两个属性集合之间的一种约束, 给定关系r, r上的属性集x是功能上确定, functionally, determine, r上的另一个属性集y, 记作, 当且仅当r上的每一个x值精确地关联r上的一个y值, 因而r被说成满足x, 等价的说, 投影, displaystyle, 是一个函数, 即y是x的函数, 简单说, 如果属性集x的值是已知的, 记作x, 那么属性集y的对应于x的值可以查表, r中任何包含x的元组, 确. 在关系数据库理论中 函数依赖 functional dependency 是数据库的关系的两个属性集合之间的一种约束 给定关系R R上的属性集X是功能上确定 functionally determine R上的另一个属性集Y 记作 X Y 当且仅当R上的每一个X值精确地关联R上的一个Y值 因而R被说成满足函数依赖X Y 等价的说 投影 P X Y R displaystyle Pi X Y R 是一个函数 即Y是X的函数 1 2 简单说 如果属性集X的值是已知的 记作x 那么属性集Y的对应于x的值可以查表 R中任何包含x的元组 确定 一个函数依赖FD X Y是平凡的 如果Y是X的子集 函数依赖在数据库设计中的重要用途是海斯定理 Heath s theorem 属性集U上的关系R满足函数依赖X Y 那么可以无损分解为两个关系 P X Y R P X Z R R displaystyle Pi XY R bowtie Pi XZ R R 其中Z U XY是剩余的属性 函数依赖的逻辑蕴涵被定义为 函数依赖的集合S displaystyle Sigma 逻辑蕴涵另一个函数依赖集合G displaystyle Gamma 如果任何关系R满足S displaystyle Sigma 中的所有依赖也满足G displaystyle Gamma 中的所有依赖 记作S G displaystyle Sigma models Gamma 函数依赖的逻辑蕴涵拥有可靠且完备 的有限公理系统 称作阿姆斯特朗公理系统 Armstrong s axioms 參見 编辑数据库规范化参考文献 编辑 Terry Halpin Information Modeling and Relational Databases 2nd Morgan Kaufmann 2008 140 2019 09 04 ISBN 978 0 12 373568 3 原始内容存档于2013 12 14 Chris Date Database Design and Relational Theory Normal Forms and All That Jazz O Reilly Media Inc 2012 21 2019 09 04 ISBN 978 1 4493 2801 6 原始内容存档于2013 12 12 取自 https zh wikipedia org w index php title 函数依赖 amp oldid 68020581, 维基百科,wiki,书籍,书籍,图书馆,