Implementation of the CORAL Deductive Database System

Summary: Describes CORAL, a deductive DBMS with a rich declarative language and multiple evaluation strategies. Modular architecture interleaves strategies, tailors optimization per module, and enables C++ interfacing with in-memory or on-disk persistence. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: he450c6cec8bf565f
Venue: SIGMOD
Year: 1993
Pagerank: 6.2734925e-05
Overall Rank: 5,099 | 65.72%
DOI: 10.1145/170035.170067

Incoming Non-self Citations Over Time

Authors

1. Raghu Ramakrishnan (University of Wisconsin)
2. Divesh Srivastava (University of Wisconsin)
3. S. Sudarshan (AT&T)
4. Praveen Seshadri (University of Wisconsin)

BibTeX Citation

@inproceedings{ramakrishnan_sigmod93,
        title = {{Implementation of the CORAL Deductive Database System}},
        author = {Ramakrishnan, Raghu and Srivastava, Divesh and Sudarshan, S. and Seshadri, Praveen},
        series = {{SIGMOD} '93},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/170035.170067},
        url = {https://dl.acm.org/doi/10.1145/170035.170067},
        year = {1993}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,618	Context-Sensitive Program Analysis as Database Queries	2005	PODS	6.4995364e-05
8,728	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.2905577e-05
10,331	The CORAL Deductive Database System	1993	SIGMOD	5.0312167e-05
13,272	Is GUI Programming a Database Research Problem?	1996	SIGMOD	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 8 of 8 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
635	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015368492
2,237	CORAL—Control, Relations and Logic	1992	VLDB	8.7753131e-05
2,844	Making Deductive Database a Practical Technology: a step forward	1990	SIGMOD	7.9475065e-05
3,659	Glue-Nail: A Deductive Database System	1991	SIGMOD	7.1234583e-05
3,848	Right-, left- and multi-linear rule transformations that maintain context information	1990	VLDB	6.9827773e-05
6,433	Optimizing Existential Datalog Queries	1988	PODS	5.7868542e-05
7,835	Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs	1990	VLDB	5.4436011e-05
8,728	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.2905577e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	10,211	CORAL: Collaborative Automatic Labeling System based on Large Language Models	2024	VLDB
2	2,678	Gral: An Extensible Relational Database System for Geometric Applications	1989	VLDB
3	1,742	How to Architect a Query Compiler	2016	SIGMOD
4	11,145	CORE+: A Complex Event Recognition Engine in C++	2025	SIGMOD
5	2,844	Making Deductive Database a Practical Technology: a step forward	1990	SIGMOD
6	13,331	An Effective Deductive Object-Oriented Database Through Language Integration	1994	VLDB
7	6,514	A Functional Programming Approach to Deductive Databases	1991	VLDB
8	8,728	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB
9	2,237	CORAL—Control, Relations and Logic	1992	VLDB
10	10,331	The CORAL Deductive Database System	1993	SIGMOD