Towards a logical semantics for referential actions in SQL

DMCA

Towards a logical semantics for referential actions in SQL (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Bertram Ludäscher , Wolfgang May , Joachim Reinert

Venue:	IN PROC. 6TH INTL. WORKSHOP ON FOUNDATIONS OF MODELS AND LANGUAGES FOR DATA AND OBJECTS: INTEGRITY IN DATABASES, DAGSTUHL
Citations:	3 - 3 self

BibTeX

@INPROCEEDINGS{Ludäscher96towardsa,
    author = {Bertram Ludäscher and Wolfgang May and Joachim Reinert},
    title = {Towards a logical semantics for referential actions in SQL},
    booktitle = {IN PROC. 6TH INTL. WORKSHOP ON FOUNDATIONS OF MODELS AND LANGUAGES FOR DATA AND OBJECTS: INTEGRITY IN DATABASES, DAGSTUHL},
    year = {1996},
    pages = {57--72},
    publisher = {}
}

OpenURL

Abstract

We investigate a logical semantics which unambiguously specifies the meaning of SQL-like referential actions of the form ON DELETE CASCADE and ON DELETE RESTRICT. The semantics is given by a translation of referential actions into logical rules. The proposed semantics is less restrictive than the standard SQL semantics, yet preserves all referential integrity constraints. First, a preliminary set of rules is introduced which rejects a set of user requests if a single request is rejected. Subsequently, a refined translation is presented using Statelog [LHL95], a state-oriented Datalog extension which allows to define active anddeductive rules within a uni ed framework. We show that our semantics yields the maximal admissible subset of a given set of user requests. Apart from the Statelog formalization, a three-valued formalization based on the well-founded semantics and an equivalent game-theoretic specification are presented, which give further insight into the problem of ambiguity of triggers.

Keyphrases

referential action logical semantics user request single request active anddeductive rule referential integrity constraint three-valued formalization equivalent game-theoretic specification maximal admissible subset sql-like referential action refined translation uni ed framework form delete cascade statelog formalization preliminary set well-founded semantics logical rule statelog lhl95 delete restrict state-oriented datalog extension standard sql semantics

DMCA