Abstract
The p-type data model was designed first to answer database needs. Some of its features were and still are quite unusual for a DBMS and, by some aspects, make it nearer Description Logic (DL) systems than classical DBMS. Views play a central role in the model. They are defined in a hierarchical manner, with constraints on role (attribute) types as in DLs, and instance classification (view recognition) is a basic mechanism in p-type implementation by the Osiris system.
In this paper we recall the main characteristics of p-types and their semantics as a DL system. We insist on the modelling of unknown values, whose treatment leads to a three-value instance classification system. We develop database specific aspects and particularly the partitioning of the object space and its use for the management of data.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ANSI/ X3/ SPARC Study group on database management systems. Interim report, ACM SiGMOD Bulletin 7,N2, 1975.
L. Bellatreche, Utilisation des Vues Matérialisées, des Index et de la Fragmentation dans la Conception d’un Entrepôt de Données, Thèse d’Université, Université Blaise Pascal, Clermont-Ferrand, France, Dec. 2000.
Beneventano, Bergamaschi, Lodi, Sartori, Using subsumption in semantic query optimization, IJCAI Workshop on object based representation systems, Août 1993.
Buchheit, Domini, Nutt, Schaerf, A refined architecture for terminological systems: terminology = schema + views, Artificial Intelligence, Vol 99, 1998.
Diego Calvanese, Finite Model Reasoning in Description Logics, in Proceedings of Knowledge Representation 1996.
Domini, Lenzerini, Nardi, Schaerf, Reasoning in description logics, Principles of Knowledge Representation, pp. 191–236, CSLI Publications, 1996.
A. Sales, Types abstraits et bases de données, Thèse, Université scientifique et médicale de Grenoble,1984.
A. Simonet, M. Simonet, Objects with Views and Constraints: from Databases to Knowledge Bases, Object-Oriented Information Systems OOIS’94-London, Springer Verlag, pp 182–197, Dec. 1994.
A. Simonet, Les P-TYPES: un modèle pour la définition de bases de connaissances centrées-objets cohérentes, R.R. 751-I laboratoire Artemis, Grenoble, Novembre 1988.
A. Simonet, M. Simonet, C.G. Bassolet, X. Delannoy, R. Hamadi, Static Classification Schemes for an Object System, In: FLAIRS-98, 11th Int. FLorida Artificial Intelligence Research Society Conference, AAAI Press, pp 254–258, May 1998.
M. Roger, Requâtes dans un SGBD-BC de type objet avec vues, Rapport de Dea, UFR IMA, Grenoble, 1999.
M. Roger, A. Simonet and M Simonet, A Description Logics-like Model for a Knowledge and Data Management System, in DEXA 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roger, M., Simonet, A., Simonet, M. (2001). Object Space Partitioning in a DL-Like Database and Knowledge Base Management System. In: Mayr, H.C., Lazansky, J., Quirchmayr, G., Vogel, P. (eds) Database and Expert Systems Applications. DEXA 2001. Lecture Notes in Computer Science, vol 2113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44759-8_31
Download citation
DOI: https://doi.org/10.1007/3-540-44759-8_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42527-4
Online ISBN: 978-3-540-44759-7
eBook Packages: Springer Book Archive