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: 1119
Venue: PODS
Year: 1997
Pagerank: 4.1905499e-05
Overall Rank: 12,768 | 11.27%
DOI: -

Incoming Non-self Citations Over Time

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

Authors

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,140	Integrating Triggers and Declarative Constraints in SQL Database Systems	1996	VLDB	7.4912441e-05
4,744	Semantics and Expressiveness Issues in Active Databases	1995	PODS	5.9487921e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
1,189	Independence of Logic Database Queries and Updates	1990	PODS	0.0001342924
7,980	The Expressive Powers of the Logic Programming Semantics	1990	PODS	4.6089395e-05
12,964	A Framework for Comparison of Update Semantics (Extended Abstract)	1988	PODS	4.1905499e-05
7,774	Decidability and Undecidability Results for the Termination Problem of Active Database Rules	1998	PODS	4.6498948e-05
6,824	A Transaction Logic for Database Specification	1988	SIGMOD	4.9096742e-05
1,166	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS	0.00013542063
2,191	On the Equivalence of Logical Databases	1984	PODS	9.328833e-05
7,671	The Valid Model Semantics for Logic Programs	1992	PODS	4.6781479e-05
4,145	Explicit Control of Logic Programs Through Rule Algebra	1988	PODS	6.4076785e-05
6,934	Database Updates in Logic Programming	1988	PODS	4.8878659e-05