Integrity Constraints Checking In Deductive Databases
Summary: Proposes integrity checking in deductive databases by augmenting the DB with transition and internal rules that encode update effects. Uses standard SLDNF resolution to verify constraints; supports static and dynamic constraints in a uniform Prolog implementation. (summarized by gpt-5-nano 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 |
|---|---|---|---|---|
| 2,397 | A Method for Change Computation in Deductive Databases | 1992 | VLDB | 8.8979335e-05 |
| 12,869 | Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases | 1993 | VLDB | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 69 | Implementation of Integrity Constraints and Views by Query Modification | 1975 | SIGMOD | 0.00060379399 |
| 77 | An Amateur's Introduction to Recursive Query Processing Strategies | 1986 | SIGMOD | 0.00057043861 |
| 2,176 | Integrity Checking In Deductive Databases | 1987 | VLDB | 9.3623985e-05 |
| 7,412 | On the design and implementation of information systems from deductive conceptual models | 1989 | VLDB | 4.7359576e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 14,219 | Synthesizing Database Transactions | 1990 | VLDB | - |
| 49 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS | 0.00067660624 |
| 1,349 | Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints | 1987 | PODS | 0.00012436377 |
| 2,283 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB | 9.105984e-05 |
| 12,869 | Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases | 1993 | VLDB | 4.1945683e-05 |
| 1,218 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00013226899 |
| 8,269 | Checking Consistency of Database Constraints: a Logical Basis | 1986 | VLDB | 4.5455963e-05 |
| 2,397 | A Method for Change Computation in Deductive Databases | 1992 | VLDB | 8.8979335e-05 |
| 12,790 | Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases | 1996 | VLDB | 4.1945683e-05 |
| 2,176 | Integrity Checking In Deductive Databases | 1987 | VLDB | 9.3623985e-05 |