Title :
On complex type hierarchy
Author :
Miura, Takao ; Shioya, Isamu
Author_Institution :
Sanno Coll., Kanagawa, Japan
Abstract :
Discusses the theoretical foundation for type hierarchy of complex objects to extend modelling concepts, semantics and constraints. Complex objects consist of entities and data-structure instances. We assume general constructions of data structures, i.e. not only sets and tuples but any structuring operators are allowed. Our discussion uses an instance-based data model. Since there may be infinite complex type information to each instance, we explore a simplified description in such a way that type schemes contain only least-general types. The heart of our approach exists in the semantic orders of complex objects
Keywords :
abstract data types; data structures; database theory; object-oriented databases; type theory; complex objects; complex type hierarchy; constraints; data-structure instances; entities; instance-based data model; least-general types; modelling concepts; semantics; sets; structuring operators; tuples; type schemes; Data models; Data structures; Databases; Heart; Instruction sets; Object oriented modeling; Solid modeling;
Conference_Titel :
Knowledge and Data Engineering Exchange Workshop, 1997. Proceedings
Conference_Location :
Newport Beach, CA
Print_ISBN :
0-8186-8230-2
DOI :
10.1109/KDEX.1997.629861
