Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints
Summary: Characterizes which integrity constraints can be automatically inferred from a partial database instance via formal systems that exactly specify the generable constraints. Provides a revision procedure to restore consistency on conflicts and shows the generable class (mod minor limits) matches relational-algebra sentences. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 25 | Dependency Inference (Extended Abstract) | 1987 | VLDB | 0.00083070519 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,960 | Inference Rules for Functional and Inclusion Dependencies | 1983 | PODS | 9.9543811e-05 |
| 3,383 | Independent and Separable Database Schemes | 1983 | PODS | 7.1535089e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,643 | Transactions And Integrity Constraints | 1985 | PODS | 6.0213009e-05 |
| 69 | Implementation of Integrity Constraints and Views by Query Modification | 1975 | SIGMOD | 0.00060388875 |
| 8,188 | Integrity Maintenance in an Object-Oriented Database | 1992 | VLDB | 4.5602031e-05 |
| 12,809 | Enhancing Database Correctness: A Statistical Approach | 1995 | SIGMOD | 4.1905499e-05 |
| 2,284 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB | 9.1118342e-05 |
| 9,185 | Using Integrity Constraints to Provide Intensional Answers to Relational Queries | 1989 | VLDB | 4.3771771e-05 |
| 9,082 | The Role of Integrity Constraints in Database Interoperation | 1996 | VLDB | 4.3952433e-05 |
| 49 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS | 0.00067607389 |
| 8,265 | Checking Consistency of Database Constraints: a Logical Basis | 1986 | VLDB | 4.5412367e-05 |
| 1,206 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00013297347 |