Database Views on KR Classi cation
                   | Abstract |
                                   Marc H. Scholl


                  University of Ulm, Faculty of Computer Science
                              D{89069 Ulm, Germany
                           scholl@informatik.uni-ulm.de

      Abstract. The database models for Object Database Systems (ODBMSs)
      include many modeling concepts that originate in semantic data mod-
      els, that were formerly used for database design purposes, or in (object-
      oriented) programming languages. To some extent, research on data mod-
      els and query languages for such ODB models has already reached a con-
      sensus, not on one particular model or language, but on the core of what
      should be considered furtheron. Other aspects, such as view support for
      example, are less common. We argue that the KL-ONE style termino-
      logical logics can provide a very convenient basis for the integration of
      a exible view mechanism into object databases. KL-ONE de ned con-
      cepts correspond to database views (classes of objects that are derived
      by a qeury expression). Updates to such views can be propagated to
      base classes if the view classes are inserted into the global class(i cation)
      hierarchy. Therefore, object databases need the inference services that
      KL-ONE systems provide (classi cation, subsumption, : : : ). We report
      on the experiences that we gained in the COCOON project, where this
      approach was pursued over the last few years.




This article was processed using the LaTEX macro package with LLNCS style