Research problems in data warehousing
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Building the data warehouse (2nd ed.)
Building the data warehouse (2nd ed.)
OLAP solutions: building multidimensional information systems
OLAP solutions: building multidimensional information systems
Principles of distributed database systems (2nd ed.)
Principles of distributed database systems (2nd ed.)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Integrating database and dialogue design
Knowledge and Information Systems
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Modeling Multidimensional Databases
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
A Foundation for Multi-dimensional Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
View-Centered Conceptual Modelling - An Object-Oriented Approach
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
Data Warehouse Schema and Instance Design
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Operational semantics of transactions
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Balancing redundancy and query costs in distributed data warehouses
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
ASM-based design of data warehouses and on-line analytical processing systems
Journal of Systems and Software - Special issue: Quality software
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
Data warehouse access using multi-agent system
Distributed and Parallel Databases
Refinements in typed abstract state machines
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Hetero-homogeneous hierarchies in data warehouses
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
A formal approach to the design of distributed data warehouses
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
View integration and cooperation in databases, data warehouses and web information systems
Journal on Data Semantics IV
| Hi-index | 0.00 |
Data Warehouses are data-intensive systems that are used for analytical tasks. As these tasks do not depend on the latest updates by transactions, data warehouses can be set up in a way that input of data from operational databases and output to dialogue interfaces for on-line analytical processes (OLAP) can be separated. In the paper we describe how abstract state machines (ASMs) can be used to design distributed data warehouses. We formalise the ground idea of data warehouses by a ground model ASM and discuss refinement steps, which can be applied in a step-by-step design methodology. Distribution will appear as such a refinement step.