Login / Signup
Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates.
Carlo Zaniolo
Mohan Yang
Matteo Interlandi
Ariyam Das
Alexander Shkapsky
Tyson Condie
Published in:
CoRR (2017)
Keyphrases
</>
datalog programs
fixpoint semantics
datalog programs with negation
fixpoint
query answering
recursive queries
deductive databases
conjunctive queries
data complexity
logic programs
artificial intelligence