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,792 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB | 4.9203196e-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,310 | Integrity Constraints Checking In Deductive Databases | 1991 | VLDB | 6.2824978e-05 |
| 2,284 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB | 9.1118342e-05 |
| 9,082 | The Role of Integrity Constraints in Database Interoperation | 1996 | VLDB | 4.3952433e-05 |
| 6,544 | Properties of Inconsistency Measures for Databases | 2021 | SIGMOD | 5.013741e-05 |
| 8,871 | On The Satisfiability Of Dependency Constraints In Entity-Relationship Schemata | 1987 | VLDB | 4.4274172e-05 |
| 1,579 | Constraint Checking with Partial Information | 1994 | PODS | 0.00011273105 |
| 1,353 | Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints | 1987 | PODS | 0.00012431009 |
| 3,931 | On The Complexity And Axiomatizability Of Consistent Database States | 1984 | PODS | 6.6192327e-05 |
| 1,101 | On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases | 2003 | PODS | 0.00014037952 |
| 49 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS | 0.00067607389 |