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: 8001
Venue: VLDB
Year: 1987
Pagerank: 5.093636e-05
Overall Rank: 13,186 | 9.54%
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
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
63	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038782376
343	A Message Passing Framework for Logical Query Evaluation	1986	SIGMOD	0.00020669253
357	An Optimizing Prolog Front-End to a Relational Query System	1984	SIGMOD	0.00020283734
1,259	On the Computation of the Transitive Closure of Relational Operators	1986	VLDB	0.00011437537
8,566	Negation as Failure for First-Order Queries (Extended Abstract)	1986	PODS	5.4119882e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,369	Semantic Query Optimization in the Presence of Types	2010	PODS
2	2,883	Semantic Query Optimization in Datalog Programs (Extended Abstract)	1995	PODS
3	429	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS
4	8,316	Non-deterministic Modelling of Logical Queries in Deductive Databases	1987	SIGMOD
5	11,261	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB
6	13,099	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,158	Classification Of Recursive Formulas In Deductive Databases	1988	SIGMOD
9	2,054	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD
10	6,729	Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries	1990	VLDB