Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Union-Types in Object-Oriented Schemas

    Database Programming Languages

    Italy. 6th - 8th September 1995


    J. Hidders


    In this paper we investigate union-types in object oriented IQL-like schemas.

    These types can be used to model null values, variant types and generalization classes.

    They make, however, deciding equivalence and subtyping more difficult. We will show that the complexity of these two problems is co-NP-complete and present complete sets of rules for deciding both problems.

    The combination of union-types and multiple inheritance makes it also harder to detect typing-conflicts in a schema.

    We will give an algorithm for deciding this and discuss its complexity. Furthermore, we will present an algorithm for detecting schemas that define types with a bounded number of values.

    Finally, an algorithm will be presented that verifies whether in a schema the type of a subclass specifies options that are forbidden by its superclasses.


    PDF filePDF Version of this Paper (173kb)