Deductive object oriented schemas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations


Current Object Oriented (OO) Database schema structures allow isa relationships and multiple inheritance. We extend these structures with features from semantic modelling that are not traditionally supported by OO schemas: disjointness of classes and class intersection inclusion into other classes as well as negations of these statements. Formally we represent schemas as sets of first order monadic formulas. We provide a formal system for schemas that is sound and complete both for finite and unrestricted implications. Based on it and on well known algorithms we show that checking formula deduction is polynomial. Consistency is characterized completely in two alternative ways in terms of formula deduction. We show that these results allow us to deal efficiently with the issues of incremental/ intelligent consistency checking, redundancy removal, minimal representation and updating in OO schemas.

Original languageEnglish (US)
Title of host publicationConceptual Modeling, ER 1996 - 15th International Conference on Conceptual Modeling, Proceedings
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783540617846
StatePublished - 1996
Externally publishedYes
Event15th International Conference on Conceptual Modeling, ER 1996 - Cottbus, Germany
Duration: Oct 7 1996Oct 10 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1157 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other15th International Conference on Conceptual Modeling, ER 1996

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


  • Axiomatization
  • Consistency
  • Deduction
  • First order theory
  • Object class structures


Dive into the research topics of 'Deductive object oriented schemas'. Together they form a unique fingerprint.

Cite this