TY  - RPRT
TI  - Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates
AU  - Carlo Zaniolo
AU  - Mohan Yang
AU  - Matteo Interlandi
AU  - Ariyam Das
AU  - Alexander Shkapsky
AU  - Tyson Condie
PY  - 2017
UR  - https://arxiv.org/abs/1707.05681
ID  - 1707.05681
ER  -