An Extended Disjunctive Normal Form Approach for Optimizing Recursive Logic Queries in Loosely Coupled Environments

Summary: Introduces Extended Disjunctive Normal Form (EDNF), embedding recursion in relational algebra to optimize deductive queries through loosely coupled existing DBMSs. Extends negation-as-failure and gives safety/termination criteria for recursive queries with negation. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: hc749050a538177ca
Venue: VLDB
Year: 1987
Pagerank: 4.9793485e-05
Overall Rank: 13,476 | 9.40%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Kyu-Young Whang (IBM)
2. Shamkant B. Navathe (IBM; University of Florida)

BibTeX Citation

@article{whang_vldb87,
        title = {{An Extended Disjunctive Normal Form Approach for Optimizing Recursive Logic Queries in Loosely Coupled Environments}},
        author = {Whang, Kyu-Young and Navathe, Shamkant B.},
        journal = {PVLDB},
        series = {{VLDB} '87},
        pages = {275},
        year = {1987}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00059023577
67	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038009523
349	A Message Passing Framework for Logical Query Evaluation	1986	SIGMOD	0.00020255174
368	An Optimizing Prolog Front-End to a Relational Query System	1984	SIGMOD	0.00019864474
1,287	On the Computation of the Transitive Closure of Relational Operators	1986	VLDB	0.00011184757
8,733	Negation as Failure for First-Order Queries (Extended Abstract)	1986	PODS	5.2905577e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,459	Semantic Query Optimization in the Presence of Types	2010	PODS
2	2,923	Semantic Query Optimization in Datalog Programs (Extended Abstract)	1995	PODS
3	440	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS
4	8,483	Non-deterministic Modelling of Logical Queries in Deductive Databases	1987	SIGMOD
5	10,334	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB
6	13,389	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS
7	143	Optimization of Nonrecursive Queries	1986	VLDB
8	13,448	Classification Of Recursive Formulas In Deductive Databases	1988	SIGMOD
9	2,099	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD
10	6,871	Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries	1990	VLDB