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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Negash, S., Gray, P.: Business Intelligence. In: Handbook on Decision Support Systems 2. International Handbooks on Information Systems, pp. 175–193. Springer, Heidelberg (2008)
Jarke, M., Vassiliou, M.: Foundations of Data Warehouse Quality: an Overview of the DWQ Project. In: 2nd International Conference on Information Quality, Cambridge, Mass. (1997)
Kimball, R.: The Data Warehouse Lifecycle Toolkit. In: Practical Techniques for Building Data Warehouse and Business Intelligence Systems, 2nd edn. John Wiley & Sons, Chichester (2008)
Golfarelli, M., Rizzi, S.: A Methodological Framework for Data Warehouse Design. In: 1st ACM International Workshop on Data Warehousing and OLAP, pp. 3–9. ACM, Washington (1998)
Golfarelli, M., Maio, D., Rizzi, S.: The Dimensional Fact Model: a Conceptual Model for Data Warehouses. Int. J. Cooperative Information Systems 7, 215–247 (1998)
Chaudhuri, S., Dayal, U.: An Overview of Data Warehousing and OLAP Technology. ACM Sigmod Record 26, 65–74 (1997)
Tryfona, N., Busborg, F., Borch Christiansen, J.G.: starER: A Conceptual Model for Data Warehouse Design. In: 2nd ACM International Workshop on Data Warehousing and OLAP, pp. 3–8. ACM, New York (1999)
Serrano, M.A., Calero, C., Trujillo, J., Luján-Mora, S., Piattini, M.: Empirical Validation of Metrics for Conceptual Models of Data Warehouses. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 506–520. Springer, Heidelberg (2004)
Bonifati, A., Cattaneo, F., Ceri, S., Fuggetta, A., Paraboschi, S.: Designing Data Marts for Data Warehouses. ACM Transactions on Software Engineering and Methodology 10, 452–483 (2001)
Mazón, J.-N., Trujillo, J., Lechtenbörger, J.: Reconciling Requirement-Driven Data Warehouses with Data Sources via Multidimensional Normal Forms. Data & Knowledge Engineering 63, 725–751 (2007)
Phipps, C., Davis, K.C.: Automating Data Warehouse Conceptual Schema Design and Evaluation. In: 4th International Workshop on Design and Management of Data Warehouses, pp. 23–32 (2002)
Romero, O., Abelló, A.: Multidimensional Design by Examples. In: Tjoa, A.M., Trujillo, J. (eds.) DaWaK 2006. LNCS, vol. 4081, pp. 85–94. Springer, Heidelberg (2006)
dell’Aquila, C., Di Tria, F., Lefons, E., Tangorra, F.: Dimensional Fact Model Extension via Predicate Calculus. In: 24th International Symposium on Computer and Information Sciences, pp. 211–216. IEEE Press, Los Alamitos (2009)
Ballard, C., Herreman, D., Schau, D., Bell, R., Kim, E., Valencic, A.: Data Modeling Techniques for Data Warehousing. IBM Redbooks, Riverton (1998)
Halpin, T.A.: Conceptual Schema and Relational Database Design, 2nd edn. Prentice Hall, Australia (1995)
Husemann, B., Lechtenborger, J., Vossen, G.: Conceptual Data Warehouse Design. In: International Workshop on Design and Management of DataWarehouses, Stockholm, Sweden, pp. 6-1–6-11 (2000)
Halpin, T.A., McCormack, J.I.: Automated Validation of Conceptual Schema Constraints. In: Loucopoulos, P. (ed.) CAiSE 1992. LNCS, vol. 593, pp. 364–377. Springer, Heidelberg (1992)
Proper, H.: Generating Significant Examples for Conceptual Schema Validation. In: Interactive Query Formulation using Query By Navigation. Asymetrix Research Laboratory, University of Queensland, Australia (1994)
Costal, D., Teniente, E., Urpí, T., Farré, C.: Handling Conceptual Model Validation by Planning. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol. 1080, pp. 255–271. Springer, Heidelberg (1996)
Huynh, T.N., Mangisengi, O., Min Tjoa, A.: Metadata for Object-Relational Data Warehouse. In: International Workshop on Design and Management of Data Warehouses, Stockholm, Sweden, pp. 3-1–3-9 (2000)
Sen, A.: Metadata Management: Past, Present and Future. Decision Support Systems 37, 151–173 (2004)
Object Management Group, Common Warehouse Metamodel Specification, vers. 1.1, vol. 1. OMG, Needham (2003)
Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Springer, New York (1990)
Sterling, L., Shapiro, E.: The Art of Prolog: Advanced Programming Techniques, 2nd edn. MIT Press, Cambridge (1994)
Donnelly, C., Stallman, R.: Bison Version 2.1 (2005), http://www.gnu.org/software/bison
Paxson, V., Estes, V., Millaway, J.: Flex: the Fast Lexical Analyzer Manual Edition 2.5.35 (2007), http://flex.sourceforge.net
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
dell’Aquila, C., Di Tria, F., Lefons, E., Tangorra, F. (2010). Logic Programming for Data Warehouse Conceptual Schema Validation. In: Bach Pedersen, T., Mohania, M.K., Tjoa, A.M. (eds) Data Warehousing and Knowledge Discovery. DaWaK 2010. Lecture Notes in Computer Science, vol 6263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15105-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-15105-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15104-0
Online ISBN: 978-3-642-15105-7
eBook Packages: Computer ScienceComputer Science (R0)