2019年1月13日
测试
摘要： Armstrong's xiom 设 $U$为属性集的总体，$F$是$U$上的一组函数依赖，于是有关系模式$R<U,F>$，对$R<U,F>$来说有以下的推理规则： A1 自反律：若$Y\subseteq X\subseteq U$，则$X\to Y$为$F$所蕴含； A2 增广律：若$X\to Y 阅读全文
posted @ 2019-01-13 12:05 gnsylyj 阅读(90) 评论(0) 推荐(0) 编辑