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 |
|---|---|---|---|---|
| 6,522 | Complexity Aspects of Various Semantics for Disjunctive Databases | 1993 | PODS | 5.0287573e-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,757 | Stable Models and Non-Determinism in Logic Programs with Negation | 1990 | PODS | 5.9434944e-05 |
| 5,063 | Tie-Breaking Semantics and Structural Totality (Extended Abstract) | 1992 | PODS | 5.7267485e-05 |
| 6,522 | Complexity Aspects of Various Semantics for Disjunctive Databases | 1993 | PODS | 5.0287573e-05 |
| 6,523 | Positivism vs. Minimalism in Deductive Databases (Extended Abstract) | 1986 | PODS | 5.0287573e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,298 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 6.2885419e-05 |
| 1,979 | Logic Programming as Constructivism: A Formalization and its Application to Databases | 1989 | PODS | 9.8794371e-05 |
| 7,977 | The Expressive Powers of the Logic Programming Semantics | 1990 | PODS | 4.613363e-05 |
| 4,223 | Monotonic Aggregation in Deductive Databases | 1992 | PODS | 6.3474752e-05 |
| 6,522 | Complexity Aspects of Various Semantics for Disjunctive Databases | 1993 | PODS | 5.0287573e-05 |
| 14,196 | On Negation in HiLog | 1991 | PODS | - |
| 2,712 | Query Processing in Deductive Databases with Incomplete Information | 1986 | SIGMOD | 8.2488274e-05 |
| 4,757 | Stable Models and Non-Determinism in Logic Programs with Negation | 1990 | PODS | 5.9434944e-05 |
| 6,523 | Positivism vs. Minimalism in Deductive Databases (Extended Abstract) | 1986 | PODS | 5.0287573e-05 |
| 8,335 | Negation as Failure for First-Order Queries (Extended Abstract) | 1986 | PODS | 4.5435639e-05 |