{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:50Z","timestamp":1742913890362,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155758"},{"type":"electronic","value":"9783642155765"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15576-5_14","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T15:16:15Z","timestamp":1284563775000},"page":"164-175","source":"Crossref","is-referenced-by-count":5,"title":["Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design"],"prefix":"10.1007","author":[{"given":"Aleksandar","family":"Dimovski","sequence":"first","affiliation":[]},{"given":"Goran","family":"Velinov","sequence":"additional","affiliation":[]},{"given":"Dragan","family":"Sahpaski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, S., Narasayya, V., Yang, B.: Integrating Vertical and Horizontal Partitoning into Automated Physical Database Design. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 359\u2013370 (2004)","DOI":"10.1145\/1007568.1007609"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45319-9_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Ball","year":"2001","unstructured":"Ball, T., Podelski, A., Rajamani, S.K.: Boolean and Cartesian Abstraction for Model Checking C Programs. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, p. 268. Springer, Heidelberg (2001)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11546849_12","volume-title":"Data Warehousing and Knowledge Discovery","author":"L. Bellatreche","year":"2005","unstructured":"Bellatreche, L., Boukhalfa, K.: An Evolutionary Approach to Schema Partitioning Selection in a Data Warehouse. In: Tjoa, A.M., Trujillo, J. (eds.) DaWaK 2005. LNCS, vol.\u00a03589, pp. 115\u2013125. Springer, Heidelberg (2005)"},{"issue":"2","key":"14_CR4","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1008745624048","volume":"8","author":"L. Bellatreche","year":"2000","unstructured":"Bellatreche, L., Karlapalem, K., Simonet, A.: Algorithms and Support for Horizontal Class Partitioning in Object-Oriented Databases. The Distributed and Parallel Databases Journal\u00a08(2), 155\u2013179 (2000)","journal-title":"The Distributed and Parallel Databases Journal"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/11547662_9","volume-title":"Static Analysis","author":"A. Dimovski","year":"2005","unstructured":"Dimovski, A., Ghica, D.R., Lazi\u0107, R.: Data-Abstraction Refinement: A Game Semantic Approach. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol.\u00a03672, pp. 102\u2013117. Springer, Heidelberg (2005)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Furtado, P.: Experimental Evidence on Partitioning in Parallel Data Warehouses. In: Proceedings of the 7th ACM International Workshop on Data Warehousing and OLAP (DOLAP), pp. 23\u201330 (2004)","DOI":"10.1145\/1031763.1031769"},{"issue":"3","key":"14_CR7","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.datak.2003.11.001","volume":"49","author":"M. Golfarelli","year":"2004","unstructured":"Golfarelli, M., Maniezzo, V., Rizzi, S.: Materialization of Fragmented Views in Multidimensional Databases. Data & Knowledge Engineering\u00a049(3), 325\u2013351 (2004)","journal-title":"Data & Knowledge Engineering"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"Graf, S., Saidi, H.: Construction of Abstract Atate Graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 72\u201383. Springer, Heidelberg (1997)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/233269.233333","volume-title":"Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data","author":"V. Harinarayan","year":"1996","unstructured":"Harinarayan, V., Rajaraman, A., Ullman, J.D.: Implementing data cubes efficiently. In: Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, vol.\u00a025(2), pp. 205\u2013216. ACM Press SIGMOD Record, New York (1996)"},{"key":"14_CR10","unstructured":"Holland, J.H.: Adaptation in Natural and Artificial Systems. University of Michigan Press (1995)"},{"key":"14_CR11","unstructured":"Meffert, K.: JGAP - Java Genetic Algorithms and Genetic Programming Package, \n                      http:\/\/jgap.sf.net"},{"key":"14_CR12","volume-title":"Principles of Distributed Database Systems","author":"M.T. Ozsu","year":"1999","unstructured":"Ozsu, M.T., Valduriez, P.: Principles of Distributed Database Systems. Prentice-Hall, Englewood Cliffs (1999)"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/3148.3161","volume":"10","author":"D. Sacca","year":"1985","unstructured":"Sacca, D., Wiederhold, G.: Database Partitioning in a Cluster of Processors. Proceedings of the ACM Transactions on Database Systems (TODS)\u00a010(1), 29\u201356 (1985)","journal-title":"Proceedings of the ACM Transactions on Database Systems (TODS)"},{"key":"14_CR14","first-page":"359","volume-title":"Proceedings of the 2004 ACM SIGMOD International Conference on Management of Data","author":"A. Sanjay","year":"2004","unstructured":"Sanjay, A., Narasayya, V.R., Yang, V.R.: Integrating Vertical and Horizontal Partitioning into Automated Physical Database Design. In: Proceedings of the 2004 ACM SIGMOD International Conference on Management of Data, pp. 359\u2013370. ACM Press SIGMOD Record, New York (2004)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Sahpaski, D., Velinov, G., Jakimovski, B., Kon-Popovska, M.: Dynamic Evolution and Improvement of Data Warehouse Design. In: Proceedings of Balkan Conference in Informatics, IEEE Computer Society\u2019s Conference Publishing (IEEE BCI), pp. 115\u2013125 (2009)","DOI":"10.1109\/BCI.2009.34"},{"key":"14_CR16","unstructured":"Velinov, G., Gligoroski, D., Kon-Popovska, M.: Hybrid Greedy and Genetic Algorithms for Optimization of Relational Data Warehouses. In: Proceedings of Multi-Conference: Artificial Intelligence and Applications (IASTED), pp. 470\u2013475 (2007)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-540-85713-6_21","volume-title":"Advances in Databases and Information Systems","author":"G. Velinov","year":"2008","unstructured":"Velinov, G., Jakimovski, B., Cerepnalkoski, D., Kon-Popovska, M.: Framework for Improvement of Data Warehouse Optimization Process by Workflow Gridification. In: Atzeni, P., Caplinskas, A., Jaakkola, H. (eds.) ADBIS 2008. LNCS, vol.\u00a05207, pp. 295\u2013304. Springer, Heidelberg (2008)"},{"issue":"4","key":"14_CR18","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1109\/TSMCC.2003.818494","volume":"33","author":"J.X. Yu","year":"2003","unstructured":"Yu, J.X., Yao, X., Choi, C., Gou, G.: Materialized Views Selection as Constrained Evolutionary Optimization. Proceedings of IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews\u00a033(4), 458\u2013468 (2003)","journal-title":"Proceedings of IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews"},{"key":"14_CR19","unstructured":"Zilio, D.: Physical Database Design Decision Algorithms and Concurrent Reorganization for Parallel Database Systems. Ph. D. Thesis, University of Toronto (1998)"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15576-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T10:56:22Z","timestamp":1674816982000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-15576-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155758","9783642155765"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15576-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}