Logical updating of object class structures

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

Abstract

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
Pages158-174
Number of pages17
ISBN (Print)3540637923, 9783540637929
DOIs
StatePublished - Jan 1 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)
Volume1341
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other5th International Conference on Deductive and Object-Oriented Databases, DOOD 1997
CountrySwitzerland
CityMontreux
Period12/8/9712/12/97

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Keywords

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

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

Cite this