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)

Paper ID: 2699
Venue: SIGMOD
Year: 1993
Pagerank: 4.2400894e-05
Overall Rank: 9,955 | 30.75%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,404	Dynamic Pruning for Recursive Joins	2025	SIGMOD	4.1945683e-05

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
1,668	CORAL—Control, Relations and Logic*	1992	VLDB	0.00010956582
3,602	Implementation of the CORAL Deductive Database System	1993	SIGMOD	6.9311702e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
632	The Representation and Deductive Retrieval of Complex Objects	1985	VLDB	0.00018923134
3,867	CORADD: Correlation Aware Database Designer for Materialized Views and Indexes	2010	VLDB	6.683173e-05
2,557	Making Deductive Database a Practical Technology: a step forward	1990	SIGMOD	8.5462449e-05
5,003	Graph Queries in a Next-Generation Datalog System	2013	VLDB	5.7652482e-05
7,653	CORDS: Automatic Generation of Correlation Statistics in DB2	2004	VLDB	4.6875371e-05
3,738	Towards a Real Horn Clause Language	1988	VLDB	6.8032471e-05
9,873	CORAL: Collaborative Automatic Labeling System based on Large Language Models	2024	VLDB	4.2667743e-05
8,326	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	4.5435639e-05
1,668	CORAL—Control, Relations and Logic*	1992	VLDB	0.00010956582
3,602	Implementation of the CORAL Deductive Database System	1993	SIGMOD	6.9311702e-05