Please use this identifier to cite or link to this item: https://doi.org/10.1145/201019.201027
Title: Decomposition of magic rewriting
Authors: Wang, Ke 
Zhang, Weining
Chau, Siu-Cheung
Issue Date: Mar-1995
Citation: Wang, Ke, Zhang, Weining, Chau, Siu-Cheung (1995-03). Decomposition of magic rewriting. Journal of the ACM 42 (2) : 329-381. ScholarBank@NUS Repository. https://doi.org/10.1145/201019.201027
Abstract: The magic rewriting focuses on relevant data but suffers from additional rules, predicates, and tuples that are generated in search for the relevant data. Reducing the arity of predicates can cut down the number of such rules, predicates, and tuples by an exponential factor. In this paper, we consider a subclass of linear single-IDB programs and show that the magic rewriting can be decomposed in such a way that it is applied to only programs having smaller arities and fewer recursive rules, without losing the binding capacity. The decomposed rewriting is shown to be much more efficient than the standard one and amenable to distributed and parallel environments. The considered subclass significantly generalizes recursions previously proposed for efficient implementation. The decomposed rewriting and the standard generalized magic rewriting are extended to multi-binding queries in such a way that data relevant to one binding is not necessarily considered as relevant to other bindings. The work in this paper shows the use of tuple ID as an important technique in optimizing logic programs.
Source Title: Journal of the ACM
URI: http://scholarbank.nus.edu.sg/handle/10635/99234
ISSN: 00045411
DOI: 10.1145/201019.201027
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

2
checked on Sep 19, 2018

WEB OF SCIENCETM
Citations

2
checked on Sep 10, 2018

Page view(s)

16
checked on Aug 3, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.