University of Alb erta
Typ e System for an Ob ject Oriented
Database Programming Language
by
Yuri Leontiev
Technical Rep ort TR
Octob er
DEPARTMENT OF COMPUTING SCIENCE
University of Alb erta
Edmonton Alb erta Canada
University of Alb erta
Type System for an Object Oriented
Database Programming Language
by
Yuri Leontiev
A thesis submitted to the Faculty of Graduate Studies and Research in partial ful llment of the
requirements for the degree of Do ctor of Philosophy
Department of Computing Science
Edmonton Alb erta
Fall
Tomy parents Vladimir Vasilievitch Leontiev and Alla Davidovna Leontieva
Abstract
The concept of an ob ject oriented database programming language OODBPL is app ealing b ecause
it has the p otential of combining the advantages of ob ject orientation and database programming
to yield a p owerful and universal programming language design
A uniform and consistent combination of ob ject orientation and database programming how
ever is not straightforward Since one of the main comp onents of an ob ject oriented programming
language is its typ e system one of the rst problems that arise during an OODBPL design is related
to the development of a uniform consistent and theoretically sound typ e system that is su ciently
expressive to satisfy the combined needs of ob ject orientation and database programming
This dissertation presents the design of a typ e system suitable for ob ject oriented database
programming Thetyp e system has a unique combination of uniformity expressibility veri ability
and theoretically proven soundness It also p ossesses features that make it suitable for database
programming such as seamless integration of imp erativetyp es and features precise query typing
via union and intersection typ es separation among three abstraction layers providing a high degree
of co de reuse parametric p olymorphism extensibility and dynamic typ e analysis capabilities
In the pro cess of typ e system development a theoretical framework for dealing with typ e systems
that combine parametric and inclusion p olymorphism is established Due to its mo dular construc
tion this framework can b e easily extended and used b eyond the scop e of this dissertation Another
contribution of this work is an extensive analysis of existing and prop osed typ e systems from the
p oint of view of the set of requirements related to ob ject orientation and database programming
This research leads to the development of a uniform and theoretically sound OODBPL that
can successfully utilize the p ower inherent in b oth ob ject orientation and database programming
paradigms This will eventually lead to the development and implementation of a uniform ob ject
oriented database system that will use the OODBPL as its main programming and query engine
Acknowledgements