2021年11月15日
数据库----数据依赖的公理系统
摘要： 一，逻辑蕴含 定义：对于满足一组函数依赖F的关系模式 R <U,F>，其任何一个关系r，若函数依赖X→Y都成立（即r中任意两元组t、s，若t[X]=s[X]，则 t[Y]=s[Y]），则称F逻辑蕴涵X →Y。 二，Armstrong公理系统 A1　自反律：若Y ⊆ X ⊆ U，则X →Y 为F所蕴涵 阅读全文
posted @ 2021-11-15 21:51 Mr_宋先生 阅读(333) 评论(0) 推荐(0) 编辑