On the Composition and Decomposition of Datalog Program Mappings.

@inproceedings{DBLP:conf/icdt/Dong88,
  author    = {Guozhu Dong},
  editor    = {Marc Gyssens and
               Jan Paredaens and
               Dirk Van Gucht},
  title     = {On the Composition and Decomposition of Datalog Program Mappings},
  booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
               Belgium, August 31 - September 2, 1988, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {326},
  year      = {1988},
  isbn      = {3-540-50171-1},
  pages     = {87-101},
  ee        = {db/conf/icdt/Dong88.html},
  crossref  = {DBLP:conf/icdt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• 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/An2-2 or /cdrom

• 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/aDVD1 or /dvd

Journal Version

References

[ABW]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[BaRa]

François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 BibTeX

[CFM]

Upen S. Chakravarthy, Daniel H. Fishman, Jack Minker: Semantic Query Optimization in Expert Systems and Database Systems. Expert Database Workshop 1984: 659-674 BibTeX

[ChLe]

...

[Do]

...

[Do1]

...

[Io]

Yannis E. Ioannidis: A Time Bound on the Materialization of some Recursively Defined Views. VLDB 1985: 219-226 BibTeX

[LaMa]

Jean-Louis Lassez, Michael J. Maher: Closures and Fairness in the Semantics of Programming Logic. Theor. Comput. Sci. 29: 167-184(1984) BibTeX

[Ll]

John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
BibTeX

[NaSa]

Jeffrey F. Naughton, Yehoshua Sagiv: A Decidable Class of Bounded Recursions. PODS 1987: 227-236 BibTeX

[Sa]

Yehoshua Sagiv: Optimizing Datalog Programs. PODS 1987: 349-362 BibTeX

[Va]

Moshe Y. Vardi: Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. PODS 1988: 341-351 BibTeX

Referenced by

1. Philippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995: 126-138