Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog.
Mario Alvarez-PicalloAlex Eyers-TaylorMichael Peyton JonesC.-H. Luke OngPublished in: CoRR (2018)
Keyphrases
- datalog programs
- fixpoint semantics
- datalog programs with negation
- deductive databases
- logic programming
- logic programs
- fixpoint
- query answering
- model theoretic
- higher order
- recursive queries
- conjunctive queries
- expressive power
- autoepistemic logic
- data complexity
- recursive programs
- inconsistent databases
- integrity constraints
- declarative semantics
- databases
- incremental learning
- query language
- square root
- transitive closure
- data exchange
- database systems
- relational query languages
- stable models
- formal semantics
- query evaluation
- program synthesis
- database languages
- data integration
- containment of conjunctive queries
- database