A formal approach to the design of distributed data warehouses

被引：0
|
作者：
Zhao, J
机构：
[1] Massey Univ, Dept Informat Syst, Palmerston North, New Zealand
[2] Massey Univ, Informat Sci Res Ctr, Palmerston North, New Zealand
来源：
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2005, PT 2 | 2005年 / 3481卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：1235 / 1244
页数：10
相关论文
共 50 条
  • [1] SkipSJoin: A New Physical Design for Distributed Big Data Warehouses in Hadoop
    Ramdane, Yassine
    Kabachi, Nadia
    Boussaid, Omar
    Bentayeb, Fadila
    [J]. CONCEPTUAL MODELING, ER 2019, 2019, 11788 : 255 - 263
  • [2] A Survey of Parallel and Distributed Data Warehouses
    Furtado, Pedro
    [J]. INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING, 2009, 5 (02) : 57 - 77
  • [3] A Joint Design Approach of Partitioning and Allocation in Parallel Data Warehouses
    Bellatreche, Ladjel
    Benkrid, Soumia
    [J]. DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2009, 5691 : 99 - +
  • [4] A requirement-driven approach to the design and evolution of data warehouses
    Jovanovic, Petar
    Romero, Oscar
    Simitsis, Alkis
    Abello, Alberto
    Mayorova, Dania
    [J]. INFORMATION SYSTEMS, 2014, 44 : 94 - 119
  • [5] Summarizing distributed data streams for storage in data warehouses
    Chiky, Raja
    Hebrail, Georges
    [J]. DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2008, 5182 : 65 - 74
  • [6] A formal OLAP algebra for NoSQL based data warehouses
    Banerjee, Shreya
    Bhaskar, Sourabh
    Sarkar, Anirban
    Debnath, Narayan C.
    [J]. Annals of Emerging Technologies in Computing, 2021, 5 (Special issue 5) : 154 - 161
  • [7] Intentional Data Placement Optimization for Distributed Data Warehouses
    Arres, Billel
    Kabachi, Nadia
    Boussaid, Omar
    Bentayeb, Fadila
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2015): BIG DATA ANALYTICS FOR HUMAN-CENTRIC SYSTEMS, 2015, : 80 - 86
  • [8] A meta-model based approach for Data Warehouses design and implementation
    Zepeda, Leopoldo
    Santillan, Luis
    Cecena, Elizabeth
    Manjarrez, Emir
    Vega, Liliana
    Garcia, Clemente
    [J]. 2015 26TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA), 2015, : 212 - 216
  • [9] A formal approach for horizontal fragmentation in distributed deductive database design
    Lim, SJ
    Ng, YK
    [J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS, 1996, 1134 : 234 - 243
  • [10] Formal Specification and Verification of a Data Replication Approach in Distributed Systems
    Souri, Alireza
    [J]. INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING, 2016, 7 (01): : 18 - 37
12345