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

本文概述了数据库的规则语言，分析比较了ｃｏｌｌｄｌ和ｒｄｌ。这些语言的理论框架是ｄａｔａｌｏｇ，扩充基于一阶逻辑的ｄａｔａｌｏｇ规则语言，可以支持过程性功能，否定，更新，复杂对象以及用户控制性结构。