Database Updates in Logic Programming

Summary: Proposes DatalogA, extending Datalog with base-relation updates and lightweight procedural constructs for writing update programs. Gives declarative and constructed-model semantics via Dynamic Logic’s (W,ρ) state-transition view; collapses to classical Datalog without updates and can express certain non‑stratified programs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h3409c68e76d34731
Venue: PODS
Year: 1988
Pagerank: 5.4772833e-05
Overall Rank: 7,682 | 48.36%
DOI: 10.1145/308386.308451

Incoming Non-self Citations Over Time

Authors

1. Shamim Naqvi (Microelectronics And Technology Computer Corporation)
2. Ravi Krishnamurthy (Microelectronics And Technology Computer Corporation)

BibTeX Citation

@inproceedings{naqvi_pods88,
        address = {New York, NY, USA},
        series = {{PODS} '88},
        title = {{Database Updates in Logic Programming}},
        url = {https://dl.acm.org/doi/10.1145/308386.308451},
        doi = {10.1145/308386.308451},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Naqvi, Shamim and Krishnamurthy, Ravi},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,075	Towards an Open Architecture for LDL	1989	VLDB	0.0001215903
1,707	Language Features for Interoperability of Databases with Schematic Discrepancies	1991	SIGMOD	9.8298117e-05
4,158	Towards a Real Horn Clause Language	1988	VLDB	6.7735939e-05
13,421	Declarative Expression of Deductive Database Updates	1989	PODS	4.9793485e-05

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
18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00059023577
635	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015368492
828	Logic Programming With Sets	1987	PODS	0.00013614671
1,049	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.0001229888

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,892	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB
2	317	OPTIMIZING DATALOG PROGRAMS (Extended Abstract)	1987	PODS
3	3,854	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB
4	2,528	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS
5	718	PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract)	1988	PODS
6	13,382	Updates in a Rule-Based Language for Objects	1992	VLDB
7	6,857	A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)	1986	PODS
8	12,128	Programmable View Update Strategies on Relations	2020	VLDB
9	13,266	Static Analysis of Intensional Databases in U-Datalog	1996	PODS
10	13,421	Declarative Expression of Deductive Database Updates	1989	PODS