Paper Info
Title
A formal approach to the design of distributed data warehouses
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.
Year
DOI
Venue
2005
10.1007/11424826_131
ICCSA
Keywords
Field
DocType
abstract state machines,olap system,data warehouse,latest updates,layered formal specification,analytical task,operational databases,dialogue interface,on-line analytical processing,formal approach,fundamental idea,abstract state machine,formal specification
Data warehouse,Transaction processing,Star schema,Operational database,Computer science,Abstract state machines,Formal specification,Finite-state machine,Online analytical processing,Database,Distributed computing
Conference
Volume
ISSN
ISBN
3481
0302-9743
3-540-25861-2
Citations 
PageRank 
References 
2
0.38
8
Authors
1
Name
Order
Citations
PageRank
Jane Zhao1647.13