Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Correctly typing objects through subtyping and type interference

: Wu, X.


Berghel, H. ; Association for Computing Machinery -ACM-, Special Interest Group on Applied Computing -SIGAPP-:
Applied computing. Technological challenges of the 1990's. Proceedings of the 1992 ACM/SIGAPP Symposium. Vol.2
New York: ACM Press, 1992
ISBN: 0-89791-502-X
Computer Science Conference (CSC) <20, 1992, Kansas City/Mo.>
Symposium on Applied Computing (SAC) <1992, Kansas City/Mo.>
Conference Paper
Fraunhofer ISST ()
object-oriented database system; static type checking; strong typing; subtyping

In this paper we present a type system with strong typing and static type checking that is not yet well supported in most existing object-oriented database systems. Using a partial ordering defined on type structures and on methods associated to types, we define a subtyping rule 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.