Abstract
Expressiveness refers to things said in a description or sayable in a description language. It contributes to the quality of conceptual schemas and justifies the development of new modeling languages. Different notions of expressiveness exist, originating from different fields of computer science. In this paper, a framework is developed that defines different types of expressiveness, integrating the other notions. The framework contains a cardinal measure to assess the expressiveness of both descriptions and description languages.
Chapter PDF
References
Baader, F.: A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. Journal of Logic and Computation 6, 33–54 (1996)
Batini, C., Ceri, S., Navathe, S.B.: Conceptual Database Design, 4th edn. Benjamin Cummings, Redwood City (1992)
Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82, 353–367 (1996)
Braß, S.: Vervollständigungen für Logikdatenbanken. Forschungsbericht 315. Informatik IV, Universität Dortmund (1980)
Cali, A., Calavese, D., De Giacomo, G., Lenzerini, M.: On the Expressive Power of Data Integration Systems. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 338–350. Springer, Heidelberg (2002)
Castano, S., De Antonellis, V., Fugini, M.G., Pernici, B.: Conceptual Schema Analysis: Techniques and Applications. ACM Transactions on Database Systems 23, 286–332 (1998)
Chandra, A.K.: Theory of Database Queries. In: Proceedings of the 7th ACM SIGACTSIGMOD-SIGART Symposium on Principles of Database Systems, pp. 1–9. ACM Press, Austin/Texas (1988)
Chen, P.P.: The Entity-Relationship Model - Toward a Unified View of Data. ACM Transactions on Database Systems 1, 9–36 (1976)
Dogac, A., Chen, P.P.: Entity-Relationship Model in the ANSI/SPARC Framework. In: Chen, P.P. (ed.) Entity-Relationship Approach to Information Modeling and Analysis, pp. 357–374. North-Holland, Amsterdam (1983)
Green, P., Rosemann, M.: Integrated Process Modeling: An Ontological Evaluation. Information Systems 25, 73–87 (2000)
Gregersen, H., Jensen, C.S.: On the Ontological Expressiveness of Temporal Extensions to the Entity-Relationship Model. In: Kouloumdjian, J., Roddick, J., Chen, P.P., Embley, D.W., Liddle, S.W. (eds.) ER Workshops 1999. LNCS, vol. 1727, pp. 110–121. Springer, Heidelberg (1999)
Halpin, T.: Information Modeling and Relational Databases – From Conceptual Analysis to Logical Design. Morgan Kaufmann, San Francisco (2001)
Halpin, T.A., Proper, H.A.: Database Schema Transformation & Optimization. In: Papazoglou, M.P. (ed.) ER 1995 and OOER 1995. LNCS, vol. 1021, pp. 191–203. Springer, Heidelberg (1995)
ISO: Information processing systems - Concepts and terminology for the conceptual schema and the information base. Technical Report 9007. Ort (1987)
Jeavons, P., Cohen, D., Gyssens, M.: How to Determine the Expressive Power of Constraints. Constraints – An International Journal 4, 113–131 (1999)
Joly, S., Le Calvé, G.: Similarity functions. In: Van Cutsem, B. (ed.) Classification and Dissimilarity Analysis, pp. 67–86. Springer, Berlin (1994)
Kung, C.H.: An analysis of three conceptual models with time perspective. In: Olle, T.W., Sol, H.G., Tully, C.J. (eds.) Information Systems Design Methodologies: A Feature Analysis, pp. 141–167. North-Holland, Amsterdam (1983)
Kurtonina, N., de Rijke, M.: Expressiveness of concept expressions in first-order description logics. Artificial Intelligence 107, 303–333 (1999)
Larson, J.A., Navathe, S.B., Elmasri, R.: A Theory of Attribute Equivalence in Databases with Application to Schema Integration. IEEE Transactions on Software Engineering 15, 449–463 (1989)
MacKinlay, J., Genesereth, M.R.: Expressiveness and language choice. Data & Knowledge Engineering 1, 17–29 (1985)
McBrien, P., Poulovassilis, A.: A Formalization of Semantic Schema Integration. Information Systems 23, 307–334 (1998)
Monin, J.-F.: Understanding Formal Methods. Springer, London (2003)
Nebel, B.: Die Ausdrucksstärke von Planungsformalismen: Eine formale Charakterisierung. Künstliche Intelligenz 13, 12–19 (1999)
Reiter, R.: On closed world databases. In: Gaillaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55–76. Plenum, New York (1978)
Sapia, C., Blaschka, M., Höfling, G., Dinter, B.: Extending the E/R Model for the Multidimensional Paradigm. In: Kambayashi, Y., Lee, D.-L., Lim, E.-p., Mohania, M., Masunaga, Y. (eds.) ER Workshops 1998. LNCS, vol. 1552, pp. 105–116. Springer, Heidelberg (1999)
Schäuble, P., Wüthrich, B.: On the Expressive Power of Query Languages. Report 173. Department Informatik, Institut für Informationssysteme, ETH Zürich (1992)
Scheuermann, P., Schiffner, G., Weber, H.: Abstraction Capabilities and Invariant Properties Modelling within the Entity-Relationship Approach. In: Chen, P.P. (ed.) Entity- Relationship Approach to Systems Analysis and Design, pp. 121–140. North-Holland, Amsterdam (1980)
Si-Said Cherfi, S., Akoka, J., Comyn-Wattiau, I.: Conceptual Modeling Quality – From EER to UML Schemas Evolution. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 414–428. Springer, Heidelberg (2002)
Teorey, T.J., Yang, D., Fry, J.P.: A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model. ACM Computing Surveys 18, 197–222 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Patig, S. (2004). Measuring Expressiveness in Conceptual Modeling. In: Persson, A., Stirna, J. (eds) Advanced Information Systems Engineering. CAiSE 2004. Lecture Notes in Computer Science, vol 3084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25975-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-25975-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22151-7
Online ISBN: 978-3-540-25975-6
eBook Packages: Springer Book Archive