palavras-chave Alloy Análise What-If Bases de dados multidimensionais Business Intelligence Decision Support Systems Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática Formal Methods Mineração de dados em sistemas OLAP Multidimensional Databases Métodos Formais OLAP mining Sistemas de suporte à Decisão What-If Analysis on-Line Analytical Processing usage preferences