Skip to main content
SpringerLink
Log in

A Formal Approach to the Design of Distributed Data Warehouses

  • Conference paper
Computational Science and Its Applications – ICCSA 2005 (ICCSA 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3481))

Included in the following conference series:

  • 1622 Accesses

Abstract

Data warehouses provide data for on-line analytical processing (OLAP) systems, which deal with analytical tasks in businesses. As these tasks do not depend on the latest updates by transactions, the input from operational databases is separated from the outputs to dialogue interfaces for OLAP. In this paper a layered formal specification for data warehouses and OLAP systems using Abstract State Machines (ASMs) is presented. The approach explicitly exploits the fundamental idea of separating input from operational databases and output to OLAP systems. Then it will be shown how this specification can be extended to distributed data warehouses.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)

    Book  Google Scholar 

  2. Inmon, W.: Building the Data Warehouse. Wiley & Sons, New York (1996)

    Google Scholar 

  3. Kimball, R.: The Data Warehouse Toolkit. John Wiley & Sons, Chichester (1996)

    Google Scholar 

  4. Lewerenz, J., Schewe, K.-D., Thalheim, B.: Modelling data warehouses and OLAP applications by means of dialogue objects. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds.) ER 1999. LNCS, vol. 1728, pp. 354–368. Springer, Heidelberg (1999)

    Google Scholar 

  5. Ma, H., Schewe, K.-D., Zhao, J.: Cost optimisation for distributed data warehouses. In: Proc. HICSS 2005 (2005)

    Google Scholar 

  6. Özsu, T., Valduriez, P.: Principles of Distributed Database Systems. Prentice-Hall, Englewood Cliffs (1999)

    Google Scholar 

  7. Schewe, K.-D., Schewe, B.: Integrating database and dialogue design. Knowledge and Information Systems 2(1), 1–32 (2000)

    Article  MATH  Google Scholar 

  8. Schewe, K.-D., Zhao, J.: Balancing redundancy and query costs in distributed data warehouses – an approach based on abstract state machines. In: Hartmann, S., Stumptner, M. (eds.) Conceptual Modelling 2005 – Second Asia-Pacific Conference on Conceptual Modelling. CRPIT, vol. 43, pp. 97–105. Australian Computer Society (2005)

    Google Scholar 

  9. Thomson, E.: OLAP Solutions: Building Multidimensional Information Systems. John Wiley & Sonps, New York (2002)

    Google Scholar 

  10. Zhao, J., Ma, H.: ASM-based design of data warehouses and on-line analytical processing systems. Tech. Rep. 10/2004, Massey University, Department of Information Systems (2004) (submitted for publication )

    Google Scholar 

  11. Zhao, J., Schewe, K.-D.: Using abstract state machines for distributed data warehouse design. In: Hartmann, S., Roddick, J. (eds.) Conceptual Modelling 2004 – First Asia-Pacific Conference on Conceptual Modelling, Dunedin, New Zealand. CRPIT, vol. 31, pp. 49–58. Australian Computer Society (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Systems &, Information Science Research Centre, Massey University, Private Bag 11 222, Palmerston North, New Zealand

    Jane Zhao

Authors
  1. Jane Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science, University of Perugia, via Vanvitelli, 1, I-06123, Perugia, Italy

    Osvaldo Gervasi

  2. Department of Computer Science, University of Calgary, 2500 University Drive N.W., T2N 1N4, Calgary, AB, Canada

    Marina L. Gavrilova

  3. William Norris Professor, Head of the Computer Science and Engineering Department, University of Minnesota, USA

    Vipin Kumar

  4. Department of Chemistry, University of Perugia, Via Elce di Sotto, 8, P.O. Box, I-06123, Perugia, Italy

    Antonio Laganà

  5. Institute of High Performance Computing, IHCP, 1 Science Park Road, 01-01 The Capricorn, Singapore Science Park II, 117528, Singapore

    Heow Pueh Lee

  6. School of Computing, Soongsil University, Seoul, Korea

    Youngsong Mun

  7. Clayton School of IT, Monash University, 3800, Clayton, Australia

    David Taniar

  8. OptimaNumerics Ltd, P.O. Box, Belfast, United Kingdom

    Chih Jeng Kenneth Tan

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhao, J. (2005). A Formal Approach to the Design of Distributed Data Warehouses. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2005. ICCSA 2005. Lecture Notes in Computer Science, vol 3481. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11424826_131

Download citation

  • DOI: https://doi.org/10.1007/11424826_131

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25861-2

  • Online ISBN: 978-3-540-32044-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation