Title :
A type system for an object-oriented database system
Author_Institution :
Dept. of Comput. Sci., Dortmund Univ., Germany
Abstract :
A type system is presented with strong typing and static type checking that is not yet well supported in most existing object-oriented database systems. A subtyping rule is defined for correctly structuring the inheritance hierarchy of the types. Based on the subtyping, a number of type inference rules are defined. They can be used by the type system to statically determine the types of the query results and whether a given application program is type correct
Keywords :
data structures; object-oriented databases; inheritance hierarchy; object-oriented database; static type checking; strong typing; type inference rules; type system; Computer science; Data models; Database systems; Dynamic compiler; Inference mechanisms; Iris; Object oriented databases; Object oriented modeling; Prototypes; Runtime;
Conference_Titel :
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Conference_Location :
Tokyo
Print_ISBN :
0-8186-2152-4
DOI :
10.1109/CMPSAC.1991.170199
