A type system for an object-oriented database system
X. Wu · 2002
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.>