Predicate calculus and program semantics
Predicate calculus and program semantics
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
Conceptual schema and relational database design (2nd ed.)
Conceptual schema and relational database design (2nd ed.)
An overview of data warehousing and OLAP technology
ACM SIGMOD Record
A methodological framework for data warehouse design
Proceedings of the 1st ACM international workshop on Data warehousing and OLAP
starER: a conceptual model for data warehouse design
Proceedings of the 2nd ACM international workshop on Data warehousing and OLAP
Designing data marts for data warehouses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Handling Conceptual Model Validation by Planning
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Metadata management: past, present and future
Decision Support Systems
Reconciling requirement-driven data warehouses with data sources via multidimensional normal forms
Data & Knowledge Engineering
Data modeling techniques for data warehousing
Data modeling techniques for data warehousing
The Data Warehouse Lifecycle Toolkit
The Data Warehouse Lifecycle Toolkit
Multidimensional design by examples
DaWaK'06 Proceedings of the 8th international conference on Data Warehousing and Knowledge Discovery
GrHyMM: a graph-oriented hybrid multidimensional model
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Hybrid methodology for data warehouse conceptual design by UML schemas
Information and Software Technology
Hi-index | 0.00 |
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.