Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates
TPLP, Volume abs/1707.05681, Issue 5-6, 2017.
A very desirable Datalog extension investigated by many researchers in the last thirty years consists in allowing the use of the basic SQL aggregates min, max, count and sum in recursive rules. In this paper, we propose a simple comprehensive solution that extends the declarative least-fixpoint semantics of Horn Clauses, along with the op...More
Full Text (Upload PDF)
PPT (Upload PPT)