An alternating fixpoint tailored to magic programs
- 1 January 1993
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 123-134
- https://doi.org/10.1145/153850.153861
Abstract
We study applying the magic-sets transformation technique to Datalog programs with negation that may not have 2-valued well-founded models. In this general setting we encounter the problem that the well-founded model of the original program does not always agree with the well-founded model of the magic program derived by commonly used left-to-right sips on the query. In order to fix this disagreement we present a novel method that is obtained by slightly and naturally tailoring Van Gelder's alternating fixpoint technique [16] to a magic program.Keywords
This publication has 0 references indexed in Scilit: