Deriving consistency-preserving transaction specifications for (view-)updates in relational databases
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/373726
Tipus de documentText en actes de congrés
Data publicació1992
EditorUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Abstract
We propase a new method for generating transaction specifications for (view-)updates in relational databases that are guaranteed to preserve integrity constraints. The method augments the relational database with a set of transition and events rnles, which explicitly define the insertions and deletions induced by a database update. At database design time, an extension of the SLDNF procedure can use these rules as input clauses to produce transaction specifications for compile-time base or view updates. This is done in such a way that the database will never be taken into an inconsistent state, if run-time updates are only effected through tlw instantiation of the previously obtained transaction specifications. The method draws from previous work of our group in the more general setting of deductive databases, particularly in view updating and integrity constraint checking.
CitacióPastor Collado, J.A. Deriving consistency-preserving transaction specifications for (view-)updates in relational databases. A: "Proceedings of the 3rd International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991, p. 275-300.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
3DAISD_13_Deriving consistency-preserving.pdf | 1,298Mb | Visualitza/Obre |