Modelling Database Views with Derived Classes in the UML/OCL-Framework

One of the central notions in database modelling is the notion of a database view. A database view closely corresponds to the notion of derived class in UML. This paper will show how the notion of a relational database view can be correctly expressed as a derived class in UML/OCL (version 2.0). A central part of our investigation concerns the generality of our manner of representing relational views in OCL. Since, in general terms, a database view closely corresponds to the notion of a named query, an important problem that we address in our paper is the expressiveness of OCL as a query language. In particular, we will discuss the relational completeness of OCL (w.r.t the relational algebra). We will show that OCL (version 2.0) is relationally complete in a minimal sense, but not in a (desired) maximal sense. As a consequence, we will argue for certain language extensions in OCL in order to achieve that OCL is maximally relationally complete.

[1]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[2]  H. Balsters,et al.  Sets and constraints in an object-oriented data model , 1990 .

[3]  Herman Balsters,et al.  A Semantics of Object-Oriented Sets , 1992, DBPL.

[4]  Herman Balsters,et al.  Typed Sets as a Basis for Object-Oriented Database Schemas , 1993, ECOOP.

[5]  Herman Balsters,et al.  Automatic Verification of Transactions on an Object-Oriented Database , 1997, DBPL.

[6]  Martin Gogolla,et al.  On Constraints and Queries in UML , 1997, UML Workshop.

[7]  Michael R. Blaha,et al.  Object-Oriented Modeling and Design for Database Applications , 1997 .

[8]  Jos Warmer,et al.  The object constraint language , 1998 .

[9]  S. Anderson,et al.  Secure Synthesis of Code: A Process Improvement Experiment , 1999, World Congress on Formal Methods.

[10]  Luis Mandel,et al.  On the Expressive Power of OCL , 1999, World Congress on Formal Methods.

[11]  Heinrich Hußmann,et al.  Using UML/OCL Constraints for Relational Database Design , 1999, UML.

[12]  Heinrich Hußmann,et al.  OCL as a Specification Language for Business Rules in Database Applications , 2001, UML.

[13]  Behzad Bordbar,et al.  On Querying UML Data Models with OCL , 2001, UML.

[14]  Bernhard Rumpe,et al.  «UML»’99 — The Unified Modeling Language , 2003, Lecture Notes in Computer Science.

[15]  Connolly,et al.  Database Systems , 2004 .

[16]  Stéphane Bressan,et al.  Introduction to Database Systems , 2005 .