Negation and Minimality in Non-Horn Databases
Summary: Combines constructive rule-based failure-to-prove reasoning with syntax-independent closed-world inference to generalize negation semantics for non-Horn databases, enforcing minimal negative consequences. Proposes well-founded, computationally tractable semantics as a principled alternative to classic CWA. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,427 | Complexity Aspects of Various Semantics for Disjunctive Databases | 1993 | PODS | 5.6824919e-05 |
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 |
|---|---|---|---|---|
| 4,775 | Stable Models and Non-Determinism in Logic Programs with Negation | 1990 | PODS | 6.5826335e-05 |
| 5,653 | Tie-Breaking Semantics and Structural Totality (Extended Abstract) | 1992 | PODS | 6.1997444e-05 |
| 7,427 | Complexity Aspects of Various Semantics for Disjunctive Databases | 1993 | PODS | 5.6824919e-05 |
| 7,428 | Positivism vs. Minimalism in Deductive Databases (Extended Abstract) | 1986 | PODS | 5.6824919e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,125 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 6.0346122e-05 |
| 2,427 | Logic Programming as Constructivism: A Formalization and its Application to Databases | 1989 | PODS | 8.661051e-05 |
| 8,161 | The Expressive Powers of the Logic Programming Semantics | 1990 | PODS | 5.5419908e-05 |
| 3,936 | Monotonic Aggregation in Deductive Databases | 1992 | PODS | 7.0735137e-05 |
| 7,427 | Complexity Aspects of Various Semantics for Disjunctive Databases | 1993 | PODS | 5.6824919e-05 |
| 14,210 | On Negation in HiLog | 1991 | PODS | - |
| 4,775 | Stable Models and Non-Determinism in Logic Programs with Negation | 1990 | PODS | 6.5826335e-05 |
| 3,526 | Query Processing in Deductive Databases with Incomplete Information | 1986 | SIGMOD | 7.4070612e-05 |
| 7,428 | Positivism vs. Minimalism in Deductive Databases (Extended Abstract) | 1986 | PODS | 5.6824919e-05 |
| 8,439 | Negation as Failure for First-Order Queries (Extended Abstract) | 1986 | PODS | 5.4958075e-05 |