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: 834
Venue: PODS
Year: 1988
Pagerank: 5.6029996e-05
Overall Rank: 7,536 | 48.30%
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,062	Towards an Open Architecture for LDL	1989	VLDB	0.000123618
1,672	Language Features for Interoperability of Databases with Schematic Discrepancies	1991	SIGMOD	0.0001004199
4,072	Towards a Real Horn Clause Language	1988	VLDB	6.9258731e-05
13,131	Declarative Expression of Deductive Database Updates	1989	PODS	5.093636e-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
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
622	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015686753
799	Logic Programming With Sets	1987	PODS	0.00013911498
1,026	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00012578477

Semantically Similar Papers

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