Optimizing the Rule-Data Interface in a KMS

Summary: Recasts deduction–DB integration around set-oriented relational algebra programs (RAPs) and an incrementally maintained predicate connection graph, replacing tuple-at-a-time calls and query-time search. Shared proof schemas optimize RAPs and enable explanations; RAP size grows linearly despite log-exponential derivation growth. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 7922
Venue: VLDB
Year: 1986
Pagerank: 9.6641384e-05
Overall Rank: 1,830 | 87.45%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Charles Kellogg (Microelectronics And Technology Computer Corporation)
2. Anthony O'Hare (University of Wisconsin)
3. Larry Travis (University of Wisconsin)

BibTeX Citation

@article{kellogg_vldb86,
        title = {{Optimizing the Rule-Data Interface in a KMS}},
        author = {Kellogg, Charles and O'Hare, Anthony and Travis, Larry},
        journal = {PVLDB},
        series = {{VLDB} '86},
        pages = {42},
        year = {1986}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
143	Optimization of Nonrecursive Queries	1986	VLDB	0.0002959213
622	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015686753

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 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
357	An Optimizing Prolog Front-End to a Relational Query System	1984	SIGMOD	0.00020283734
622	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015686753
848	The Representation and Deductive Retrieval of Complex Objects	1985	VLDB	0.00013651467

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,530	Multiple Query Processing in Deductive Databases using Query Graphs	1986	VLDB
2	6,752	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB
3	13,099	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS
4	13,199	Adaptive Predicate Managers in Database Systems	1986	VLDB
5	13,226	Coping with Complexity in Automated Reasoning about Database Systems	1985	VLDB
6	7,886	Polynomial-time program transformations in deductive databases	1990	PODS
7	13,083	Implementing Deductive Databases by Linear Programming	1992	PODS
8	3,133	An Enhanced Inference Mechanism for Generating Relational Algebra Queries	1984	PODS
9	13,956	Knowledge compilation = Query rewriting + View synthesis	2002	PODS
10	2,612	Loading Data into Description Reasoners	1993	SIGMOD