DBScholar

Back to papers

Declarative Expression of Deductive Database Updates

Summary: Extends Datalog to declaratively express single-state transitions and procedural sequences of updates, supporting basic update ops, hypothetical reasoning, and update procedures. Defines possible-world semantics and a sound, complete proof theory via translation to equivalent Pure Prolog. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
853
Venue
PODS
Year
1989
Pagerank
5.093636e-05
Overall Rank
13,131 | 9.91%
DOI
10.1145/73721.73730

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

BibTeX Citation

@inproceedings{manchanda_pods89,
        address = {New York, NY, USA},
        series = {{PODS} '89},
        title = {{Declarative Expression of Deductive Database Updates}},
        url = {https://dl.acm.org/doi/10.1145/73721.73730},
        doi = {10.1145/73721.73730},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Manchanda, Sanjay},
        year = {1989}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank Citing Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
702 PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) 1988 PODS 0.00014855299
1,726 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.9156202e-05
7,536 Database Updates in Logic Programming 1988 PODS 5.6029996e-05
Previous Page 1 / 1 Next

Semantically Similar Papers