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,852 | Negation and Minimality in Non-Horn Databases | 1993 | PODS | 6.7017663e-05 |
| 12,797 | Structural Totality and Constraint Stratification | 1995 | PODS | 4.1945683e-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 |
|---|---|---|---|---|
| 200 | OPTIMIZING DATALOG PROGRAMS (Extended Abstract) | 1987 | PODS | 0.00035012858 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,317 | Data Functions, Datalog and Negation (Extended Abstract) | 1988 | SIGMOD | 7.2283048e-05 |
| 6,932 | Database Updates in Logic Programming | 1988 | PODS | 4.8925595e-05 |
| 7,018 | Hard problems for simple logic programs | 1990 | SIGMOD | 4.8602644e-05 |
| 5,992 | Evaluating Datalog over Semirings: A Grounding-based Approach | 2024 | PODS | 5.2415551e-05 |
| 12,833 | Adding Disjunction to Datalog (Extended Abstract) | 1994 | PODS | 4.1945683e-05 |
| 7,591 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.702934e-05 |
| 4,298 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 6.2885419e-05 |
| 4,757 | Stable Models and Non-Determinism in Logic Programs with Negation | 1990 | PODS | 5.9434944e-05 |
| 551 | Why Not Negation By Fixpoint? | 1988 | PODS | 0.00020329959 |
| 1,205 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 0.00013285448 |