TY - GEN
T1 - ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS
AU - Kemp, David B.
AU - Ramamohanarao, Kotagiri
AU - Stuckey, Peter J.
PY - 1995/1/1
Y1 - 1995/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84949205012&partnerID=8YFLogxK
M3 - Conference Paper
AN - SCOPUS:84949205012
SN - 9783540606086
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 91
EP - 108
BT - Deductive and Object-Oriented Databases - 4th International Conference, DOOD 1995, Proceedings
A2 - Vieille, Laurent
A2 - Mendelzon, Alberto O.
A2 - Ling, Tok Wang
PB - Springer
T2 - 4th International Conference on Deductive and Object-Oriented Databases, DOOD 1995
Y2 - 4 December 1995 through 7 December 1995
ER -