A Method for Change Computation in Deductive Databases
Summary: A general change-computation method for deductive databases via transition and internal events rules to capture updates. SLDNF resolution computes induced changes, generalizing prior work and improving efficiency for constraints and views. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Toni Urpí
- 2. Antoni Olivé
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 95 | Maintaining Views Incrementally | 1993 | SIGMOD | 0.00050896659 |
| 3,476 | Efficient Maintenance of Materialized Mediated Views (Extended Abstract) | 1995 | SIGMOD | 7.0587697e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 7 of 7 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 77 | An Amateur's Introduction to Recursive Query Processing Strategies | 1986 | SIGMOD | 0.00057043861 |
| 264 | Deriving Production Rules for Incremental View Maintenance | 1991 | VLDB | 0.00029844694 |
| 633 | Set-Oriented Production Rules in Relational Database Systems | 1990 | SIGMOD | 0.00018905148 |
| 935 | Situation Monitoring for Active Databases | 1989 | VLDB | 0.00015215924 |
| 1,518 | Implementing Set-Oriented Production Rules as an Extension to Starburst | 1991 | VLDB | 0.00011566842 |
| 4,317 | Integrity Constraints Checking In Deductive Databases | 1991 | VLDB | 6.2885419e-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 |
|---|---|---|---|---|
| 935 | Situation Monitoring for Active Databases | 1989 | VLDB | 0.00015215924 |
| 5,836 | Managing Change in a Computer-Aided Design Database | 1987 | VLDB | 5.3080427e-05 |
| 4,150 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD | 6.4067883e-05 |
| 6,251 | Database Updates Through Abduction | 1990 | VLDB | 5.1377146e-05 |
| 95 | Maintaining Views Incrementally | 1993 | SIGMOD | 0.00050896659 |
| 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 |
| 1,390 | Change Detection in Hierarchically Structured Information | 1996 | SIGMOD | 0.00012248349 |
| 728 | Meaningful Change Detection in Structured Data | 1997 | SIGMOD | 0.00017494982 |
| 4,317 | Integrity Constraints Checking In Deductive Databases | 1991 | VLDB | 6.2885419e-05 |