Checking Consistency of Database Constraints: a Logical Basis

Summary: Distinguishes ordinary consistency of integrity constraints from finite satisfiability, required for finite stored and derived databases. Develops two efficient checking methods extending alternative refutation approaches; finite satisfiability is semidecidable, unlike consistency. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: h0a4dc7737cf94ada
Venue: VLDB
Year: 1986
Pagerank: 5.2911347e-05
Overall Rank: 8,674 | 41.69%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. François Bry (European Computer-Industry Research Center)
2. Rainer Manthey (European Computer-Industry Research Center)

BibTeX Citation

@article{bry_vldb86,
        title = {{Checking Consistency of Database Constraints: a Logical Basis}},
        author = {Bry, François and Manthey, Rainer},
        journal = {PVLDB},
        series = {{VLDB} '86},
        pages = {13--20},
        year = {1986}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
7,053	Semantic Modeling of Object Oriented Databases	1991	VLDB	5.6121528e-05

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

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,371	Integrity Constraints Checking In Deductive Databases	1991	VLDB
2	2,640	Knowledge-based Integrity Constraint Validation	1986	VLDB
3	9,420	The Role of Integrity Constraints in Database Interoperation	1996	VLDB
4	5,864	Properties of Inconsistency Measures for Databases	2021	SIGMOD
5	9,198	On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata	1987	VLDB
6	1,521	Constraint Checking with Partial Information	1994	PODS
7	4,179	Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints	1987	PODS
8	4,753	On The Complexity And Axiomatizability Of Consistent Database States	1984	PODS
9	897	On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases	2003	PODS
10	33	Consistent Query Answers in Inconsistent Databases	1999	PODS