The CORAL Deductive System.

@article{DBLP:journals/vldb/RamakrishnanSSS94,
  author    = {Raghu Ramakrishnan and
               Divesh Srivastava and
               S. Sudarshan and
               Praveen Seshadri},
  title     = {The CORAL Deductive System},
  journal   = {VLDB J.},
  volume    = {3},
  number    = {2},
  year      = {1994},
  pages     = {161-210},
  ee        = {db/journals/vldb/RamakrishnanSSS94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1994 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Key Words

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

[Ait-Kaci 1991]

...

[Arni & Ong 1993]

...

[Arora et al. 1993]

Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava: Explaining Program Execution in Deductive Systems. DOOD 1993: 101-119 BibTeX

[Balbin & Ramamohanarao 1987]

Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987) BibTeX

[Bancilhon 1985]

...

[Bayer 1985]

...

[Beeri et al. 1991]

Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur: Set Constructors in a Logic Database Language. J. Log. Program. 10(1/2/3&4): 181-232(1991) BibTeX

[Beeri & Ramakrishnan 1987]

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

[Bry 1989]

François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50 BibTeX

[Carey et al. 1986]

Michael J. Carey, David J. DeWitt, Joel E. Richardson, Eugene J. Shekita: Object and File Management in the EXODUS Extensible Database System. VLDB 1986: 91-100 BibTeX

[Chang & Despain 1985]

Jung-Herng Chang, Alvin M. Despain: Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis. SLP 1985: 10-21 BibTeX

[Chimenti et al. 1989]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Abstract Machine for LDL. EDBT 1990: 153-168 BibTeX

[Chimenti et al. 1990]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990) BibTeX

[Derr 1993]

Marcia A. Derr: Adaptive Query Optimization in a Deductive Database System. CIKM 1993: 206-215 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

[Giannotti et al. 1991]

Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo: Non-Determinism in Deductive Databases. DOOD 1991: 129-146 BibTeX

[Goodman et al. 1993]

...

[Goto 1974]

...

[Greco et al. 1992]

Sergio Greco, Carlo Zaniolo, Sumit Ganguly: Greedy by Choice. PODS 1992: 105-113 BibTeX

[Horowitz et al. 1990]

Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. 12(1): 26-60(1990) BibTeX

[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

[Kiernan et al. 1990]

Gerald Kiernan, Christophe de Maindreville, Eric Simon: Making Deductive Databases a Practical Technology: A Step Forward. SIGMOD Conference 1990: 237-246 BibTeX

[Kanellakis et al. 1990]

Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. PODS 1990: 299-313 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

[Lefebvre 1991]

...

[Lefebvre 1992]

Alexandre Lefebvre: Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases. FGCS 1992: 915-925 BibTeX

[Lewis 1992]

...

[Lloyd 1987]

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

[Logical Information Machines 1992]

...

[Maher & Ramakrishnan 1989]

Michael J. Maher, Raghu Ramakrishnan: Déjà Vu in Fixpoints of Logic Programs. NACLP 1989: 963-980 BibTeX

[Morris et al. 1986]

Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568 BibTeX

[Mumick et al. 1990]

Inderpal Singh Mumick, Hamid Pirahesh, Raghu Ramakrishnan: The Magic of Duplicates and Aggregates. VLDB 1990: 264-277 BibTeX

[Naughton et al. 1989]

Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman: Argument Reduction by Factoring. VLDB 1989: 173-182 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

[Phipps et al. 1991]

Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317 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 1988]

Raghu Ramakrishnan: Magic Templates: A Spellbinding Approach to Logic Programs. ICLP/SLP 1988: 140-159 BibTeX

[Ramakrishnan 1993]

...

[Ramakrishnan et al. 1988]

Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy: Optimizing Existential Datalog Queries. PODS 1988: 89-102 BibTeX

[Ramakrishnan et al. 1990a]

Raghu Ramakrishnan, Per Bothner, Divesh Srivastava, S. Sudarshan: CORAL - A Database Programming Language. Workshop on Deductive Databases 1990: 0- BibTeX

[Ramakrishnan & Sudarshan 1991]

Raghu Ramakrishnan, S. Sudarshan: Top-Down versus Bottom-Up Revisited. ISLP 1991: 321-336 BibTeX

[Ramakrishnan et al. 1992a]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: Controlling the Search in Bottom-Up Evaluation. JICSLP 1992: 273-287 BibTeX

[Ramakrishnan et al. 1992b]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250 BibTeX

[Ramakrishnan et al. 1993a]

...

[Ramakrishnan et al. 1993b]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri: Implementation of the CORAL Deductive Database System. SIGMOD Conference 1993: 167-176 BibTeX

[Ramakrishnan et al. 1993c]

...

[Ramakrishnan et al. 1990b]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs. VLDB 1990: 359-371 BibTeX

[Reps 1994]

Thomas W. Reps: Solving Demand Versions of Interprocedural Analysis Problems. CC 1994: 389-403 BibTeX

[Rohmer et al. 1986]

J. Rohmer, R. Lescoeur, Jean-Marc Kerisit: The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases. New Generation Comput. 4(3): 273-285(1986) BibTeX

[Ross 1990]

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

[Ross 1991]

Kenneth A. Ross: Modular Acyclicity and Tail Recursion in Logic Programs. PODS 1991: 92-101 BibTeX

[Roth et al. 1993]

...

[Sagonas et al. 1994]

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453 BibTeX

[Schmidt et al. 1987]

Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer: Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration. SLP 1987: 234-243 BibTeX

[Seki 1989]

Hirohisa Seki: On the Power of Alexander Templates. PODS 1989: 150-159 BibTeX

[Shmueli et l. 1992]

Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Compilation of Set Terms in the Logic Data Language (LDL). J. Log. Program. 12(1&2): 89-119(1992) BibTeX

[Srivastava et al. 1993]

Divesh Srivastava, Raghu Ramakrishnan, Praveen Seshadri, S. Sudarshan: Coral++: Adding Object-Orientation to a Logic Database Language. VLDB 1993: 158-170 BibTeX

[Stroustrup 1991]

Bjarne Stroustrup: The C++ Programming Language, Second Edition. Addison-Wesley 1991, ISBN 0-201-53992-6
BibTeX

[Sudarshan 1992]

S. Sudarshan: Optimizing Bottom-Up Query Evaluation for Deductive Databases. Ph.D. thesis, Univ. of Wisconsin-Madison 1992
BibTeX

[Sudarshan & Ramakrishnan 1991]

S. Sudarshan, Raghu Ramakrishnan: Aggregation and Relevance in Deductive Databases. VLDB 1991: 501-511 BibTeX

[Sudarshan & Ramakrishnan 1993]

S. Sudarshan, Raghu Ramakrishnan: Optimizations of Bottom-Up Evaluation with Non-Ground Terms. ILPS 1993: 557-574 BibTeX

[Vieille et al. 1990]

...

[Vaghani et al. 1991]

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247 BibTeX

[Vista & Wood 1993]

...

Referenced by

1. David B. Kemp, Kotagiri Ramamohanarao: Efficient Recursive Aggregation and Negation in Deductive Databases. IEEE Trans. Knowl. Data Eng. 10(5): 727-745(1998)
2. Danilo Montesi, Elisa Bertino, Maurizio Martelli: Transactions and Updates in Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(5): 784-797(1997)
3. David B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi: Database Transactions in a Purely Declarative Logic Programming Language. DASFAA 1997: 283-292
4. Praveen Seshadri, Joseph M. Hellerstein, Hamid Pirahesh, T. Y. Cliff Leung, Raghu Ramakrishnan, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Cost-Based Optimization for Magic: Algebra and Implementation. SIGMOD Conference 1996: 435-446
5. Stefan Brass: Magic Sets vs. SLD-Resolution. ADBIS 1995: 185-203