Checking Consistency of Database Constraints: a Logical Basis
Summary: Introduces a logical basis for checking the consistency of a constraint set itself, independent of data. Finite satisfiability—admitting a finite set of stored and derivable facts—is semi-decidable; the paper links undecidability of consistency to this property and proposes two refutation-based methods extending existing refutation approaches to decide finite satisfiability and detect unsatisfiability. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Francois Bry
- 2. Rainer Manthey
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,791 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB | 4.9250521e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 0 of 0 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,317 | Integrity Constraints Checking In Deductive Databases | 1991 | VLDB | 6.2885419e-05 |
| 2,283 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB | 9.105984e-05 |
| 9,085 | The Role of Integrity Constraints in Database Interoperation | 1996 | VLDB | 4.3994589e-05 |
| 6,546 | Properties of Inconsistency Measures for Databases | 2021 | SIGMOD | 5.0185588e-05 |
| 8,871 | On The Satisfiability Of Dependency Constraints In Entity-Relationship Schemata | 1987 | VLDB | 4.431665e-05 |
| 1,578 | Constraint Checking with Partial Information | 1994 | PODS | 0.00011284233 |
| 1,349 | Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints | 1987 | PODS | 0.00012436377 |
| 3,917 | On The Complexity And Axiomatizability Of Consistent Database States | 1984 | PODS | 6.6328189e-05 |
| 1,102 | On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases | 2003 | PODS | 0.00014049364 |
| 49 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS | 0.00067660624 |