Abstract
Our goal is to integrate the paradigms of object-oriented structuring and of rule-based specifications for databases. In this paper, we consider hierarchical specifications of objects and object types with attributes defined by logical rules, and we explain their local (single object) semantics as well as their composite (object society) semantics. In order to allow inheritance with exceptions (overriding) even for rules, the defining formulas are interpreted like defaults of different priorities corresponding to levels in the object type hierarchy. Here, minimal model semantics known from default reasoning in artificial intelligence or from database completions can be utilized, but must be modified to respect object-oriented issues, in particular locality. We prove that intended models exist for object and composite specifications under natural conditions, even if general clauses are used as defaults.
This work was partially supported by the CEC under ESPRIT-2 BRA Working Group No. 3023 IS-CORE (Information Systems — COrectness and REusability)
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul: Towards a deductive object-oriented database language. Data & Knowledge Engineering 5 (1990), 263–287.
K. R. Apt, H. A. Blair, A. Walker: Towards a theory of declarative knowledge. In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, 89–148, Morgan Kaufmann Publishers, Los-Altos (Calif.), 1988.
C. Beeri: A formal approach to object-oriented databases. Data & Knowledge Engineering 5 (1990), 353–382.
S. Brass, U. W. Lipeck: Specifying closed world assumptions for logic databases. In J. Demetrovics, B. Thalheim (eds.), Second Symposium on Mathematical Fundamentals of Database Systems (MFDBS'89), 68–84, LNCS 364, Springer-Verlag, Berlin, 1989.
S. Brass, U. W. Lipeck: Generalized bottom-up query evaluation. To appear in Proceedings of EDBT'92 (Extending Database Technology), Springer-Verlag, 1991.
S. Brass: Beginnings of a theory of general database completions. In S. Abiteboul, P. C. Kanellakis (eds.), Third International Conference on Database Theory (ICDT'90), 349–363, LNCS 470, Springer-Verlag, Berlin, 1990.
S. Brass: Deduction under closed world assumptions. Submitted for publication, 1991.
G. Brewka: Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge, 1991.
S. Brass, M. Ryan, U. W. Lipeck: Hierarchical defaults in specifications. In Proceedings of the IS-CORE Workshop, London, September 1991. To appear as Informatik-Bericht, TU Braunschweig.
J. Fiadeiro, T. Maibaum: Describing, structuring, and implementing objects. In J. de Bakker, W. de Roever, G. Rozenberg (eds.), Foundations of Object-Oriented Languages, 1990. To be published by Springer-Verlag, Berlin.
J. Fiadeiro, C. Sernadas, T. Maibaum, G. Saake: Proof-theoretic semantics of objectoriented constructs. In W. Kent, S. Khosla, R. Meersman (eds.), Object-Oriented Databases: Analysis, Design and Construction, 1990. To be published by North-Holland, Amsterdam.
A. Heuer, P. Sander: Semantics and evaluation of rules over complex objects. In W. Kim, J.-M. Nicolas, S. Nishio (eds.), The First International Conference on Deductive and Object-Oriented Databases, Proceedings, 439–458, Kyoto, Japan, 1989.
M. Kifer, G. Lausen: F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In J. Clifford, B. Lindsay, D. Maier (eds.), Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, 134–146, 1989.
W. Kim, J.-M. Nicolas, S. Nishio (eds.): Deductive and Object-Oriented Databases, Proceedings of the First International Conference (DOOD89). North-Holland Publ.Co., Kyoto, Japan, 1990. See also: Special Issue on Deductive and ObjectOriented Databases of Data & Knowledge Engineering 5(4), (Okt. 1990).
V. Lifschitz: On the satisfiability of circumscription. Artificial Intelligence 28 (1986), 17–27.
E. Laenens, D. Vermeir: A fixpoint semantics for ordered logic. Journal of Logic and Computation 1:2 (1990), 159–185.
E. Laenens, D. Vermeir: On the relationship between well-founded and stable partial models. In B. Thalheim, J. Demetrovics, H.-D. Gerhardt (eds.), MFDBS 91 (3rd Symposium on Mathematical Fundamentals of Database Systems), 59–73, LNCS 495, Springer-Verlag, Berlin, 1991.
D. Makinson: General theory of cumulative inference. In Non-Monotonic Reasoning (2nd International Workshop), 1–18, LNAI 346, Springer-Verlag, Berlin, 1989.
J. McCarthy: Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence 28 (1986), 86–116.
T. C. Przymusinski: On the declarative semantics of deductive databases and logic programs. In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, 193–216, Morgan Kaufmann Publishers, Los-Altos (Calif.), 1988.
R. Reiter: On closed world data bases. In H. Gallaire, J. Minker (eds.), Logic and Data Bases, 55–76, Plenum, New York, 1978.
R. Reiter: A logic for default reasoning. Artificial Intelligence 13 (1980), 81–132.
M. Ryan: Defaults and revision in structured theories. In Proceedings of the IEEE Symposium on Logic in Computer Science (LICS'91), 362–373, 1991.
D. S. Touretzky: The Mathematics of Inheritance. Research Notes in Artificial Intelligence. Pitman, London, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brass, S., Lipeck, U.W. (1991). Semantics of inheritance In logical object specifications. In: Delobel, C., Kifer, M., Masunaga, Y. (eds) Deductive and Object-Oriented Databases. DOOD 1991. Lecture Notes in Computer Science, vol 566. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55015-1_22
Download citation
DOI: https://doi.org/10.1007/3-540-55015-1_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55015-0
Online ISBN: 978-3-540-46646-8
eBook Packages: Springer Book Archive