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
  • [5] Fifth International Workshop on the Deductive Approach to Information Systems and Databases: Aiguablava, Costa Brava (Catalonia). September 19-21, 1994
  • View Item
  •   DSpace Home
  • Congressos
  • Workshop on the Deductive Approach to Information Systems and Databases
  • [5] Fifth International Workshop on the Deductive Approach to Information Systems and Databases: Aiguablava, Costa Brava (Catalonia). September 19-21, 1994
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A common framework for classifying and specifying deductive database updating problems

Thumbnail
View/Open
5DAISD_08_A common framework for .pdf (1,655Mb)
  View UPCommons Usage Statistics
  LA Referencia / Recolecta stats
Includes usage data since 2022
Cita com:
hdl:2117/375792

Show full item record
Teniente López, ErnestMés informacióMés informacióMés informació
Urpí Tubella, AntoniMés informacióMés informacióMés informació
Document typeConference report
Defense date1994
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
Several problems may arise when updating a deductive database. Up to now, the general approach of the research related to deductive database updating problems has been to provide specific methods for solving particular problems. However, ali these methods are explicitly or implicitly based on a set of rules that define the changes that occur in a transition from an old state of a database to a new, updated state. Therefore, these rules provide the basis of a framework for classifying and specifying these problems. In this paper we propose to use the event rules [Oli91], which explicitly define the insertions and deletions induced by an update, for such a basis. We also define two interpretations of these rules which provide a common framework for classifying and specifying deductive database updating problems such as view updating, materialized view maintenance, integrity constraints checking, integrity constraints maintenance, repairing inconsistent databases, integrity constraints satisfiability or condition monitoring. Moreover, these interpretations allow us to identify and to specify sorne problems that have received little attention up to now like enforcing or preventing condition activation. By considering only a uniqu~ set of rules for specifying all these problems, we want to show that it is possible to provide general methods able to deal with all these problems as a whole.
CitationTeniente López, E.; Urpí Tubella, A. A common framework for classifying and specifying deductive database updating problems. A: "Proceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994, p. 135-158. 
URIhttp://hdl.handle.net/2117/375792
Collections
  • Workshop on the Deductive Approach to Information Systems and Databases - [5] Fifth International Workshop on the Deductive Approach to Information Systems and Databases: Aiguablava, Costa Brava (Catalonia). September 19-21, 1994 [17]
  View UPCommons Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
5DAISD_08_A common framework for .pdf1,655MbPDFView/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