DocumentCode
2614493
Title
A type system for an object-oriented database system
Author
Wu, Xuequn
Author_Institution
Dept. of Comput. Sci., Dortmund Univ., Germany
fYear
1991
fDate
11-13 Sep 1991
Firstpage
333
Lastpage
338
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPSAC.1991.170199
Filename
170199
Link To Document