Towards transformation of integrity constraints and database states

Proceedings - International Workshop on Database and Expert Systems Applications, DEXA

Volumn 2006, Issue , 2005, Pages 823-828

  Büttner, Fabian ^a   Bauerdick, Hanna ^a   Gogolla, Martin ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

Cardinality constraint; Constraint transformation; Integrity constraint; OCL; Schema transformation; UML

Indexed keywords

CARDINALITY CONSTRAINT; CONSTRAINT TRANSFORMATION; OCL; SCHEMA TRANSFORMATION; UML;

CONSTRAINT THEORY; EXPERT SYSTEMS; INTEGRATION; MATHEMATICAL MODELS; SECURITY OF DATA;

DATABASE SYSTEMS;

EID: 33749046311     PISSN: 15294188     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEXA.2005.192     Document Type: Conference Paper

References (21)

1. E. Baralis, S. Ceri, and S. Paraboschi. Declarative Specification of Constraint Maintenance. In ER, pages 205-222, 1994.
2. A. Calì, D. Calvanese, G. D. Giacomo, and M. Lenzerini. A formal framework for reasoning on uml class diagrams. In ISMIS, pages 503-513, 2002.
3. H. Christiansen and D. Martinenghi. Simplification of Database Integrity Constraints Revisited: A Transformational Approach. In LOPSTR, pages 178-197, 2003.
4. E. A. Deba. Towards automation of model transformation. In IFIP Student Forum, pages 155-164, 2004.
5. H. Decker. Translating advanced integrity checking technology to sql. In Database Integrity, pages 203-249. 2002.
6. B. Demuth and H. Hußmann. Using uml/ocl constraints for relational database design. In UML, pages 598-613, 1999.
7. S. Ferg. Cardinality constraints in entity-relationship modeling. In ER, pages 1-30, 1991.
8. P. Godfrey, J. Grant, J. Gryz, and J. Minker. Integrity constraints: Semantics and applications. In Logics for Databases and Information Systems, pages 265-306, 1998.
9. M. Gogolla and M. Richters. Equivalence rules for UML class diagrams. In J. Bézivin and P.-A. Muller, editors, The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, pages 87-96, 1998.
10. M. Gogolla and M. Richters. Expressing UML Class Diagrams Properties with OCL. In T. Clark and J. Warmer, editors, Advances in Object Modelling with the OCL, pages 86-115. Springer, Berlin, LNCS 2263, 2001.
11. M. Gogolla and M. Richters. Development of UML Descriptions with USE. In H. Shafazand and A. M. Tjoa, editors, Proc. 1st Eurasian Conf. Information and Communication Technology (EURASIA'2002), pages 228-238. Springer, Berlin, LNCS 2510, 2002.
12. A. Kleppe, J. Warmer, and W. Bast. MDA Explained. The Practice and Promise of the Model Driven Architecture. Addison-Wesley, 2003.
13. S.-E. Lautemann. An introduction to schema versioning in oodbms. In DEXA Workshop, pages 132-139, 1996.
14. M. Lenzerini and G. Santucci. Cardinality constraints in the entity-relationship model. In ER, pages 529-549, 1983.
15. S. J. Mellor, K. Scott, A. Uhl, and D. Weise. MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley, Boston, 2004.
16. M. Morgenstern. The role of constraints in databases, expert systems, and knowledge representation. In Expert Database Workshop, pages 351-368, 1984.
17. UML 2.0 OCL final adopted specification. Technical report, Object Management Group, 2004.
18. UML 2.0 superstructure final adopted specification. Technical report, Object Management Group, 2004.
19. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
20. J. Whittle. Transformations and software modeling languages: Automating transformations in uml. In UML, pages 227-242, 2002.
21. R. Zicari. A framework for schema updates in an object-oriented database system. In Building an Object-Oriented Database System, The Story of O2, pages 146-182. 1992.