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: 2699
Venue: SIGMOD
Year: 1993
Pagerank: 6.41738e-05
Overall Rank: 4,975 | 65.87%
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,520	Context-Sensitive Program Analysis as Database Queries	2005	PODS	6.6472658e-05
8,561	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.4119882e-05
10,104	The CORAL Deductive Database System	1993	SIGMOD	5.1466947e-05
12,982	Is GUI Programming a Database Research Problem?	1996	SIGMOD	5.093636e-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
622	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015686753
2,194	CORAL—Control, Relations and Logic	1992	VLDB	8.9724143e-05
2,783	Making Deductive Database a Practical Technology: a step forward	1990	SIGMOD	8.1273861e-05
3,583	Glue-Nail: A Deductive Database System	1991	SIGMOD	7.2861437e-05
3,767	Right-, left- and multi-linear rule transformations that maintain context information	1990	VLDB	7.1421254e-05
6,307	Optimizing Existential Datalog Queries	1988	PODS	5.9196585e-05
7,680	Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs	1990	VLDB	5.5684407e-05
8,561	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.4119882e-05

Semantically Similar Papers

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