Show simple item record

dc.contributor.authorPastor Collado, Juan Antonio
dc.date.accessioned2022-11-07T15:06:58Z
dc.date.available2022-11-07T15:06:58Z
dc.date.issued1994
dc.identifier.citationPastor Collado, J.A. Extending the synthesis of update transaction programs to handle existential rules in deductive databases. 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. 189-218.
dc.identifier.urihttp://hdl.handle.net/2117/375795
dc.description.abstractWe propose a new method for generating consistency-preserving transaction programs for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and intemal events rules, which explicitly define the database dynamic behaviour in front of a database update. At transaction-design-time, a formal procedure can use these rules to automatically generate parameterised transaction programs for base or view-update transaction requests. This is done in such a way that those transactions will never take the database into an inconsistent state. In this paper we extend a previous version of the method by incorporating existentially defined rules. Within this context, synthesis outputs and processes are provided. Toe method, implemented in Prolog using meta-programming techniques, draws from our previous work in deductive databases, particularly in view updating and integrity constraints checking.
dc.format.extent30 p.
dc.languageAnglès
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.rightsOpen access
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.lcshInformation storage and retrieval systems
dc.subject.lcshManagement information systems
dc.subject.lcshDeductive databases
dc.subject.otherdeductive databases
dc.subject.otherdatabase software synthesis
dc.subject.othertransaction synthesis
dc.subject.otherview updating
dc.subject.otherintegrity checking
dc.subject.otherintegrity enforcement
dc.titleExtending the synthesis of update transaction programs to handle existential rules in deductive databases
dc.typeConference report
dc.subject.lemacSistemes d'informació per a la gestió
dc.subject.lemacBases de dades
dc.subject.lemacBases de dades deductives
dc.subject.lemacInformació -- Sistemes d'emmagatzematge i recuperació
dc.rights.accessOpen Access
local.citation.publicationNameProceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases
local.citation.startingPage189
local.citation.endingPage218


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record