Coupling the Complex-Relational Data Base CoReDB with the Object Management System OMS

  • Thomas Bode
  • Armin B. Cremers
  • Jürgen Freitag
  • Thomas Lemke


The CoReDB/OMS approach consequently integrates mechanisms to handle very large logic programs in a data base system.

CoReDB extends the relational model by introducing two new attribute types. The model supports variables in terms and offers a unification operator at the database level. The complexity of the relational operators is enriched to manipulate terms. CoReDB is currently implemented as a main memory oriented system.

The object management system OMS supports complex objects and is extensible by new data types. Both features are considered important when choosing an efficient DBMS backend for CoReDB.

This paper describes a first CoReDB/OMS prototype, which joins the two approaches in a uniform database system.


Boolean Function Logic Program Logic Programming Complex Object Secondary Storage 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Th. Bode, J. Freitag: Mapping Complex Objects to Secondary Storage in the Object Management System OMS. Technical Report.Google Scholar
  2. [2]
    M. J. Carey, D. J. DeWitt, D. Frank, G. Graefe, M. Muralikrishna, J. E. Richardson, E. J. Shektia: The Architecture of the EXODUS Extensible DBMS. In: Proc. International Workshop on Object-Oriented Database Systems, 1986.Google Scholar
  3. [3]
    Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. In: IEEE Transactions on Knowledge and Data Engineering 2, 1 (March 1990 ), pp. 76–90.Google Scholar
  4. [4]
    U. Dayal, F. Manola, A. Buchmann, U. Chakavarthy, D. Goldhirsch, S. Heiler, J. Orenstein, A. Rosenthal: Simplifying Complex Objects: The PROBE Approach to Modelling and Querying Them. In: Proc. BTW 1987.Google Scholar
  5. [5]
    T. Härder:The PRIMA Project - Design and Implementation of a Non-Standard Database System. Universitat Kaiserslautern, SFB 124, Report No. 26/88, 1988.Google Scholar
  6. [6]
    L M. Haas, H.-J. Schek, P.M. Schwarz, P.F. Wilms: Incorporating Dsta Types in an Extensible Database Architecture. In: Proc. Int. Conf. on Data and Knowledge Bases 1988.Google Scholar
  7. [7]
    Günter Kniesel: Compilation of Logical Programs for Parallel Set Oriented Evaluation in Distributed Knowledge Based Systems. (in german). Diploma thesis, University of Dortmund, Department of Computer Science V I 1988.Google Scholar
  8. [8]
    Thomas Lemke: The Complex-Relational Data Model. Technical report, manuscript in preparation.Google Scholar
  9. [9]
    V. Linnemann, K. Küspert, P. Dadam, P. Pistor, R. Erbe, A. Kemper, G. Walch, M. Wallrath: Design and Implementation of an Extensible Database Management System Supporting User Defined Types and Functions. In: Proc. VLDB 1988.Google Scholar
  10. [10]
    J.W. Lloyd: Foundations of Logic Programming. Berlin, Heidelberg, New York, Tokyo: Springer-Verlag 1984.Google Scholar
  11. [11]
    B. Lindsay, J. McPherson, H. Pirahesh: A Data Management Extension Architecture. In: Proc. SIGMOD 1987, San Francisco, May 1987.Google Scholar
  12. [12]
    Th. Ludwig, B. Walter, M. Ley, A. Maier, E. Gehlen: LILOG-DB: Database Support for Knowledge-Based System. In: Proc. BTW 1989.Google Scholar
  13. [13]
    Alberto Martelli, Ugo Montanans: An Efficient Unification Algorithm. In: ACM Transactions on Programming Languages and Systems 4, 2 (April 1982 ), pp. 258–282.Google Scholar
  14. [14]
    L. A. Rowe, M. R. Stonebraker: The POSTGRES Data Model. In: P roc. VLDB 1987.Google Scholar
  15. [15]
    Petra Schöfer, Thomas Lemke: Design and Implementation of a Data Model for the Representation of Complex Objects in Relations. (in german). Diploma Thesis. University of Dortmund, Department of Computer Science VI, 1988. Submitted for publication.Google Scholar
  16. [16]
    Shalom Tsur, Carlo Zaniolo: LDL–A Logic-Based Data-Language. In: Yahiko Kambayashi (ed.): Twelfth International Conference on Very Large Data Bases. Proceedings. Kyoto, 1986. pp. 33–41.Google Scholar
  17. [17]
    Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. In: A. Pirotte, Y. Vassiliou (eds.): Eleventh International Conference on Very Large Data Bases. Proceedings. Stockholm, 1985. pp. 167–178.Google Scholar

Copyright information

© Springer-Verlag/Wien 1990

Authors and Affiliations

  • Thomas Bode
    • 1
  • Armin B. Cremers
    • 1
  • Jürgen Freitag
    • 1
  • Thomas Lemke
    • 1
  1. 1.Department of Computer Science VIUniversity of DortmundDortmund 50Federal Republic of Germany

Personalised recommendations