Sign in
Fixpoint semantics and optimization of recursive Datalog programs with aggregates.
Carlo Zaniolo
Mohan Yang
Ariyam Das
Alexander Shkapsky
Tyson Condie
Matteo Interlandi
Published in:
Theory Pract. Log. Program. (2017)
Keyphrases
</>
datalog programs
fixpoint semantics
datalog programs with negation
query answering
fixpoint
recursive queries
conjunctive queries
deductive databases
data complexity
logic programs
data exchange
finite state machines
stable models
model theoretic
bayesian networks
integrity constraints
general purpose