𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Extending the power of datalog recursion

✍ Scribed by Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo

Book ID
120921942
Publisher
Springer-Verlag
Year
2012
Tongue
English
Weight
401 KB
Volume
22
Category
Article
ISSN
1066-8888

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the Expected Size of Recursive Datalo
On the Expected Size of Recursive Datalog Queries
✍ S. Seshadri; J.F. Naughton πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 998 KB

We present asymptotically exact expressions for the expected sizes of relations defined by three well-studied Datalog recursions, namely the "transitive closure," "same generation," and "canonical factorable recursion." We consider the size of the fixpoints of the recursively defined relations in th

On the Equivalence of Recursive and Nonr
On the Equivalence of Recursive and Nonrecursive Datalog Programs
✍ Surajit Chaudhuri; Moshe Y Vardi πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 591 KB

We study the problem of determining whether a given recursive Datalog program is equivalent to a given nonrecursive Datalog program. Since nonrecursive Datalog programs are equivalent to unions of conjunctive queries, we study also the problem of determining whether a given recursive Datalog program