Complete Conceptual Schema Algebras

• Autorzy: Ma H. , Noack R. , Schewe K-D. , Thalheim B. , Wang Q.
• Języki publikacji: EN

Abstrakty

EN

A schema algebra comprises operations on database schemata for a given data model. Such algebras are useful in database design as well as in schema integration. In this article we address the necessary theoretical underpinnings by introducing a novel notion of conceptual schema morphism that captures at the same time the conceptual schema and its semantics by means of the set of valid instances. This leads to a category of schemata that is finitely complete and co-complete. This is the basis for a notion of completeness of schema algebras, if it captures all universal constructions in the category of schemata. We exemplify this notion of completeness for a recently introduced particular schema algebra.

Słowa kluczowe

EN

completeness; database design; schema algebra; schema category

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 124, nr 3
• Strony: 271--295
• Opis fizyczny: Bibliogr. 22 poz., wykr.

Twórcy

autor

Ma H.

• School of Engineering and Computer Science, Victoria University of Wellington, New Zealand

autor

Noack R.

• Institute of Computer Science, Christian-Albrechts-University Kiel, Germany

autor

Schewe K-D.

• Software Competence Center Hagenberg, Hagenberg, Austria

autor

Thalheim B.

• Institute of Computer Science, Christian-Albrechts-University Kiel, Germany

autor

Wang Q.

• Research School of Computer Science, The Australian National University, Canberra, Australia

Bibliografia

• [1] Barr, M., Wells, C.: Category Theory for Computing Science, Prentice Hall, 1990.
• [2] Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G., Eds.: Handbook of Graph Grammars and Computing by Graph Transformations - Vol. 2: Applications, Languages and Tools, World Scientific, 1999.
• [3] Hull, R.: Relative Information Capacity of Simple Relational Database Schemata, SIAM Journal of Computing, 15(3), 1986, 856-886.
• [4] Kedad, Z., Metais, E.: Dealing with Semantic Heterogeneity During Data Integration, Conceptual Modeling - ER’99 (J. Akoka, M. Bouzeghoub, I. Comyn-Wattiau, E. Metais, Eds.), LNCS, vol. 1728 of LNCS, Springer-Verlag, 1999, 325-339.
• [5] Koh, J., Chen, A.: Integration of Heterogeneous Object Schemas, in: Entity-Relationship Approach - ER’93 (R. Elmasri, V. Kouramajian, B. Thalheim, Eds.), vol. 823 of LNCS, Springer-Verlag, 1994, 297-314.
• [6] Ma, H., Noack, R., Schewe, K.-D.: Algebraic Meta-Structure Handling of Huge Database Schemata, in: Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops (C. Heuser, G. Pernul, et al., Eds.), vol. 5833 of Lecture Notes in Computer Science, Springer-Verlag, 2009, 12-21.
• [7] Ma, H., Noack, R., Schewe, K.-D., Thalheim, B.: Using Meta-Structures in Database Design, Informatica, 34(3), 2010, 387-403, This paper can be downloaded from http://www.informatica.si/vol34.htmtNo3.
• [8] Ma, H., Schewe, K.-D., Thalheim, B.: Geometrically Enhanced Conceptual Modelling, Conceptual Modeling - ER 2009,28th International Conference on Conceptual Modeling (A. H. F. Laender, et al., Eds.), Lecture Notes in Computer Science, vol. 5829 of Lecture Notes in Computer Science, Springer, 2009, 219-233.
• [9] Ma, H., Schewe, K.-D., Thalheim, B.: Modelling and Maintenance of Very Large Database Schemata Using Meta-Structures, in: Information Systems: Modeling, Development, and Integration - 3rd International Conference UNISCON 2009, Proceedings (J. Yang, A. Ginige, H. C. Mayr, R.-D. Kutsche, Eds.), vol. 20 of LNBIP, Springer-Verlag, 2009, 17-28.
• [10] Ma, H., Schewe, K.-D., Thalheim, B., Zhao, J.: View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems, Journal on Data Semantics, IV, 2005, 213-249.
• [11] Mac Lane, S.: Categories for the Working Mathematician, vol. 5 of Graduate Texts in Mathematics, Springer- Verlag, 1997, Second Edition.
• [12] Moody, D.: Dealing with Complexity: A Practical Method for Representing Large Entity-Relationship Models, Ph.D. Thesis, University of Melbourne, 2001.
• [13] Qian, X.: Correct Schema Transformations, in: Advances in Database Technology - EDBT’96 (P. M. G. Apers, M. Bouzeghoub, G. Gardarin, Eds.), vol. 1057 of LNCS, Springer-Verlag, 1996, 114-126.
• [14] Raak, T.: Database Systems Architecture for Facility Management Systems, Master Thesis, Fachhochschule Lausitz, 2002.
• [15] Schewe, K.-D., Thalheim, B.: Component-Driven Engineering of Database Applications, in: Conceptual Modelling - Proc. APCCM 2006, vol. 53 of CRPIT, Australian Computer Society, 2006, 105-114.
• [16] Sleep, M. R., Plasmeijer, M. J., van Eekelen, M. C. J. D., Eds.: Term Graph Rewriting - Theory and Practice, John Wiley and Sons, 1993.
• [17] Smith, J. M., Smith, D. C. P.: Database Abstractions: Aggregation and Generalization, ACM ToDS, 2(2), 1977, 105-133.
• [18] Spaccapietra, S., Parent, C.: View Integration - A Step Forward in Solving Structural Conflicts, IEEE Transactions on Knowledge and Data Engineering, 6(2), 1994, 258-274.
• [19] Thalheim, B.: Entity Relationship Modeling - Foundations of Database Technology, Springer-Verlag, 2000.
• [20] Thalheim, B.: Component Development and Construction for Database Design, Data and Knowledge Engineering, 54, 2005, 77-95.
• [21] Thalheim, B.: Engineering Database Component Ware, in: Trends in Enterprise Application Architecture, vol. 4473 of LNCS, Springer-Verlag, 2007, 1-15.
• [22] Thalheim, B., Kobienia, T.: Generating Database Queries for Web Natural Language Requests Using Schema Information and Database Content, in: Applications of Natural Language to Information Systems - NLDB 2001, vol. 3 of LNI, GI, 2001, 205-209.