Datalog Queries of Set Constraint Databases

Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the relational database model has proposed using constraint databases that finitely describe infinite relations. This paper attempts to combine these two divergent approaches. In particular a query language called Datalog with set order constraints, or Datalog⊂P(Z) , is proposed. This language can express many natural problems with sets, including reasoning about inheritance hierarchies. Datalog⊂P(Z) queries over set constraint databases are shown to be evaluable bottom-up in closed form and to have DEXPTIME-complete data complexity.

• Type: Conference
• Year: 1995
• Where: ICDT
• Authors: Peter Z. Revesz
• Keywords: Constraint Databases, Database, ICDT 1995, Language Called Datalog, Relational Database Model