{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:05:55Z","timestamp":1725563155934},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642151040"},{"type":"electronic","value":"9783642151057"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15105-7_1","type":"book-chapter","created":{"date-parts":[[2010,8,30]],"date-time":"2010-08-30T06:21:03Z","timestamp":1283149263000},"page":"1-12","source":"Crossref","is-referenced-by-count":9,"title":["Logic Programming for Data Warehouse Conceptual Schema Validation"],"prefix":"10.1007","author":[{"given":"Carlo","family":"dell\u2019Aquila","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Di Tria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ezio","family":"Lefons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filippo","family":"Tangorra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-48716-6_9","volume-title":"Handbook on Decision Support Systems 2. International Handbooks on Information Systems","author":"S. Negash","year":"2008","unstructured":"Negash, S., Gray, P.: Business Intelligence. In: Handbook on Decision Support Systems 2. International Handbooks on Information Systems, pp. 175\u2013193. Springer, Heidelberg (2008)"},{"key":"1_CR2","unstructured":"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)"},{"key":"1_CR3","volume-title":"Practical Techniques for Building Data Warehouse and Business Intelligence Systems","author":"R. Kimball","year":"2008","unstructured":"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)","edition":"2"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/294260.294261","volume-title":"1st ACM International Workshop on Data Warehousing and OLAP","author":"M. Golfarelli","year":"1998","unstructured":"Golfarelli, M., Rizzi, S.: A Methodological Framework for Data Warehouse Design. In: 1st ACM International Workshop on Data Warehousing and OLAP, pp. 3\u20139. ACM, Washington (1998)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1142\/S0218843098000118","volume":"7","author":"M. Golfarelli","year":"1998","unstructured":"Golfarelli, M., Maio, D., Rizzi, S.: The Dimensional Fact Model: a Conceptual Model for Data Warehouses. Int. J. Cooperative Information Systems\u00a07, 215\u2013247 (1998)","journal-title":"Int. J. Cooperative Information Systems"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/248603.248616","volume":"26","author":"S. Chaudhuri","year":"1997","unstructured":"Chaudhuri, S., Dayal, U.: An Overview of Data Warehousing and OLAP Technology. ACM Sigmod Record\u00a026, 65\u201374 (1997)","journal-title":"ACM Sigmod Record"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/319757.319776","volume-title":"2nd ACM International Workshop on Data Warehousing and OLAP","author":"N. Tryfona","year":"1999","unstructured":"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\u20138. ACM, New York (1999)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/978-3-540-25975-6_36","volume-title":"Advanced Information Systems Engineering","author":"M.A. Serrano","year":"2004","unstructured":"Serrano, M.A., Calero, C., Trujillo, J., Luj\u00e1n-Mora, S., Piattini, M.: Empirical Validation of Metrics for Conceptual Models of Data Warehouses. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 506\u2013520. Springer, Heidelberg (2004)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1145\/384189.384190","volume":"10","author":"A. Bonifati","year":"2001","unstructured":"Bonifati, A., Cattaneo, F., Ceri, S., Fuggetta, A., Paraboschi, S.: Designing Data Marts for Data Warehouses. ACM Transactions on Software Engineering and Methodology\u00a010, 452\u2013483 (2001)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1016\/j.datak.2007.04.004","volume":"63","author":"J.-N. Maz\u00f3n","year":"2007","unstructured":"Maz\u00f3n, J.-N., Trujillo, J., Lechtenb\u00f6rger, J.: Reconciling Requirement-Driven Data Warehouses with Data Sources via Multidimensional Normal Forms. Data & Knowledge Engineering\u00a063, 725\u2013751 (2007)","journal-title":"Data & Knowledge Engineering"},{"key":"1_CR11","unstructured":"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\u201332 (2002)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/11823728_9","volume-title":"Data Warehousing and Knowledge Discovery","author":"O. Romero","year":"2006","unstructured":"Romero, O., Abell\u00f3, A.: Multidimensional Design by Examples. In: Tjoa, A.M., Trujillo, J. (eds.) DaWaK 2006. LNCS, vol.\u00a04081, pp. 85\u201394. Springer, Heidelberg (2006)"},{"key":"1_CR13","first-page":"211","volume-title":"24th International Symposium on Computer and Information Sciences","author":"C. dell\u2019Aquila","year":"2009","unstructured":"dell\u2019Aquila, 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\u2013216. IEEE Press, Los Alamitos (2009)"},{"key":"1_CR14","volume-title":"Data Modeling Techniques for Data Warehousing","author":"C. Ballard","year":"1998","unstructured":"Ballard, C., Herreman, D., Schau, D., Bell, R., Kim, E., Valencic, A.: Data Modeling Techniques for Data Warehousing. IBM Redbooks, Riverton (1998)"},{"key":"1_CR15","volume-title":"Conceptual Schema and Relational Database Design","author":"T.A. Halpin","year":"1995","unstructured":"Halpin, T.A.: Conceptual Schema and Relational Database Design, 2nd edn. Prentice Hall, Australia (1995)","edition":"2"},{"key":"1_CR16","unstructured":"Husemann, B., Lechtenborger, J., Vossen, G.: Conceptual Data Warehouse Design. In: International Workshop on Design and Management of DataWarehouses, Stockholm, Sweden, pp. 6-1\u20136-11 (2000)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/BFb0035147","volume-title":"Advanced Information Systems Engineering","author":"T.A. Halpin","year":"1992","unstructured":"Halpin, T.A., McCormack, J.I.: Automated Validation of Conceptual Schema Constraints. In: Loucopoulos, P. (ed.) CAiSE 1992. LNCS, vol.\u00a0593, pp. 364\u2013377. Springer, Heidelberg (1992)"},{"key":"1_CR18","volume-title":"Interactive Query Formulation using Query By Navigation","author":"H. Proper","year":"1994","unstructured":"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)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/3-540-61292-0_15","volume-title":"Advanced Information Systems Engineering","author":"D. Costal","year":"1996","unstructured":"Costal, D., Teniente, E., Urp\u00ed, T., Farr\u00e9, C.: Handling Conceptual Model Validation by Planning. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol.\u00a01080, pp. 255\u2013271. Springer, Heidelberg (1996)"},{"key":"1_CR20","unstructured":"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\u20133-9 (2000)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0167-9236(02)00208-7","volume":"37","author":"A. Sen","year":"2004","unstructured":"Sen, A.: Metadata Management: Past, Present and Future. Decision Support Systems\u00a037, 151\u2013173 (2004)","journal-title":"Decision Support Systems"},{"key":"1_CR22","unstructured":"Object Management Group, Common Warehouse Metamodel Specification, vers. 1.1, vol. 1. OMG, Needham (2003)"},{"key":"1_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Springer, New York (1990)"},{"key":"1_CR24","volume-title":"The Art of Prolog: Advanced Programming Techniques","author":"L. Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog: Advanced Programming Techniques, 2nd edn. MIT Press, Cambridge (1994)","edition":"2"},{"key":"1_CR25","unstructured":"Donnelly, C., Stallman, R.: Bison Version 2.1 (2005), \n                    \n                      http:\/\/www.gnu.org\/software\/bison"},{"key":"1_CR26","unstructured":"Paxson, V., Estes, V., Millaway, J.: Flex: the Fast Lexical Analyzer Manual Edition 2.5.35 (2007), \n                    \n                      http:\/\/flex.sourceforge.net"}],"container-title":["Lecture Notes in Computer Science","Data Warehousing and Knowledge Discovery"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15105-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T23:49:11Z","timestamp":1552952951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15105-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642151040","9783642151057"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15105-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}