Fixpoint semantics and optimization of recursive Datalog programs with aggregates.
Saved in:
| Title: | Fixpoint semantics and optimization of recursive Datalog programs with aggregates. |
|---|---|
| Authors: | ZANIOLO, CARLO1 zaniolo@cs.ucla.edu, YANG, MOHAN1 yang@cs.ucla.edu, DAS, ARIYAM1 ariyam@cs.ucla.edu, SHKAPSKY, ALEXANDER1 shkapsky@cs.ucla.edu, CONDIE, TYSON1 tcondie@cs.ucla.edu, INTERLANDI, MATTEO2 matteo.interlandi@microsoft.com |
| Source: | Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p1048-1065. 18p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068417000436 |
