Fixpoint semantics and optimization of recursive Datalog programs with aggregates

Carlo Zaniolo, Mohan Yang, Ariyam Das, Alexander Shkapsky, Tyson Condie, Matteo Interlandi. Fixpoint semantics and optimization of recursive Datalog programs with aggregates. TPLP, 17(5-6):1048-1065, 2017. [doi]

Abstract

Abstract is missing.