Uma abordagem alternativa para a formalização de espaços multidimensionais em sistemas OLAP

Abstract

A evolução dos sistemas OLAP tem sido extraordinária ao longo dos últimos anos. Desde os servidores de dados multidimensionais até às plataformas cliente para a exploração de dados é admirável o leque de soluções que emergiram, contribuindo para um grande aumento da sofisticação das plataformas de tomada de decisão. Porém, em contraste, não encontramos muitas propostas para a especificação e formalização dessas soluções, em particular no que diz respeito à forma como representamos e manipulamos dados multidimensionais. Como sabemos, uma especificação formal dessas estruturas contribuiria, em muito, para a correção, robustez e garantia da qualidade dessas mesmas soluções. Tendo isso em consideração, apresentamos nesta dissertação uma nova aproximação à formalização de espaços multidimensionais de dados utilizados pela generalidade dos sistemas OLAP, bem como a definição de uma das principais operações que se realiza sobre tais estruturas, o rol-up. Através de uma exposição baseada num exemplo muito prático, demonstramos a utilização do modelo de formalização definido, avaliando sempre que possível a sua aplicação e capacidade de representação.

The evolution of OAL systems has been extraordinary over the past few years. Since the servers multidimensional data to the client platforms for data exploration is admirable range of solutions that have emerged, contributing to a large increase in the sophistication of decision making platforms. However, in contrast, we don’t find many proposals for the specification and formalization of these solutions, in particular regarding to how we represent and manipulate multidimensional data. As we know, a formal specification of these structures would contribute greatly to the correctness, robustness, and guarantee of the quality of these solutions. With that in mind, this dissertation presents a new approach to the formalization of multidimensional data spaces used by most OLAP systems, as well as the definition of one of the most important operations that take place on these structures, Roll-up operation. Through an exposure based on a very practical example, we demonstrate the use of the defined formal model, by evaluating whenever it’s possible their application and capacity of representation.