An Introduction to Deductive Database Languages and Systems.

@article{DBLP:journals/vldb/RamamohanaraoH94,
  author    = {Kotagiri Ramamohanarao and
               James Harland},
  title     = {An Introduction to Deductive Database Languages and Systems},
  journal   = {VLDB J.},
  volume    = {3},
  number    = {2},
  year      = {1994},
  pages     = {107-122},
  ee        = {db/journals/vldb/RamamohanaraoH94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Online Paper

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

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/An4-1 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/aDVD2 or /dvd

References

[Abiteboul & Grumbach 1991]

Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30(1991) BibTeX

[Apt et al. 1988]

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

[Balbin et al. 1989]

David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi: Propagating Constraints in Recusive Deduction Databases. NACLP 1989: 981-998 BibTeX

[Balbin et al. 1991]

Isaac Balbin, Graeme S. Port, Kotagiri Ramamohanarao, Krishnamurthy Meenakshi: Efficient Bottom-UP Computation of Queries on Stratified Databases. J. Log. Program. 11(3&4): 295-344(1991) BibTeX

[Bancilhon et al. 1986]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 BibTeX

[Bancilhon & Ramakrishnan 1988]

François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 439-517 BibTeX

[Beeri & Ramakrishnan 1987]

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 BibTeX

[Bocca 1991]

Jorge B. Bocca, Michael Dahmen, Michael Freeston: MegaLog - A Platform for Developing Knowledge Base Management Systems. LPAR 1992: 457-459 BibTeX

[Chandra & Harel 1985]

Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985) BibTeX

[Consens & Mendelzon 1993]

Mariano P. Consens, Alberto O. Mendelzon: Hy+: A Hygraph-based Query and Visualization System. SIGMOD Conference 1993: 511-516 BibTeX

[Clark 1978]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[Dietrich 1987]

Suzanne W. Dietrich: Extension Tables: Memo Relations in Logic Programming. SLP 1987: 264-272 BibTeX

[Freeston 1989]

Michael Freeston: Advances in the Design of the BANG File. FODO 1989: 322-338 BibTeX

[Freitag et al. 1991]

Burkhard Freitag, Heribert Schütz, Günther Specht: LOLA - A Logic Language for Deductive Databases and its Implementation. DASFAA 1991: 216-225 BibTeX

[Gardarin et al. 1989]

Georges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora: Managing Complex Objects in an Extensible Relational DBMS. VLDB 1989: 55-65 BibTeX

[Gelfond & Lifschitz 1988]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[Haas et al. 1990]

Laura M. Haas, Walter Chang, Guy M. Lohman, John McPherson, Paul F. Wilms, George Lapis, Bruce G. Lindsay, Hamid Pirahesh, Michael J. Carey, Eugene J. Shekita: Starburst Mid-Flight: As the Dust Clears. IEEE Trans. Knowl. Data Eng. 2(1): 143-160(1990) BibTeX

[Harland & Ramamohanarao 1992]

James Harland, Kotagiri Ramamohanarao: Constraints for Query Optimization in Deductive Databases. Future Databases 1992: 332-336 BibTeX

[Harland & Rmamamohanarao 1993]

James Harland, Kotagiri Ramamohanarao: Constraint Propagation for Linear Recursive Rules. ICLP 1993: 683-699 BibTeX

[Horsfield et al. 1989]

...

[Jeusfeld & Staudt 1993]

Manfred A. Jeusfeld, Martin Staudt: Query Optimization in Deductive Object Bases. Query Processing for Advanced Database Systems, Dagstuhl 1991: 145-176 BibTeX

[Kemp et al. 1990]

David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi: Right-, left- and multi-linear rule transformations that maintain context information. VLDB 1990: 380-391 BibTeX

[Kemp et al. 1992]

David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302 BibTeX

[Kemp & Stuckey 1993]

David B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. ICLP 1993: 666-682 BibTeX

[LeFebvre & Vieille 1989]

Alexandre Lefebvre, Laurent Vieille: On Deductive Query Evaluation in the DedGin* System. DOOD 1989: 123-144 BibTeX

[Lloyd 1987]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[de Maindreville & Simon 1988]

Christophe de Maindreville, Eric Simon: A Production Rule-Based Approach to Deductive Databases. ICDE 1988: 234-241 BibTeX

[Moerkotte & Lockemann 1991]

Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991) BibTeX

[Mumick & Pirahesh 1994]

Inderpal Singh Mumick, Hamid Pirahesh: Implementation of Magic-sets in a Relational Database System. SIGMOD Conference 1994: 103-114 BibTeX

[Naqvi & Tsur 1989]

Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
BibTeX

[Przymusinski 1988]

Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 BibTeX

[Ramakrishnan & Ullman 95]

Raghu Ramakrishnan, Jeffrey D. Ullman: A survey of deductive database systems. J. Log. Program. 23(2): 125-149(1995) BibTeX

[Ramamohanarao et al. 1987]

Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart: The NU-Prolog Deductive Database System. IEEE Data Eng. Bull. 10(4): 10-19(1987) BibTeX

[Ross 1990]

Kenneth A. Ross: Modular Stratification and Magic Sets for DATALOG Programs with Negation. PODS 1990: 161-171 BibTeX

[Sacca & Zaniolo 1986]

Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. ICDT 1986: 31-53 BibTeX

[Sacca & Zaniolo 1987]

Domenico Saccà, Carlo Zaniolo: Magic Counting Methods. SIGMOD Conference 1987: 49-59 BibTeX

[Sagiv 1990]

Yehoshua Sagiv: Is There Anything Better than Magic? NACLP 1990: 235-254 BibTeX

[Tamaki & Sato 1986]

Hisao Tamaki, Taisuke Sato: OLD Resolution with Tabulation. ICLP 1986: 84-98 BibTeX

[Tärnlund 1977]

...

[Van Gelder et al. 1991]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991) BibTeX

[Vieille 1986]

Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. Expert Database Conf. 1986: 253-267 BibTeX

[Vieille 1987]

Laurent Vieille: A Database-Complete Proof Procedure Based on SLD-Resolution. ICLP 1987: 74-103 BibTeX

[Vieille 1988]

Laurent Vieille: From QSQ towards QoSaQ: Global Optimization of Recursive Queries. Expert Database Conf. 1988: 743-778 BibTeX

[Vieille 1989]

Laurent Vieille: Recursive Query Processing: The Power of Logic. Theor. Comput. Sci. 69(1): 1-53(1989) BibTeX

[Vieille et al. 1990]

...

[Warren 1989]

...

[Warren 1992]

David Scott Warren: Memoing for Logic Programs. Commun. ACM 35(3): 93-111(1992) BibTeX

[Zaniolo et al. 1993]

Carlo Zaniolo, Natraj Arni, KayLiang Ong: Negation and Aggregates in Recursive Rules: the LDL++ Approach. DOOD 1993: 204-221 BibTeX

[Zobel & Ramamohanarao 1986]

...