PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract)

Summary: Relates procedural TL (with "with new") and its restricted/deterministic forms (WTL/STL/detTL/SdetTL) to declarative Datalog extensions, focusing on expressive power. Characterizes update classes: STL = NPSPACE; deterministic variants capture deterministic updates; some restrictions yield PSPACE, clarifying procedural vs declarative and non‑deterministic tradeoffs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: he6bbe7007f673811
Venue: PODS
Year: 1988
Pagerank: 0.0001447659
Overall Rank: 720 | 95.18%
DOI: 10.1145/308386.308448

Incoming Non-self Citations Over Time

Authors

1. Serge Abiteboul (INRIA)
2. Victor Vianu (University of California San Diego)

BibTeX Citation

@inproceedings{abiteboul_pods88,
        address = {New York, NY, USA},
        series = {{PODS} '88},
        title = {{PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/308386.308448},
        doi = {10.1145/308386.308448},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Abiteboul, Serge and Vianu, Victor},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 22 of 22 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
368	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00019850502
1,004	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00012557552
1,014	Why Not Negation By Fixpoint?	1988	PODS	0.00012473729
1,338	The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract)	1989	PODS	0.00010967767
1,528	Managing Semantic Heterogeneity in Databases : A Theoretical Perspective	1997	PODS	0.00010322417
1,934	The Expressiveness of a Family of Finite Set Languages	1991	PODS	9.3427942e-05
2,161	Theory of Database Queries (Extended Abstract)	1988	PODS	8.9203568e-05
2,466	Untyped Sets, Invention, and Computable Queries	1989	PODS	8.4057294e-05
2,669	A Graph-Oriented Object Database Model	1990	PODS	8.1313046e-05
2,723	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	8.0732695e-05
2,982	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS	7.7719553e-05
3,196	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions	1989	SIGMOD	7.5296268e-05
4,281	A Web Odyssey: from Codd to XML	2001	PODS	6.6721591e-05
4,342	Polynomial Time Query Processing in Temporal Deductive Databases	1990	PODS	6.6401871e-05
5,089	Datalog Unchained	2021	PODS	6.2661323e-05
6,529	A Functional Programming Approach to Deductive Databases	1991	VLDB	5.7375273e-05
7,547	CONSTRAINT QUERY LANGUAGES (preliminary report)	1990	PODS	5.4816503e-05
8,074	IDLOG: Extending the Expressive Power of Deductive Database Languages	1990	SIGMOD	5.3791193e-05
8,768	The Power of Methods With Parallel Semantics	1991	VLDB	5.2693231e-05
13,413	Learning Efficient Query Processing Strategies	1992	PODS	4.9605343e-05
13,442	A Non-deterministic Deductive Database Language	1991	SIGMOD	4.9605343e-05
13,468	Declarative Expression of Deductive Database Updates	1989	PODS	4.9605343e-05

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
428	Relative Information Capacity of Simple Relational Database Schemata	1984	PODS	0.00018419906
1,014	Why Not Negation By Fixpoint?	1988	PODS	0.00012473729
1,781	A Transaction Language Complete for Database Update and Specification	1987	PODS	9.657754e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,618	A Transaction Logic for Database Specification	1988	SIGMOD
2	12,571	On the Expressive Power of Update Primitives	2013	PODS
3	8,074	IDLOG: Extending the Expressive Power of Deductive Database Languages	1990	SIGMOD
4	13,442	A Non-deterministic Deductive Database Language	1991	SIGMOD
5	6,914	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB
6	7,701	Database Updates in Logic Programming	1988	PODS
7	13,468	Declarative Expression of Deductive Database Updates	1989	PODS
8	13,313	Static Analysis of Intensional Databases in U-Datalog	1996	PODS
9	3,808	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS
10	1,781	A Transaction Language Complete for Database Update and Specification	1987	PODS