Query Processing in Deductive Databases with Incomplete Information
Summary: Explores query processing in deductive DBs with incomplete information using Horn rules and Skolem functions. CQ can be rewritten to run on the extension despite cyclic inclusions and views; recursion with incomplete data increases complexity. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Tomasz Imielinski (Polish Academy of Sciences; Rutgers University)
BibTeX Citation
@inproceedings{imielinski_sigmod86,
title = {{Query Processing in Deductive Databases with Incomplete Information}},
author = {Imielinski, Tomasz},
series = {{SIGMOD} '86},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/16894.16881},
url = {https://dl.acm.org/doi/10.1145/16894.16881},
year = {1986}
}Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,865 | A Probabilistic Framework for Vague Queries and Imprecise Information in Databases | 1990 | VLDB | 9.4818521e-05 |
| 5,713 | Believe It or Not: Adding Belief Annotations to Databases | 2009 | VLDB | 6.0216473e-05 |
| 13,332 | Cumulative Updates | 1994 | VLDB | 4.9793485e-05 |
| 13,441 | Partition Semantics For Incomplete Information In Relational Databases | 1988 | SIGMOD | 4.9793485e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 136 | Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) | 1982 | PODS | 0.00029740459 |
| 913 | Horn Clauses and the Fixpoint Query Hierarchy | 1982 | PODS | 0.00013115161 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 8,733 | Negation as Failure for First-Order Queries (Extended Abstract) | 1986 | PODS |
| 2 | 2,989 | Data Exchange and Incomplete Information | 2006 | PODS |
| 3 | 2,156 | Obtaining Complete Answers from Incomplete Databases | 1996 | VLDB |
| 4 | 2,729 | On The Integrity Of Databases With Incomplete Information | 1986 | PODS |
| 5 | 4,592 | Queries with Incomplete Answers over Semistructured Data | 1999 | PODS |
| 6 | 1,201 | Data Independent Recursion in Deductive Databases | 1986 | PODS |
| 7 | 897 | On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases | 2003 | PODS |
| 8 | 3,503 | On the Decidability and Finite Controllability of Query Processing in Databases with Incomplete Information | 2006 | PODS |
| 9 | 4,326 | Relational Specifications of Infinite Query Answers | 1989 | SIGMOD |
| 10 | 12,695 | Completeness of Queries over Incomplete Databases | 2011 | VLDB |