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 |
|---|---|---|---|---|
| 144 | Optimization of Nonrecursive Queries | 1986 | VLDB | 0.00041430126 |
| 520 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021145923 |
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.00099936325 |
| 154 | An Optimizing Prolog Front-End to a Relational Query System | 1984 | SIGMOD | 0.00040747653 |
| 520 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021145923 |
| 637 | The Representation and Deductive Retrieval of Complex Objects | 1985 | VLDB | 0.00018812264 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,287 | Multiple Query Processing in Deductive Databases using Query Graphs | 1986 | VLDB | 0.00012798692 |
| 6,695 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB | 4.9550839e-05 |
| 12,914 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS | 4.1905499e-05 |
| 13,011 | Adaptive Predicate Managers in Database Systems | 1986 | VLDB | 4.1905499e-05 |
| 7,603 | Polynomial-time program transformations in deductive databases | 1990 | PODS | 4.6959912e-05 |
| 13,038 | Coping with Complexity in Automated Reasoning about Database Systems | 1985 | VLDB | 4.1905499e-05 |
| 12,899 | Implementing Deductive Databases by Linear Programming | 1992 | PODS | 4.1905499e-05 |
| 2,256 | An Enhanced Inference Mechanism for Generating Relational Algebra Queries | 1984 | PODS | 9.1815561e-05 |
| 13,769 | Knowledge compilation = Query rewriting + View synthesis | 2002 | PODS | - |
| 1,192 | Loading Data into Description Reasoners | 1993 | SIGMOD | 0.00013417415 |