Tie-Breaking Semantics and Structural Totality (Extended Abstract)
Summary: Introduce tie-breaking semantics for Datalog with negation: a polynomial-time computable fixpoint semantics that guarantees a fixpoint whenever the rule–goal graph has no cycle with an odd number of negative edges. Show maximality: presence of an odd-negative cycle implies non-structural totality (an alphabetic variant lacking any fixpoint) and nonstructural totality is undecidable. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,855 | Negation and Minimality in Non-Horn Databases | 1993 | PODS | 6.6953111e-05 |
| 12,806 | Structural Totality and Constraint Stratification | 1995 | PODS | 4.1905499e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 1 of 1 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 209 | OPTIMIZING DATALOG PROGRAMS (Extended Abstract) | 1987 | PODS | 0.00034147258 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,320 | Data Functions, Datalog and Negation (Extended Abstract) | 1988 | SIGMOD | 7.2212998e-05 |
| 6,934 | Database Updates in Logic Programming | 1988 | PODS | 4.8878659e-05 |
| 7,018 | Hard problems for simple logic programs | 1990 | SIGMOD | 4.8555836e-05 |
| 5,996 | Evaluating Datalog over Semirings: A Grounding-based Approach | 2024 | PODS | 5.2365238e-05 |
| 12,842 | Adding Disjunction to Datalog (Extended Abstract) | 1994 | PODS | 4.1905499e-05 |
| 7,594 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.6983854e-05 |
| 4,291 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 6.2824978e-05 |
| 4,754 | Stable Models and Non-Determinism in Logic Programs with Negation | 1990 | PODS | 5.9377721e-05 |
| 552 | Why Not Negation By Fixpoint? | 1988 | PODS | 0.00020309855 |
| 1,208 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 0.00013272698 |