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.2705232e-05
Overall Rank: 5,103 | 65.71%
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,621	Context-Sensitive Program Analysis as Database Queries	2005	PODS	6.4964667e-05
8,736	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.2880532e-05
10,338	The CORAL Deductive Database System	1993	SIGMOD	5.0288349e-05
13,278	Is GUI Programming a Database Research Problem?	1996	SIGMOD	4.9769913e-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
636	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015361511
2,239	CORAL—Control, Relations and Logic	1992	VLDB	8.7712266e-05
2,846	Making Deductive Database a Practical Technology: a step forward	1990	SIGMOD	7.9437501e-05
3,660	Glue-Nail: A Deductive Database System	1991	SIGMOD	7.1200911e-05
3,849	Right-, left- and multi-linear rule transformations that maintain context information	1990	VLDB	6.9795056e-05
6,436	Optimizing Existential Datalog Queries	1988	PODS	5.7841149e-05
7,839	Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs	1990	VLDB	5.4410246e-05
8,736	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.2880532e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	10,217	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,744	How to Architect a Query Compiler	2016	SIGMOD
4	11,154	CORE+: A Complex Event Recognition Engine in C++	2025	SIGMOD
5	2,846	Making Deductive Database a Practical Technology: a step forward	1990	SIGMOD
6	13,337	An Effective Deductive Object-Oriented Database Through Language Integration	1994	VLDB
7	6,516	A Functional Programming Approach to Deductive Databases	1991	VLDB
8	8,736	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB
9	2,239	CORAL—Control, Relations and Logic	1992	VLDB
10	10,338	The CORAL Deductive Database System	1993	SIGMOD