Logic Programming for Data Warehouse Conceptual Schema Validation

Abstract. The current lack of a standard methodology for data warehouse design 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.