View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement

View Integration is known to be a decisive part of data warehouse design. It has also been shown that the use of formal methods such as abstract state machines (ASMs) can contribute to high-quality designs, in particular, if standard refinements can be exploited. In this paper we continue a direction of research that exploits a typed version of ASMs for this purpose in order to be able to preserve the advantages that arise from using declarative languages. In order to support schema dominance we also employ a restricted notion of refinement, which we call strong data refinement. In particular, we show how view integration can be supported by standard refinement rules