MULTI-DIMENSIONAL MODELING - Formal Specification and Verification of the Hierarchy Concept

Ali Salem, Faiza Ghozzi, Hanene Ben-Abdallah

Abstract

The quality of a data mart (DM) tightly depends on the quality of its multidimensional model. This quality dependence motivated several research efforts to define a set of constraints on the DM model/schema. Currently proposed constraints are either incomplete, or informally presented, which may lead to ambiguous interpretations. The work presented in this paper is a first step towards the definition of a formal framework for the specification and the verification of the quality of DM schemas. In this framework, the quality is expressed in terms of both the syntactic well-formedness of the DM schema as well as its semantic soundness with respect to the DM instances. More precisely, this paper first formalizes in Z the constraints pertinent to the hierarchy concept; the formalization is treated at the meta-model level. Secondly, the paper illustrates how the formalization can be instantiated and the constraints are verified for a particular sample model through the theorem prover Z\eves.

References

  1. Abelló A., Samos J., Saltor F. “YAM2: a multidimensional conceptual model extending UML”. Information Systems. Vol 31, p 541-567, 2006 Carpani F., Ruggia R., “An Integrity Constraints Language for a Conceptual Multidimensional Data Model”. In 13th International Conference on Software Engineering & Knowledge Engineering (SEKE'01), Argentina, 2001.
  2. Codd E. F., Codd S.B., Salley C.T., "Providing OLAP (On Line Analytical Processing) to Users-Analysts: An IT Mondate", Rapport technique, E.F. Codd and Associates, 1993.
  3. Franconi E. and Kamble A., “The GMD Data Model and Algebra for Multidimensional Information” Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings.
  4. Ghozzi F., Ravat F., Teste O., Zurfluh G., “Modèle Dimensionnel à Contraintes”. In Revue des Sciences et Technologies de l'Information, Série RIA- ECA, Hermes -Lavoisier, Vol. 17, N. 1-2-3, p.43-56, 2003.
  5. Hurtado C., “Mendelzon A., Reasoning about summarizability in heterogeneous multidimensional schemas”, in: Proc. of the 21st ACM Int. Conf. on Management of Data and Symposium on Principle of Databases Systems, p. 169-179, 2001.
  6. Hurtado C., Mendelzon A., "OLAP Dimension Constraints". In 21st ACM SIGACT-SIGMODSIGART Symposium on Principles of Database Systems (PODS'02), Madison, USA, p. 169-179, 2002.
  7. Kimball R., Ross M., "The Data Warehouse Toolkit", Wiley, New York, 2th edition, 2002.
  8. Lechtenbörger J., Vossen G., "Multidimensional normal forms for data warehouse design". In Revue Information Systems, Vol. 28, N. 5, p. 415-434, 2003.
  9. Lujàn S, Trujillo J., Song, "Extending the UML for Multidimensional Modeling" The Unified Modeling Language: 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings.
  10. Lehner W., Albrecht J., Wedekind H., “Normal forms for multidimensional databases”, in: Proc. of the 10th Int. Conf. on Scientific and Statistical Database Management, p. 63-72, 1998.
  11. Malinowski E., Zimányi E., “OLAP hierarchies: A conceptual perspective”, in: Proc. of the 16th Int. Conf. on Advanced Information Systems Engineering, p. 477-491, 2004.
  12. Prat N., Akoka J., Comyn-Wattiau I., “A UML-based data warehouse design method” Decision Support Systems, Volume 42, Issue 3, p. 1449-1473, 2006
  13. Trujillo J. C., Palomar M., Gómez J., Song:I "Designing Data Warehouses with OO Conceptual Models". In IEEE Computer, Vol. 34, N.12, p. 66- 75, 2001.
  14. Spivey J.M., “The Z Notation : a Reference Manual”. Prentice-Hall, 1992.
  15. Saaltink M.. The Z/EVES 2.0 User's Guide. ORA Canada, OneNicholas Street, Suite 1208, Ottawa (Ontario), K1N 7B7, 1999.
Download


Paper Citation


in Harvard Style

Salem A., Ghozzi F. and Ben-Abdallah H. (2008). MULTI-DIMENSIONAL MODELING - Formal Specification and Verification of the Hierarchy Concept . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-8111-36-4, pages 317-322. DOI: 10.5220/0001712403170322


in Bibtex Style

@conference{iceis08,
author={Ali Salem and Faiza Ghozzi and Hanene Ben-Abdallah},
title={MULTI-DIMENSIONAL MODELING - Formal Specification and Verification of the Hierarchy Concept},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2008},
pages={317-322},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001712403170322},
isbn={978-989-8111-36-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - MULTI-DIMENSIONAL MODELING - Formal Specification and Verification of the Hierarchy Concept
SN - 978-989-8111-36-4
AU - Salem A.
AU - Ghozzi F.
AU - Ben-Abdallah H.
PY - 2008
SP - 317
EP - 322
DO - 10.5220/0001712403170322