Blog
About

163
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Union-Types in Object-Oriented Schemas

      Proceedings of the Fifth International Workshop on Database Programming Languages (DBPL-5)

      Database Programming Languages

      6-8 September 1995

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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.

          Related collections

          Most cited references 8

          • Record: found
          • Abstract: not found
          • Article: not found

          Intersection and Union Types: Syntax and Semantics

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A semantics of multiple inheritance

             Luca Cardelli (1988)
              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              Type checking records and variants in a natural extension of ML

               D REMY,  D Remy (1989)
                Bookmark

                Author and article information

                Contributors
                Conference
                September 1995
                September 1995
                : 1-12
                Affiliations
                Dept. of Math. and Comp. Science

                Eindhoven University of Technology

                PO box 513, 5600 MB Eindhoven
                Article
                10.14236/ewic/DBPL1995.13
                © Jan Hidders. Published by BCS Learning and Development Ltd. Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                Proceedings of the Fifth International Workshop on Database Programming Languages
                DBPL-5
                5
                Gubbio, Umbria, Italy
                6-8 September 1995
                Electronic Workshops in Computing (eWiC)
                Database Programming Languages
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article