Referential Actions as Logical Rules

Summary: Cast referential actions as a logic program (PRA) with admissibility axioms; the well-founded model produces a unique, sceptical set of updates and marks controversial updates undefined. All maximal admissible update subsets characterized by maximal stable models. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h558b01ba073d11f0
Venue: PODS
Year: 1997
Pagerank: 4.9793485e-05
Overall Rank: 13,243 | 10.97%
DOI: 10.1145/263661.263685

Incoming Non-self Citations Over Time

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

Authors

1. Bertram Ludäscher (University of Freiburg)
2. Wolfgang May (University of Freiburg)
3. Georg Lausen (University of Freiburg)

BibTeX Citation

@inproceedings{ludascher_pods97,
        address = {New York, NY, USA},
        series = {{PODS} '97},
        title = {{Referential Actions as Logical Rules}},
        url = {https://dl.acm.org/doi/10.1145/263661.263685},
        doi = {10.1145/263661.263685},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Ludäscher, Bertram and May, Wolfgang and Lausen, Georg},
        year = {1997}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
3,517	Integrating Triggers and Declarative Constraints in SQL Database Systems	1996	VLDB	7.2422477e-05
5,395	Semantics and Expressiveness Issues in Active Databases	1995	PODS	6.1496965e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,346	Independence of Logic Database Queries and Updates	1990	PODS
2	8,463	The Expressive Powers of the Logic Programming Semantics	1990	PODS
3	13,439	A Framework for Comparison of Update Semantics (Extended Abstract)	1988	PODS
4	8,303	Decidability and Undecidability Results for the Termination Problem of Active Database Rules	1998	PODS
5	7,595	A Transaction Logic for Database Specification	1988	SIGMOD
6	1,556	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS
7	3,225	On the Equivalence of Logical Databases	1984	PODS
8	8,253	The Valid Model Semantics for Logic Programs	1992	PODS
9	4,353	Explicit Control of Logic Programs Through Rule Algebra	1988	PODS
10	7,682	Database Updates in Logic Programming	1988	PODS