A type system for object-oriented database programming and querying languages
Yves Caseau, Laurent Perron · 1992
In this paper we present an extended type system for an object-oriented database language, based uniquely on the set interpretation of object classes. We show that this system has the same expressive power as more complex approaches and is well suited to type inference for programming or querying database languages. 1. Introduction A lot of work has been done to provide object-oriented systems with types that would permit efficient compilation. On the theoretical side, variant records have been added to polymorphic type systems to allow object-oriented forms of programming [Car88][Car89][Mit90]. On the practical side, complex object models have been developed to improve compilation [Wan87][Red88][CHC90][GJ90]. The database community has proposed some powerful type systems to manage complex objects with associated compiling and optimization techniques [Ku85][SZ87][Ja89][AK89]. Investigations to merge logic and objects have also produced interesting type systems [Ait86][GM86][KL89]. How...