Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.
Toby Cathcart BurnLuke OngSteven J. RamsayDominik WagnerPublished in: CoRR (2021)
Keyphrases
- horn clauses
- function symbols
- first order logic
- datalog programs
- expressive power
- fixpoint
- tuple generating dependencies
- logic programming
- logic programs
- inference rules
- inductive logic programming
- transitive closure
- query answering
- database
- feature selection
- database queries
- query language
- databases
- deductive databases
- active learning