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: 2700
Venue: SIGMOD
Year: 1993
Pagerank: 4.2360271e-05
Overall Rank: 9,954 | 30.82%
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,415	Dynamic Pruning for Recursive Joins	2025	SIGMOD	4.1905499e-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.00010945869
3,607	Implementation of the CORAL Deductive Database System	1993	SIGMOD	6.9244732e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
637	The Representation and Deductive Retrieval of Complex Objects	1985	VLDB	0.00018812264
3,868	CORADD: Correlation Aware Database Designer for Materialized Views and Indexes	2010	VLDB	6.6786821e-05
2,559	Making Deductive Database a Practical Technology: a step forward	1990	SIGMOD	8.5416101e-05
5,003	Graph Queries in a Next-Generation Datalog System	2013	VLDB	5.7606385e-05
7,655	CORDS: Automatic Generation of Correlation Statistics in DB2	2004	VLDB	4.6830102e-05
3,739	Towards a Real Horn Clause Language	1988	VLDB	6.7979486e-05
9,872	CORAL: Collaborative Automatic Labeling System based on Large Language Models	2024	VLDB	4.2626861e-05
8,319	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	4.5392079e-05
1,668	CORAL—Control, Relations and Logic*	1992	VLDB	0.00010945869
3,607	Implementation of the CORAL Deductive Database System	1993	SIGMOD	6.9244732e-05