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.)
Principles of distributed database systems (2nd ed.)
Principles of distributed database systems (2nd ed.)
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
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
Olap Solutions: Building Multidimensional Information Systems
Olap Solutions: Building Multidimensional Information Systems
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
Data Warehouse Schema and Instance Design
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Operational semantics of transactions
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Using abstract state machines for distributed data warehouse design
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
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
A Query Cache Tool for Optimizing Repeatable and Parallel OLAP Queries
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Refinements in typed abstract state machines
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
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 |
Abstract State Machines (ASMs) encourage high-level system specifications without forcing the development into the "formal methods straight-jacket". This makes them an ideal formal method for applications in areas, where otherwise only semi-formal methods are used. One such area is the development of data warehouse and on-line analytical processing (OLAP) applications to which this article contributes. Based on an ASM ground model for data warehouses we show which problems have to be solved in the case of distribution. This mainly amounts to making decisions on materialised views. In this article we develop simple refinement rules for this purpose. Then we develop a cost model that combines the costs of query processing with the maintenance costs arising from redundancy in the local data warehouse fragments. This cost model indicates, whether it is advantageous to apply a refinement rule or not. However, as the refinement process is non-deterministic, there is no guarantee that a global cost optimum will be reached.