Abstract
Semistructured data has attracted much attention in database research lately. New data models, query languages and systems have been developed. However, very little research has been done on formally defined semantics for the new data models and query languages. As a consequence, some aspects of the meaning of expressions in the database and answers to queries are not completely understood. In this paper we propose a semantics for semistructured data based on a modal logic framework used to give semantics to feature structures. A semistructured database is seen as inducing a certain model, which is then used to evaluate queries posed to the database in a first-order language. The main advantage of this approach is to give a formal basis for analyzing some possibly conflicting views of semistructured data as a model for partial information.
This is a preview of subscription content, log in via an institution to check access.
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
Serge Abiteboul, P. Buneman and D. Suciu Data on the Web: From Relations to Semistructured Data and XML, Morgan Kaufmann, 1999.
Badia, A. A Logical Formalization of Semistructured Data Models, Technical Report, available from http://date.spd.louisville.edu/badia/Research.html.
Badia, A. and Kumar Madria, S. Cooperative Query Answering with Semistructured Data, poster session in DASFAA’2000.
Blackburn, P. Representation, Reasoning, and Relational Structures: A Hybrid Logic Manifesto, Proceedings of the 1st Method for Modalities Workshop, Amsterdam, Areces, C., Franconi, E., Gore R., de Rijke, M., Schlingloff, H., editors. Also in Special Issue of the Logic Journal of the IGPL, to appear.
Buneman, P. and Davidson, S. and Fernandez, M. and Suciu, D., Adding Structure to Unstructured Data, in Proceedings of ICDT, 1997.
Catell, R. G., Object Data Management, Addison-Wesley, 1994.
Chellas, B. Modal Logic: An Introduction, Cambridge University Press, 1980.
Christiansen, H. and Larsen, H.L. and Andreasen, T., Proceedings of the 1996 Workshop on Flexible Query Answering Systems, Roskilde University Center, 1996.
Larsen, H.L. and Andreasen, T., Proceedings of the 1994 Workshop on Flexible Query Answering Systems, Roskilde University Center, 1994.
Gaasterland, T. and Godfrey, P. and Minker, J., An Overview of Cooperative Answering, Journal of Intelligent Information Systems, Kluwer Academic Publishers, 1, 1992
Kanza, Y. and Nutt, W. and Sagiv, Y., Incomplete Answers for Queries over Semistructured Data, Proceedings of KRDB, 1998
Kasper, J., Feature Structures, PhD. thesis, University of Michigan, 1987.
McHugh, J. and Abiteboul, S. and Goldman, R. and Quass, D. and Widom, J., Lore: A Database Management System for Semistructured Data, SIGMOD Record, volume 26, 1997.
Papakonstantinou, Y. and Garcia-Molina, H. and Widom, J., Object Exchange Across Heterogeneous Information Sources, in Proceedings of the 11th International Conference on Data Engineering, 1995.
Special Section on Advanced XML Data Processing, SIGMOD Record, vol. 30, n. 3, September 2001.
Ullman, A. Principles of Database and Knowledge-Base Systems, vol. 1, Computer Science Press, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Badia, A. (2002). A Logical Formalization of Semistructured Data Models. In: Hacid, MS., Raś, Z.W., Zighed, D.A., Kodratoff, Y. (eds) Foundations of Intelligent Systems. ISMIS 2002. Lecture Notes in Computer Science(), vol 2366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48050-1_51
Download citation
DOI: https://doi.org/10.1007/3-540-48050-1_51
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43785-7
Online ISBN: 978-3-540-48050-1
eBook Packages: Springer Book Archive