@inproceedings{11d82677744340349c74b86f422e9093,
title = "Deductive object oriented schemas",
abstract = "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.",
keywords = "Axiomatization, Consistency, Deduction, First order theory, Object class structures",
author = "Dimitri Theodoratos",
year = "1996",
doi = "10.1007/bfb0019915",
language = "English (US)",
isbn = "9783540617846",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "58--72",
booktitle = "Conceptual Modeling, ER 1996 - 15th International Conference on Conceptual Modeling, Proceedings",
address = "Germany",
note = "15th International Conference on Conceptual Modeling, ER 1996 ; Conference date: 07-10-1996 Through 10-10-1996",
}