Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.
Toby Cathcart BurnLuke OngSteven J. RamsayDominik WagnerPublished in: LICS (2021)
Keyphrases
- horn clauses
- function symbols
- first order logic
- datalog programs
- expressive power
- fixpoint
- transitive closure
- logic programs
- tuple generating dependencies
- inference rules
- logic programming
- inductive logic programming
- databases
- query language
- existentially quantified
- relational calculus
- data complexity
- answer set programming
- deductive databases
- integrity constraints
- graphical models
- object oriented
- domain knowledge
- data model
- pairwise