摘要: 首先引入armstrong‘s axioms, 反射律(reflexivity rule)对于任何为LA(a)子集的LA(b)来说,LA(a)->LA(b)恒成立 增加律(argumentation rule)若LA(a)->LA(b)成立,则LA(a)LA(y)->LA(b)LA(y)成立 转移律 阅读全文
posted @ 2017-05-10 12:19 duskcloudxu 阅读(1299) 评论(0) 推荐(0) 编辑