The CORAL Deductive Database System
Summary: CORAL is a deductive DB system blending Horn clauses with SQL-style grouping and negation in a declarative language. Extensible, modular design; C++ interop, pluggable types/indexes, EXODUS storage for disk-resident data; open-source, widely adopted. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Raghu Ramakrishnan (University of Wisconsin)
- 2. William G. Roth (University of Wisconsin)
- 3. Praveen Seshadri (University of Wisconsin)
- 4. Divesh Srivastava (University of Wisconsin)
- 5. S. Sudarshan (AT&T)
BibTeX Citation
@inproceedings{ramakrishnan_sigmod93,
title = {{The CORAL Deductive Database System}},
author = {Ramakrishnan, Raghu and Roth, William G. and Seshadri, Praveen and Srivastava, Divesh and Sudarshan, S.},
series = {{SIGMOD} '93},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/170035.171550},
url = {https://dl.acm.org/doi/10.1145/170035.171550},
year = {1993}
}Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10,690 | Dynamic Pruning for Recursive Joins | 2025 | SIGMOD | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,194 | CORAL—Control, Relations and Logic | 1992 | VLDB | 8.9724143e-05 |
| 4,975 | Implementation of the CORAL Deductive Database System | 1993 | SIGMOD | 6.41738e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 848 | The Representation and Deductive Retrieval of Complex Objects | 1985 | VLDB |
| 2 | 3,449 | CORADD: Correlation Aware Database Designer for Materialized Views and Indexes | 2010 | VLDB |
| 3 | 2,783 | Making Deductive Database a Practical Technology: a step forward | 1990 | SIGMOD |
| 4 | 4,745 | Graph Queries in a Next-Generation Datalog System | 2013 | VLDB |
| 5 | 8,012 | CORDS: Automatic Generation of Correlation Statistics in DB2 | 2004 | VLDB |
| 6 | 4,072 | Towards a Real Horn Clause Language | 1988 | VLDB |
| 7 | 10,021 | CORAL: Collaborative Automatic Labeling System based on Large Language Models | 2024 | 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 | 4,975 | Implementation of the CORAL Deductive Database System | 1993 | SIGMOD |