Building the data warehouse (2nd ed.)
Building the data warehouse (2nd ed.)
Principles of distributed database systems (2nd ed.)
Principles of distributed database systems (2nd ed.)
Integrating database and dialogue design
Knowledge and Information Systems
Olap Solutions: Building Multidimensional Information Systems
Olap Solutions: Building Multidimensional Information Systems
Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Using abstract state machines for distributed data warehouse design
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Cost Optimisation for Distributed Data Warehouses
HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 09
Balancing redundancy and query costs in distributed data warehouses
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Dynamic data warehouse design as a refinement in ASM-based approach
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
| Hi-index | 0.00 |
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.