Show simple item record

dc.contributor.authorPacheco Silva, María Amelia
dc.contributor.authorSancho Samsó, María Ribera
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.identifier.citationPacheco, M., Sancho, Maria-Ribera. "Transformación de restricciones de integridad dinámicas definidas hacia el futuro en una forma definida hacia el pasado". 1996.
dc.description.abstractDynamic integrity constraints (DIC) have been represented either as past-directed formulas or as future-directed formulas. This work, inscribed in the scope of the Deductive Conceptual Models of information systems, is an effort to prove the equivalence of these two kinds of formulas. Our work proposes a method that transforms any DIC specified through a future-directed formula into an equivalent past-directed formula. This method deals with the integrity constraints defined by a first-order logic language with explicit time that have the form of a denial. The method is based on the construction of time graphs to represent the temporal sequence of the facts presented in a formula. The first step consists in representing the initial formula defined in future tense by means of a time graph. Next a new time graph in a reverse temporal interpretation is constructed. Finally starting from this new graph the method generates a past-directed formula to represent the initial integrity constraint.
dc.format.extent54 p.
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.otherDynamic integrity constraints
dc.subject.otherDeductive conceptual models
dc.subject.otherInformation systems
dc.titleTransformación de restricciones de integridad dinámicas definidas hacia el futuro en una forma definida hacia el pasado
dc.typeExternal research report
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.rights.accessOpen Access
dc.description.versionPostprint (published version)
upcommons.citation.authorPacheco, M.; Sancho, Maria-Ribera

Files in this item


This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder