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: | Applied Science & Technology Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068417000436 |
