Abstract
The same universe of discourse (UoD) may be described in different ways, even when the same knowledge representation method is used. For tasks such as schema optimization and integration it is useful to be able to formally compare different UoD descriptions, and transform one description into others. Most attempts to achieve these objectives have lacked power (e.g. by ignoring various constraint categories) and have dealt only indirectly with the facts relevant to the application (e.g. normalization theory). This paper discusses a knowledge transformation method based on the author's formalization of, and extensions to, the fact-based modelling approach known as NIAM (Nijssen's Information Analysis Method). The formalization in predicate logic enables schema equivalence and implication to be dealt with rigorously, using conservative extensions of the UoD descriptions involved. The resulting theorems are exploited in transformation strategies for optimizing a conceptual schema before mapping it to a relational database schema. This paper provides an overview of the underlying theory, presents some new examples of its application, and briefly indicates how the results may be adapted for use with EER (Enhanced Entity Relationship) modelling.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Amikam, A. 1985, ‘On the Automatic Generation of Optimal Internal Schemata', Inform. Systems, vol. 10, no. 1, Pergamon, pp. 37–45.
Beeri, C. & Kifer, M. 1986, ‘An Integrated Approach to Logical Design of Relational Database Schemes', ACM TODS, vol. 11, no. 2, pp. 134–158.
Chang, C.C. & Keisler, H.J. 1977, Model Theory, 2nd edn, North-Holland Publishing Co., Amsterdam.
D'Atri, A. & Sacca, D. 1984, ‘Equivalence and Mapping of Database Schemas', Proc. 10th Int. Conf. on Very large Databases, VLDB, Singapore, pp. 187–95.
Diederich, J. & Milton, J. 1988, ‘New Methods and Fast Algorithms for Database Normalization', ACM TODS, vol. 13, no. 3, pp. 339–365.
Elmasri, R. & Navathe, S.B. 1989, Fundamentals of Database Systems, Benjamin Cummings, Redwood City CA.
Falkenberg, E.D. 1988, ‘Deterministic Entity Relationship Modelling', discussion paper for FRISCO workshop.
Halpin, T.A. 1989a, ‘A Logical Analysis of Information Systems: static aspects of the data-oriented perspective', PhD thesis, University of Queensland.
Halpin, T.A. 1989b, ‘Contextual Equivalence of Conceptual Schemas', Proc. Advanced Database Systems Symposium, Info. Processing Soc. of Japan, Kyoto, pp. 47–54.
Halpin, T.A. 1990a, ‘Conceptual Schemas and Relational Databases', Databases in the 1990s: Proc. of Australian Database Research Conf., eds B. Srinivasan & J. Zeleznikov, World Scientific, Singapore, pp. 45–56.
Halpin, T.A. 1990b, ‘Conceptual Schema Optimization', Proceedings of 13th Australian Computer Science Conference, Monash University, Melbourne.
Halpin, T.A. 1991, ‘Optimizing global conceptual schemas', Proc. Australian Database and Information Systems Conference, eds B. Srinivasan & J. Zeleznikov, Sydney (to be republished in hard cover by World Scientific, Singapore).
ISO 1982, Concepts and Terminology for the Conceptual Schema and the Information Base, ed. J.J. van Griethuysen, ISO TC97/SC5/WG3, Eindhoven.
Kobayashi, I. 1986, ‘Losslessness and semantic correctness of database schema transformation: another look at schema equivalence', Inform. Systems, vol. 11, no. 1, Pergamon Press, pp. 41–59
Kobayashi, I. 1990, ‘Transformation and equivalence among predicate systems', Proc. French-Japanese Seminar on Deductive Databases and Artificial Intelligence, INRIN Sophia-Antipolis, June 1990.
Nijssen, G.M. & Halpin, T.A. 1989, Conceptual Schema and Relational Database Design, Prentice Hall, Sydney.
Olle, T.W., Hagelstein, J., Macdonald, I.G., Rolland, C., Sol, H.G., Van Assche, F.J.M. & Verrijn-Stuart, A.A. 1988, Information Systems Methodologies — A Framework for Understanding, Addison-Wesley, Workingham, England.
Rennie, M.K. & Girle, R.A. 1973, Logic: Theory and Practice, University of Queensland Press, Brisbane.
Teorey, T.J., Yang, D. & Fry, J.P. 1986, ‘A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model', ACM Computing Surveys, vol 18, no. 2, pp. 197–222.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Halpin, T. (1991). A fact-oriented approach to schema transformation. In: Thalheim, B., Demetrovics, J., Gerhardt, H.D. (eds) MFDBS 91. MFDBS 1991. Lecture Notes in Computer Science, vol 495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54009-1_24
Download citation
DOI: https://doi.org/10.1007/3-540-54009-1_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54009-0
Online ISBN: 978-3-540-47348-0
eBook Packages: Springer Book Archive