Deriving consistency-preserving transaction specifications for (view-)updates in relational databases

Cita com:
hdl:2117/373726
Document typeConference report
Defense date1992
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
This work is protected by the corresponding intellectual and industrial property rights.
Except where otherwise noted, its contents are licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 4.0 International
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.
CitationPastor 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.
Files | Description | Size | Format | View |
---|---|---|---|---|
3DAISD_13_Deriving consistency-preserving.pdf | 1,298Mb | View/Open |