{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:48:21Z","timestamp":1743104901824,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89159-6_12","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"178-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data"],"prefix":"10.1007","author":[{"given":"Marcel","family":"Altendeitering","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"issue":"12","key":"12_CR1","doi-asserted-by":"publisher","first-page":"993","DOI":"10.14778\/2994509.2994518","volume":"9","author":"Z Abedjan","year":"2016","unstructured":"Abedjan, Z., et al.: Detecting data errors: where are we and what needs to be done? Proc. VLDB Endowment 9(12), 993\u20131004 (2016)","journal-title":"Proc. VLDB Endowment"},{"issue":"4","key":"12_CR2","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/s00778-015-0389-y","volume":"24","author":"Z Abedjan","year":"2015","unstructured":"Abedjan, Z., Golab, L., Naumann, F.: Profiling relational data: a survey. VLDB J. 24(4), 557\u2013581 (2015)","journal-title":"VLDB J."},{"key":"12_CR3","unstructured":"Agrawal, R., Srikant, R., et al.: Fast algorithms for mining association rules. In: Proceedings 20th International Conference Very Large Data Bases, VLDB, vol. 1215, pp. 487\u2013499 (1994)"},{"key":"12_CR4","unstructured":"Altendeitering, M., Fraunhofer, I., Guggenberger, T.: Designing data quality tools: findings from an action design research project at Boehringer Ingelheim, pp. 1\u201316 (2021)"},{"key":"12_CR5","first-page":"15","volume":"14","author":"J Barateiro","year":"2005","unstructured":"Barateiro, J., Galhardas, H.: A survey of data quality tools. Datenbank-Spektrum 14, 15\u201321 (2005)","journal-title":"Datenbank-Spektrum"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Borgelt, C.: An implementation of the FP-growth algorithm. In: Proceedings of the 1st International Workshop on Open Source Data Mining: Frequent Pattern Mining Implementations, pp. 1\u20135 (2005)","DOI":"10.1145\/1133905.1133907"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1009715923555","volume":"2","author":"CJ Burges","year":"1998","unstructured":"Burges, C.J.: A tutorial on support vector machines for pattern recognition. Data Min. Knowl. Disc. 2(2), 121\u2013167 (1998)","journal-title":"Data Min. Knowl. Disc."},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"1166","DOI":"10.14778\/1453856.1453980","volume":"1","author":"F Chiang","year":"2008","unstructured":"Chiang, F., Miller, R.J.: Discovering data quality rules. Proc. VLDB Endowment 1(1), 1166\u20131177 (2008)","journal-title":"Proc. VLDB Endowment"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Drumm, C., Schmitt, M., Do, H.H., Rahm, E.: QuickMig: automatic schema matching for data migration projects. In: Proceedings of the Sixteenth ACM Conference on Conference on Information and Knowledge Management, CIKM 2007, pp. 107\u2013116. Association for Computing Machinery (2007)","DOI":"10.1145\/1321440.1321458"},{"key":"12_CR10","unstructured":"Ehrlinger, L., Rusz, E., W\u00f6\u00df, W.: A survey of data quality measurement and monitoring tools. arXiv preprint arXiv:1907.08138 (2019)"},{"issue":"5","key":"12_CR11","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1109\/TKDE.2010.154","volume":"23","author":"W Fan","year":"2010","unstructured":"Fan, W., Geerts, F., Li, J., Xiong, M.: Discovering conditional functional dependencies. IEEE Trans. Knowl. Data Eng. 23(5), 683\u2013698 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"12_CR12","unstructured":"Hipp, J., G\u00fcntzer, U., Grimmer, U.: Data quality mining-making a virute of necessity. In: DMKD, p. 6 (2001)"},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/comjnl\/42.2.100","volume":"42","author":"Y Huhtala","year":"1999","unstructured":"Huhtala, Y., K\u00e4rkk\u00e4inen, J., Porkka, P., Toivonen, H.: TANE: an efficient algorithm for discovering functional and approximate dependencies. Comput. J. 42(2), 100\u2013111 (1999)","journal-title":"Comput. J."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Kaitoua, A., Rabl, T., Katsifodimos, A., Markl, V.: Muses: distributed data migration system for polystores. In: 2019 IEEE 35th International Conference on Data Engineering (ICDE), pp. 1602\u20131605. IEEE (2019)","DOI":"10.1109\/ICDE.2019.00152"},{"key":"12_CR15","unstructured":"Kruse, S., et al.: Fast approximate discovery of inclusion dependencies. In: Datenbanksysteme f\u00fcr Business, Technologie und Web (BTW 2017) (2017)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Matthes, F., Schulz, C., Haller, K.: Testing quality assurance in data migration projects. In: 2011 27th IEEE International Conference on Software Maintenance (ICSM), pp. 438\u2013447 (2011)","DOI":"10.1109\/ICSM.2011.6080811"},{"key":"12_CR17","unstructured":"Morris, J.: Practical data migration. BCS, The Chartered Institute (2012)"},{"issue":"10","key":"12_CR18","doi-asserted-by":"publisher","first-page":"1082","DOI":"10.14778\/2794367.2794377","volume":"8","author":"T Papenbrock","year":"2015","unstructured":"Papenbrock, T., et al.: Functional dependency discovery: an experimental evaluation of seven algorithms. Proc. VLDB Endowment 8(10), 1082\u20131093 (2015)","journal-title":"Proc. VLDB Endowment"},{"issue":"4","key":"12_CR19","first-page":"3","volume":"23","author":"E Rahm","year":"2000","unstructured":"Rahm, E., Do, H.H.: Data cleaning: problems and current approaches. IEEE Data Eng. Bull. 23(4), 3\u201313 (2000)","journal-title":"IEEE Data Eng. Bull."},{"issue":"1","key":"12_CR20","first-page":"1","volume":"8","author":"SS Sarmah","year":"2018","unstructured":"Sarmah, S.S.: Data migration. Sci. Technol. 8(1), 1\u201310 (2018)","journal-title":"Sci. Technol."},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.ins.2013.11.003","volume":"263","author":"YH Shao","year":"2014","unstructured":"Shao, Y.H., Chen, W.J., Deng, N.Y.: Nonparallel hyperplane support vector machine for binary classification problems. Inf. Sci. 263, 22\u201335 (2014)","journal-title":"Inf. Sci."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Shrivastava, S., Patel, D., Zhou, N., Iyengar, A., Bhamidipaty, A.: DQLearn: a toolkit for structured data quality learning. In: 2020 IEEE International Conference on Big Data (Big Data), pp. 1644\u20131653. IEEE (2020)","DOI":"10.1109\/BigData50022.2020.9378296"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Wang, P., He, Y.: Uni-detect: a unified approach to automated error detection in tables. In: Proceedings of the 2019 International Conference on Management of Data, pp. 811\u2013828 (2019)","DOI":"10.1145\/3299869.3319855"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Zou, J., Liu, X., Sun, H., Zeng, J.: Live instance migration with data consistency in composite service evolution. In: 2010 6th World Congress on Services, pp. 653\u2013656. IEEE (2010)","DOI":"10.1109\/SERVICES.2010.76"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T08:05:56Z","timestamp":1648195556000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}