Referential actions as logical rules

Bertram Ludaescher, Wolfgang May, Georg Lausen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 controversial 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.

Original languageEnglish (US)
Title of host publicationProceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - PODS
Editors Anon
PublisherACM
Pages217-227
Number of pages11
StatePublished - 1997
Externally publishedYes
EventProceedings of the 1997 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - Tucson, AZ, USA
Duration: May 12 1997May 14 1997

Other

OtherProceedings of the 1997 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
CityTucson, AZ, USA
Period5/12/975/14/97

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Referential actions as logical rules'. Together they form a unique fingerprint.

  • Cite this

    Ludaescher, B., May, W., & Lausen, G. (1997). Referential actions as logical rules. In Anon (Ed.), Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - PODS (pp. 217-227). ACM.