Referential Actions as Logic Rules.
Bertram Ludäscher, Wolfgang May, Georg Lausen:
Referential Actions as Logic Rules.
PODS 1997: 217-227@inproceedings{DBLP:conf/pods/LudascherML97,
author = {Bertram Lud{\"a}scher and
Wolfgang May and
Georg Lausen},
title = {Referential Actions as Logic Rules},
booktitle = {Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium
on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona},
publisher = {ACM Press},
year = {1997},
isbn = {0-89791-910-6},
pages = {217-227},
ee = {http://doi.acm.org/10.1145/263661.263685, db/conf/pods/LudascherML97.html},
crossref = {DBLP:conf/pods/97},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Referential actions are specialized triggers used to automatically maintain
referential integrity. While their local behavior can be grasped easily, it
is far from clear what the combined effect of a set of referential actions,
i.e., their global semantics should be. For example, different execution
orders may lead to ambiguities in determining the final set of updates to be
applied. To resolve these problems, we propose an abstract logical framework
for rule-based maintenance of referential integrity: First, we identify
desirable abstract properties like admissibility of updates which lead to
a non-constructive global semantics of referential actions. We obtain a
constructive definition by formalizing a set of referential actions RA as
logical rules, and show that the declarative semantics of the resulting
logic program PRA captures the intended abstract semantics:
The well-founded model of PRA yields a unique set of updates,
which is a safe, sceptical approximation of the set of all maximal
admissible updates; the third truth-value undefined is assigned to
all controversiaI updates. Finally, we show how to obtain a characterization
of all maximal admissible subsets of a given set of updates using certain
maximal stable models.
Copyright © 1997 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.
Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98.
and ...
Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings.
and ...
BibTeX
Printed Edition
Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona.
ACM Press 1997, ISBN 0-89791-910-6
Contents BibTeX
[Index Terms]
[Full Text in PDF Format, 1951 KB]
References
- [Av91]
- Serge Abiteboul, Victor Vianu:
Datalog Extensions for Database Queries and Updates.
J. Comput. Syst. Sci. 43(1): 62-124(1991) BibTeX
- [CPM96]
- Roberta Cochrane, Hamid Pirahesh, Nelson Mendonça Mattos:
Integrating Triggers and Declarative Constraints in SQL Database Sytems.
VLDB 1996: 567-578 BibTeX
- [Dat81]
- C. J. Date:
Referential Integrity.
VLDB 1981: 2-12 BibTeX
- [Dix95]
- ...
- [ELS96]
- Thomas Eiter, Nicola Leone, Domenico Saccà:
The Expressive Power of Partial Models in Disjunctive Deductive Databases.
Logic in Databases 1996: 245-264 BibTeX
- [Hor92]
- Bruce M. Horowitz:
A Run-Time Execution Model for Referential Integrity Maintenance.
ICDE 1992: 548-556 BibTeX
- [ISO92]
- ...
- [ISO94]
- ...
- [LML96]
- ...
- [LMR96]
- ...
- [Mar94]
- Victor M. Markowitz:
Safe referential integrity and null constraint structures in relational databases.
Inf. Syst. 19(4): 359-378(1994) BibTeX
- [PV95]
- Philippe Picouet, Victor Vianu:
Semantics and Expressiveness Issues in Active Databases.
PODS 1995: 126-138 BibTeX
- [Rei96]
- ...
- [Via]
- ...
Referenced by
- Bertram Ludäscher, Wolfgang May:
Referential Actions: From Logical Semantics to Implementation.
EDBT 1998: 404-418
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:34:18 2009