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)

Paper ID: 786
Venue: PODS
Year: 1987
Pagerank: 6.1072031e-05
Overall Rank: 5,729 | 60.70%
DOI: 10.1145/28659.28674

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,530	Incremental Evaluation of Rules and its Relationship to Parallelism	1991	SIGMOD	8.458663e-05
4,865	DBSP: Automatic Incremental View Maintenance for Rich Query Languages	2023	VLDB	6.4731692e-05
12,988	Space-Bounded FOIES	1995	PODS	5.093636e-05

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
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	5,586	Believe It or Not: Adding Belief Annotations to Databases	2009	VLDB
2	7,536	Database Updates in Logic Programming	1988	PODS
3	1,714	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS
4	1,173	Data Independent Recursion in Deductive Databases	1986	PODS
5	12,939	Binding Propagation in Disjunctive Databases	1998	VLDB
6	5,984	Database Updates Through Abduction	1990	VLDB
7	12,984	Further Improvement on Integrity Constraint Checking for Stratifiable Deductive Databases	1996	VLDB
8	13,117	Backward chaining evaluation in stratified disjunctive theories	1990	PODS
9	7,945	Querying a Multilevel Database: A Logical Analysis	1996	VLDB
10	4,002	Monotonic Aggregation in Deductive Databases	1992	PODS