摘要: #数据依赖的公理系统 ##Armstrong 公理 设有关系模式 R(U) 及其函数依赖集 F,如果对于 R 的任一个满足 F 的关系 r 函数依赖 X→Y 都成立,则称 F 逻辑蕴涵 X→Y,或称 X→Y 可以由 F 推出。给定关系模式 R(U) 和 FD 集 F,Armstrong 公理规定了以 阅读全文
posted @ 2022-09-11 02:06 乌漆WhiteMoon 阅读(2179) 评论(2) 推荐(1) 编辑