Modular Stratification and Magic Sets for Datalog Programs with Negation.

Kenneth A. Ross: Modular Stratification and Magic Sets for Datalog Programs with Negation. J. ACM 41(6): 1216-1266(1994)

@article{DBLP:journals/jacm/Ross94,
  author    = {Kenneth A. Ross},
  title     = {Modular Stratification and Magic Sets for Datalog Programs with
               Negation},
  journal   = {J. ACM},
  volume    = {41},
  number    = {6},
  year      = {1994},
  pages     = {1216-1266},
  ee        = {db/journals/jacm/Ross94.html, http://doi.acm.org/10.1145/195613.195646},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An5-2 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

Norbert Fuhr, Thomas Rölleke: HySpirit - A Probabilistic Inference Engine for Hypermedia Retrieval in Large Databases. EDBT 1998: 24-38
Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418(1997)
Kenneth A. Ross: Tail Recursion Elimination in Deductive Databases. ACM Trans. Database Syst. 21(2): 208-237(1996)
Kenneth A. Ross: Structural Totality and Constraint Stratification. PODS 1995: 184-195
Kenneth A. Ross, Yehoshua Sagiv: Monotonic Aggregation in Deductive Databases. PODS 1992: 114-126

BibTeX