Data warehousing design: Automatic verification of conformity and summarizability constraints

Similar to any software system, the success of the development of a decisional information system depends on the quality of its specification, often modeled as star schemes. In this paper, we present a new approach assisted by Prolog in order to verify the conformity of multidimensional star schemas with its source schema and to check summarizability constraint. In addidition, we propose a tool to assist decision makers to design valid schemas. Our tool presents a new idea to check summarizability constraints and to generate a warning messages to inform the decision makers about quality of results of the future decisional system.