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,818 | A Probabilistic Framework for Vague Queries and Imprecise Information in Databases | 1990 | VLDB | 9.6827488e-05 |
| 5,586 | Believe It or Not: Adding Belief Annotations to Databases | 2009 | VLDB | 6.1598576e-05 |
| 13,042 | Cumulative Updates | 1994 | VLDB | 5.093636e-05 |
| 13,151 | Partition Semantics For Incomplete Information In Relational Databases | 1988 | SIGMOD | 5.093636e-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 |
|---|---|---|---|---|
| 134 | Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) | 1982 | PODS | 0.00030343737 |
| 888 | Horn Clauses and the Fixpoint Query Hierarchy | 1982 | PODS | 0.00013402577 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 8,566 | Negation as Failure for First-Order Queries (Extended Abstract) | 1986 | PODS |
| 2 | 2,934 | Data Exchange and Incomplete Information | 2006 | PODS |
| 3 | 2,117 | Obtaining Complete Answers from Incomplete Databases | 1996 | VLDB |
| 4 | 2,671 | On The Integrity Of Databases With Incomplete Information | 1986 | PODS |
| 5 | 4,495 | Queries with Incomplete Answers over Semistructured Data | 1999 | PODS |
| 6 | 1,173 | Data Independent Recursion in Deductive Databases | 1986 | PODS |
| 7 | 874 | On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases | 2003 | PODS |
| 8 | 3,433 | On the Decidability and Finite Controllability of Query Processing in Databases with Incomplete Information | 2006 | PODS |
| 9 | 4,235 | Relational Specifications of Infinite Query Answers | 1989 | SIGMOD |
| 10 | 12,404 | Completeness of Queries over Incomplete Databases | 2011 | VLDB |