2019年2月12日
数据依赖的公理系统
摘要： ArmStrong公理系统 ArmStrong公理系统 学习数据依赖的公理系统是进行模式分解的算法的理论基础。而Armstrong公理系统是一个具有有效性和完备性的公理系统。 U是属性总体，F是函数依赖，对于R<U,F>推理规则如下： A1 自反律 ：若Y⊆X⊆U，则X→Y为F所蕴涵。 A2 增广律 阅读全文
posted @ 2019-02-12 21:39 柳予安 阅读(1700) 评论(0) 推荐(0) 编辑