演绎数据库规则语言的分研与研究

本文概述了数据库的规则语言，分析比较了ＣＯＬ ＬＤＬ和ＲＤＬ。这些语言的理论框架是ＤＡＴＡＬＯＧ，扩充基于一阶逻辑的ＤＡＴＡＬＯＧ规则语言，可以支持过程性功能，否定，更新，复杂对象以及用户控制性结构。