Logical updating of object class structures

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


We consider Object Oriented schemas supporting isa relationships and multiple inheritance extended with features from semantic modeling such as disjointness of classes and class intersection inclusion into other classes as well as negations of these statements. We provide an advisor that supplies the user with possible update alternatives when trying to modify the schema. Formally we investigate the problem of updating object class structures formalized as first order monadic theories. We show the problem to be co-NP-complete in general. Based on a formal system, we provide incremental update algorithms. By introducing a rule-goal (hyper)graph, non-trivial conditions are presented in different cases which guarantee the problem’s reduction to the polynomial level.

Original languageEnglish (US)
Title of host publicationDeductive and Object-Oriented Databases - 5th International Conference, DOOD 1997, Proceedings
EditorsFrancois Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao
PublisherSpringer Verlag
Number of pages17
ISBN (Print)3540637923, 9783540637929
StatePublished - 1997
Externally publishedYes
Event5th International Conference on Deductive and Object-Oriented Databases, DOOD 1997 - Montreux, Switzerland
Duration: Dec 8 1997Dec 12 1997

Publication series

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


Other5th International Conference on Deductive and Object-Oriented Databases, DOOD 1997

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


  • Algorithms
  • Complexity
  • Incremental updating
  • Logic
  • Monadic theory
  • Object class structure


Dive into the research topics of 'Logical updating of object class structures'. Together they form a unique fingerprint.

Cite this