Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Transformación de restricciones de integridad dinámicas definidas hacia el futuro en una forma definida hacia el pasado

Autor
Pacheco, M.; Sancho, Maria-Ribera
Tipus d'activitat
Document cientificotècnic
Data
1996-10
Repositori
http://hdl.handle.net/2117/97293 Obrir en finestra nova
Resum
Dynamic 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 f...
Citació
Pacheco, M., Sancho, Maria-Ribera. "Transformación de restricciones de integridad dinámicas definidas hacia el futuro en una forma definida hacia el pasado". 1996.
Paraules clau
DIC, Deductive conceptual models, Dynamic integrity constraints, Information systems
Grup de recerca
IMP - Information Modeling and Processing

Participants

Arxius