Logic Programming for Data Warehouse Conceptual Schema Validation

The current lack of a standard methodology for data warehouse de sign has led to have many possible lifecycles In some of them the validation of the data warehouse conceptual schema is a specific process that precedes the translation of such a schema into a logical one This activity must ensure that the data warehouse to be implemented effectively allows all the analytical queries,to be executed correctly To accomplish this the validation process takes the preliminary workload into account that is a set of queries defined from user requirements to obtain the typical information the users are interested in The methodologies that perform such a validation process define some guidelines that must be manually executed by an expert In this paper we introduce a logic program to automate this activity by checking a set of predefined issues with an inferential engine