@inproceedings{256c40ffb9744b5db708a6ae7395c4a6,
title = "Logical updating of object class structures",
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{\textquoteright}s reduction to the polynomial level.",
keywords = "Algorithms, Complexity, Incremental updating, Logic, Monadic theory, Object class structure",
author = "Dimitri Theodoratos",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 5th International Conference on Deductive and Object-Oriented Databases, DOOD 1997 ; Conference date: 08-12-1997 Through 12-12-1997",
year = "1997",
doi = "10.1007/3-540-63792-3_14",
language = "English (US)",
isbn = "3540637923",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "158--174",
editor = "Francois Bry and Raghu Ramakrishnan and Kotagiri Ramamohanarao",
booktitle = "Deductive and Object-Oriented Databases - 5th International Conference, DOOD 1997, Proceedings",
address = "Germany",
}