ISSN:
1573-8787
Keywords:
explicitly locally stratified
;
deductive databases
;
logic programming
;
magic sets
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract We give a simple transformation from normal programs with no stratification (local, weak, modular, etc.) into a subclass of the locally stratified programs, called Explicitly Locally Stratified (ELS) programs, for which there are efficient evaluation techniques. One set of predicates are generated for the true tuples and a different set of predicate are generated for the true and undefined tuples. A similar transformation is given that incorporates a magic sets like transformation. Previous approaches to magic sets transformations of unstratified programs either restricted the class of sips used or generated a program that required special treatment of the magic sets predicates. Our transformation does not suffer from these flaws.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008275219746
Permalink