Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog.
Mario Alvarez-PicalloAlex Eyers-TaylorMichael Peyton JonesC.-H. Luke OngPublished in: ESOP (2019)
Keyphrases
- datalog programs
- datalog programs with negation
- fixpoint semantics
- deductive databases
- logic programming
- logic programs
- fixpoint
- model theoretic
- query answering
- recursive programs
- inconsistent databases
- nonmonotonic reasoning
- data complexity
- conjunctive queries
- recursive queries
- query language
- expressive power
- reasoning tasks
- database languages
- declarative semantics
- incremental learning
- higher order
- stable models
- incomplete information
- formal semantics
- query containment
- square root
- database
- integrity constraints
- knowledge base