Referenced Items are not available for this document.
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
Published in:
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Date of Conference: 11-13 Sep 1991
- Page(s):
- 333 - 338
- Meeting Date :
- 11 Sep 1991-13 Sep 1991
- Print ISBN:
- 0-8186-2152-4
- INSPEC Accession Number:
- 4254311
- Conference Location :
- Tokyo
- Digital Object Identifier :
- 10.1109/CMPSAC.1991.170199
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
