对系统的完整性约束问题提出了关于演绎知识的吸收概念以及用元谓词实现吸收的方法。
In order to maintain the integrity of deductive databases, deductive knowledge assimilation and implementation in meta-predicate are introduced.
从逻辑的角度来看,对知识的利用就是推理,就是逻辑演绎。
In the view of logic, reasoning is the use of knowledge and logic deduction.
现代数据库应能管理数据、对象和知识,而演绎对象数据库恰恰满足这些要求。
Advanced database should be capable of managing data, object and knowledge, and deductive object database can just meet all these requirements.
应用推荐