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
- 1. Marco Schaerf (Sapienza University; University of Cagliari)
BibTeX Citation
@inproceedings{schaerf_pods93,
address = {New York, NY, USA},
series = {{PODS} '93},
title = {{Negation and Minimality in Non-Horn Databases}},
url = {https://dl.acm.org/doi/10.1145/153850.153863},
doi = {10.1145/153850.153863},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Schaerf, Marco},
year = {1993}
}Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,563 | Complexity Aspects of Various Semantics for Disjunctive Databases | 1993 | PODS | 5.5958254e-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,831 | Stable Models and Non-Determinism in Logic Programs with Negation | 1990 | PODS | 6.4877275e-05 |
| 5,735 | Tie-Breaking Semantics and Structural Totality (Extended Abstract) | 1992 | PODS | 6.105189e-05 |
| 7,563 | Complexity Aspects of Various Semantics for Disjunctive Databases | 1993 | PODS | 5.5958254e-05 |
| 7,564 | Positivism vs. Minimalism in Deductive Databases (Extended Abstract) | 1986 | PODS | 5.5958254e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 8,083 | The Valid Model Semantics for Logic Programs | 1992 | PODS |
| 2 | 2,474 | Logic Programming as Constructivism: A Formalization and its Application to Databases | 1989 | PODS |
| 3 | 8,295 | The Expressive Powers of the Logic Programming Semantics | 1990 | PODS |
| 4 | 4,002 | Monotonic Aggregation in Deductive Databases | 1992 | PODS |
| 5 | 7,563 | Complexity Aspects of Various Semantics for Disjunctive Databases | 1993 | PODS |
| 6 | 14,396 | On Negation in HiLog | 1991 | PODS |
| 7 | 4,831 | Stable Models and Non-Determinism in Logic Programs with Negation | 1990 | PODS |
| 8 | 3,512 | Query Processing in Deductive Databases with Incomplete Information | 1986 | SIGMOD |
| 9 | 7,564 | Positivism vs. Minimalism in Deductive Databases (Extended Abstract) | 1986 | PODS |
| 10 | 8,566 | Negation as Failure for First-Order Queries (Extended Abstract) | 1986 | PODS |