Datalog规则与基于逻辑的关系查询

Datalog Rule and Relational Qvery Based on Logic

Datalog作为关系数据模式中用来扩充逻辑查询语言的一种重要形式。提出并解决了Data-log规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等相关问题。

Datalog is an important type of query language in the relational model. Datalog rule, the safety condition of Datalog role. Query Expression base on Datalog rule in relation algebra, and Recursive query in Datalog rule are discussed in this paper.