Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
10.604 Lectures/texts in conference proceedings
You are here:
View Item 
  •   DSpace Home
  • Congressos
  • Workshop on the Deductive Approach to Information Systems and Databases
  • [3] Third International Workshop on the Deductive Approach to Information Systems and Databases: Roses-Costa Brava (Catalonia), 28-30 September, 1992
  • View Item
  •   DSpace Home
  • Congressos
  • Workshop on the Deductive Approach to Information Systems and Databases
  • [3] Third International Workshop on the Deductive Approach to Information Systems and Databases: Roses-Costa Brava (Catalonia), 28-30 September, 1992
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
3DAISD_13_Deriving consistency-preserving.pdf (1,298Mb)
  View UPCommons Usage Statistics
  LA Referencia / Recolecta stats
Includes usage data since 2022
Cita com:
hdl:2117/373726

Show full item record
Pastor Collado, Juan AntonioMés informacióMés informacióMés informació
Document typeConference report
Defense date1992
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
Attribution-NonCommercial-NoDerivs 4.0 International
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. 
URIhttp://hdl.handle.net/2117/373726
Collections
  • Workshop on the Deductive Approach to Information Systems and Databases - [3] Third International Workshop on the Deductive Approach to Information Systems and Databases: Roses-Costa Brava (Catalonia), 28-30 September, 1992 [15]
  View UPCommons Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
3DAISD_13_Deriving consistency-preserving.pdf1,298MbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Metadata under:Metadata under CC0
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina