Maintenance of Stratified Databases Viewed as a Belief Revision System
Summary: Views maintenance of stratified (no recursion through negation) deductive databases as a belief-revision problem, using Doyle/de Kleer ideas to handle coupled insertions/deletions. Proposes several algorithms varying static vs dynamic support and analyzes implementation trade-offs. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Krzysztof R. Apt (University of Paris 7; École Normale Supérieure)
- 2. Jean-Marc Pugin (Bull Research Center)
BibTeX Citation
@inproceedings{apt_pods87,
address = {New York, NY, USA},
series = {{PODS} '87},
title = {{Maintenance of Stratified Databases Viewed as a Belief Revision System}},
url = {https://dl.acm.org/doi/10.1145/28659.28674},
doi = {10.1145/28659.28674},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Apt, Krzysztof R. and Pugin, Jean-Marc},
year = {1987}
}
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,523 | Incremental Evaluation of Rules and its Relationship to Parallelism | 1991 | SIGMOD | 8.3464708e-05 |
| 3,673 | DBSP: Automatic Incremental View Maintenance for Rich Query Languages | 2023 | VLDB | 7.1092596e-05 |
| 13,278 | Space-Bounded FOIES | 1995 | PODS | 4.9793485e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 1 of 1 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 18 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.00059023577 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 5,713 | Believe It or Not: Adding Belief Annotations to Databases | 2009 | VLDB |
| 2 | 7,682 | Database Updates in Logic Programming | 1988 | PODS |
| 3 | 1,744 | Modular Stratification and Magic Sets for DATALOG Programs with Negation | 1990 | PODS |
| 4 | 1,201 | Data Independent Recursion in Deductive Databases | 1986 | PODS |
| 5 | 13,229 | Binding Propagation in Disjunctive Databases | 1998 | VLDB |
| 6 | 6,102 | Database Updates Through Abduction | 1990 | VLDB |
| 7 | 13,274 | Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases | 1996 | VLDB |
| 8 | 13,407 | Backward chaining evaluation in stratified disjunctive theories | 1990 | PODS |
| 9 | 8,113 | Querying a Multilevel Database: A Logical Analysis | 1996 | VLDB |
| 10 | 4,076 | Monotonic Aggregation in Deductive Databases | 1992 | PODS |