Optimizing the Rule-Data Interface in a KMS
Summary: Moves from tuple-at-a-time querying to set-based RAPs and answer-value sets, linked by a PCG. A query/compiler translates proofs into RAPs; structure sharing yields compact RAPs and retrieves all possible answers with minimal DB search. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Charles Kellogg
- 2. Anthony O'Hare
- 3. Larry Travis
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.00041510555 |
| 519 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021154077 |
Previous
Page 1 / 1
Next
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.0010066783 |
| 154 | An Optimizing Prolog Front-End to a Relational Query System | 1984 | SIGMOD | 0.00040645847 |
| 519 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021154077 |
| 632 | The Representation and Deductive Retrieval of Complex Objects | 1985 | VLDB | 0.00018923134 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,291 | Multiple Query Processing in Deductive Databases using Query Graphs | 1986 | VLDB | 0.00012794369 |
| 6,693 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB | 4.9598818e-05 |
| 12,904 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS | 4.1945683e-05 |
| 13,000 | Adaptive Predicate Managers in Database Systems | 1986 | VLDB | 4.1945683e-05 |
| 7,598 | Polynomial-time program transformations in deductive databases | 1990 | PODS | 4.7004867e-05 |
| 13,027 | Coping with Complexity in Automated Reasoning about Database Systems | 1985 | VLDB | 4.1945683e-05 |
| 12,889 | Implementing Deductive Databases by Linear Programming | 1992 | PODS | 4.1945683e-05 |
| 2,335 | An Enhanced Inference Mechanism for Generating Relational Algebra Queries | 1984 | PODS | 9.012295e-05 |
| 13,755 | Knowledge compilation = Query rewriting + View synthesis | 2002 | PODS | - |
| 1,194 | Loading Data into Description Reasoners | 1993 | SIGMOD | 0.00013414765 |