✦ LIBER ✦

Magic Sets for disjunctive Datalog programs

✍ Scribed by Mario Alviano; Wolfgang Faber; Gianluigi Greco; Nicola Leone

Book ID: 113469366
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 849 KB
Volume: 187-188
Category: Article
ISSN: 0004-3702
DOI: 10.1016/j.artint.2012.04.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The generalized supplementary magic-sets

The generalized supplementary magic-sets transformation for stratified Datalog

✍ Michael Meskes; Jörg Noack 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 784 KB

An algorithm for disjunctive programs

✍ Nicholas Beaumont 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 635 KB

An allocation algorithm for distributing

An allocation algorithm for distributing Datalog programs

✍ Day, W.B.; McCreary, C.L.; Walls, B. 📂 Article 📅 1993 🏛 Institute of Electrical and Electronics Engineers ⚖ 798 KB

Generalization of ZYT-linearizability fo

Generalization of ZYT-linearizability for bilinear datalog programs

✍ Ji-Hoon Kang; Ki-Hyung Hong; Kyu-Young Whang; Jung-Wan Cho 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 300 KB

Cutting planes for programs with disjunc

Cutting planes for programs with disjunctive constraints

✍ G. Owen 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 256 KB

Unfold/fold transformations for disjunct

Unfold/fold transformations for disjunctive logic programs

✍ Manolis Gergatsoulis 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs. @ 1997 Elsevier Science B.V.