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
- 1. Antoni Olivé (Polytechnic University of Catalonia)
BibTeX Citation
@article{olive_vldb91,
title = {{Integrity Constraints Checking In Deductive Databases}},
author = {Olivé, Antoni},
journal = {PVLDB},
series = {{VLDB} '91},
pages = {513},
year = {1991}
}Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,982 | A Method for Change Computation in Deductive Databases | 1992 | VLDB | 7.8959297e-05 |
| 13,063 | Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases | 1993 | VLDB | 5.093636e-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 |
|---|---|---|---|---|
| 63 | An Amateur's Introduction to Recursive Query Processing Strategies | 1986 | SIGMOD | 0.00038782376 |
| 81 | Implementation of Integrity Constraints and Views by Query Modification | 1975 | SIGMOD | 0.00036443459 |
| 3,107 | Integrity Checking in Deductive Databases | 1987 | VLDB | 7.7508942e-05 |
| 7,477 | On the design and implementation of information systems from deductive conceptual models | 1989 | VLDB | 5.6084874e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 14,419 | Synthesizing Database Transactions | 1990 | VLDB |
| 2 | 33 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS |
| 3 | 4,094 | Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints | 1987 | PODS |
| 4 | 2,591 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB |
| 5 | 13,063 | Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases | 1993 | VLDB |
| 6 | 1,329 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB |
| 7 | 8,506 | Checking Consistency of Database Constraints: a Logical Basis | 1986 | VLDB |
| 8 | 2,982 | A Method for Change Computation in Deductive Databases | 1992 | VLDB |
| 9 | 12,984 | Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases | 1996 | VLDB |
| 10 | 3,107 | Integrity Checking in Deductive Databases | 1987 | VLDB |