{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:24:39Z","timestamp":1743092679544,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319592701"},{"type":"electronic","value":"9783319592718"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59271-8_15","type":"book-chapter","created":{"date-parts":[[2017,5,18]],"date-time":"2017-05-18T15:59:07Z","timestamp":1495123147000},"page":"228-241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Distributed and Parallel Computation of the Canonical Direct Basis"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Viaud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karell","family":"Bertet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rokia","family":"Missaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Demko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,19]]},"reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-319-19545-2_3","volume-title":"Formal Concept Analysis","author":"K Adaricheva","year":"2015","unstructured":"Adaricheva, K., et al.: Measuring the implications of the D-basis in analysis of data in biomedical studies. In: Baixeries, J., Sacarea, C., Ojeda-Aciego, M. (eds.) ICFCA 2015. LNCS, vol. 9113, pp. 39\u201357. Springer, Cham (2015). doi:10.1007\/978-3-319-19545-2_3"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Adaricheva, K.V., Nation, J.B., Rand, R.: Ordered direct implicational basis of a finite closure system. In: ISAIM (2012)","DOI":"10.1016\/j.dam.2012.08.031"},{"issue":"4","key":"15_CR3","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/320610.320620","volume":"5","author":"WW Armstrong","year":"1980","unstructured":"Armstrong, W.W., Deobel, C.: Decompositions and functional dependencies in relations. ACM Trans. Datab. Syst. (TODS) 5(4), 404\u2013430 (1980)","journal-title":"ACM Trans. Datab. Syst. (TODS)"},{"issue":"22\u201324","key":"15_CR4","doi-asserted-by":"publisher","first-page":"2155","DOI":"10.1016\/j.tcs.2009.12.021","volume":"411","author":"K Bertet","year":"2010","unstructured":"Bertet, K., Monjardet, B.: The multiple facets of the canonical direct unit implicational basis. Theoret. Comput. Sci. 411(22\u201324), 2155\u20132166 (2010)","journal-title":"Theoret. Comput. Sci."},{"key":"15_CR5","unstructured":"Bertet, K., Demko, C., Viaud, J.F., Gu\u00e9rin, C.: Lattices, closures systems and implication bases: a survey of structural aspects and algorithms. Theoret. Comput. Sci. (2016)"},{"key":"15_CR6","unstructured":"Cordero, P., Enciso, M., Mora, A.: Automated reasoning to infer all minimal keys. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 817\u2013823. AAAI Press (2013)"},{"key":"15_CR7","unstructured":"Cordero, P., Enciso, M., Mora, A., Ojeda-Aciego, M.N.: Computing minimal generators from implications: a logic-guided approach. In: Szathmary, L., Priss, U. (eds.) CLA. CEUR Workshop Proceedings, vol. 972, pp. 187\u2013198. CEUR-WS.org (2012)"},{"key":"15_CR8","unstructured":"Cordero, P., Enciso, M., Mora, A., Ojeda-Aciego, M.N.: Computing left-minimal direct basis of implications. In: CLA, pp. 293\u2013298 (2013)"},{"key":"15_CR9","unstructured":"Fu, H., Nguifo, E.: Partitioning large data to scale up lattice-based algorithm. In: Proceedings of 15th IEEE International Conference on Tools with Artificial Intelligence, pp. 537\u2013541, November 2003"},{"key":"15_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis - Mathematical Foundations","author":"B Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis - Mathematical Foundations. Springer, Heidelberg (1999)"},{"key":"15_CR11","first-page":"5","volume":"95","author":"JL Guigues","year":"1986","unstructured":"Guigues, J.L., Duquenne, V.: Familles minimales d\u2019implications informatives r\u00e9sultant d\u2019un tableau de donn\u00e9es binaires. Math\u00e9matiques et Sciences Humaines 95, 5\u201318 (1986)","journal-title":"Math\u00e9matiques et Sciences Humaines"},{"issue":"2","key":"15_CR12","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10472-010-9199-5","volume":"59","author":"P Krajca","year":"2010","unstructured":"Krajca, P., Outrata, J., Vychodil, V.: Parallel algorithm for computing fixpoints of Galois connections. Ann. Math. Artif. Intell. 59(2), 257\u2013272 (2010)","journal-title":"Ann. Math. Artif. Intell."},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-03915-7_29","volume-title":"Advances in Intelligent Data Analysis VIII","author":"P Krajca","year":"2009","unstructured":"Krajca, P., Vychodil, V.: Distributed algorithm for computing formal concepts using map-reduce framework. In: Adams, N., Robardet, C., Siebes, A., Boulicaut, J.F. (eds.) Advances in Intelligent Data Analysis VIII. LNCS, vol. 5772, pp. 333\u2013344. Springer, Heidelberg (2009)"},{"key":"15_CR14","unstructured":"Kriegel, F., Borchmann, D.: Nextclosures: parallel computation of the canonical base. In: Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, Clermont-Ferrand, France, 13\u201316 October 2015, pp. 181\u2013192 (2015). http:\/\/ceur-ws.org\/Vol-1466\/paper15.pdf"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Kryszkiewicz, M.: Concise representations of association rules. In: Proceedings of Pattern Detection and Discovery, ESF Exploratory Workshop, London, UK, 16\u201319 September 2002, pp. 92\u2013109 (2002)","DOI":"10.1007\/3-540-45728-3_8"},{"issue":"4","key":"15_CR16","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1080\/00207160.2011.644275","volume":"89","author":"A Mora","year":"2012","unstructured":"Mora, A., Cordero, P., Enciso, M., Fortes, I., Aguilera, G.: Closure via functional dependence simplification. Int. J. Comput. Math. 89(4), 510\u2013526 (2012)","journal-title":"Int. J. Comput. Math."},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"1860","DOI":"10.1080\/00207160.2010.484488","volume":"88","author":"A Mora","year":"2011","unstructured":"Mora, A., de Guzm\u00e1n, I.P., Enciso, M., Cordero, P.: Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Int. J. Comput. Math. 88, 1860\u20131868 (2011)","journal-title":"Int. J. Comput. Math."},{"issue":"1\u20134","key":"15_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10472-007-9057-2","volume":"49","author":"S Obiedkov","year":"2007","unstructured":"Obiedkov, S., Duquenne, V.: Attribute-incremental construction of the canonical implication basis. Ann. Math. Artif. Intell. 49(1\u20134), 77\u201399 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"15_CR19","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-540-87477-5_48","volume-title":"Modelling, Computation and Optimization in Information Systems and Management Sciences","author":"Y Renaud","year":"2008","unstructured":"Renaud, Y.: Join on closure systems using direct implicational basis representation. In: Le Thi, H.A., Bouvry, P., Pham Dinh, T. (eds.) MCO 2008. CCIS, vol. 14, pp. 450\u2013457. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-87477-5_48"},{"issue":"305","key":"15_CR20","first-page":"305","volume":"9","author":"E Rodr\u00edguez-Lorenzo","year":"2015","unstructured":"Rodr\u00edguez-Lorenzo, E., Bertet, K.: From implicational systems to direct-optimal bases: a logic-based approach. Appl. Math. Inf. Sci. 9(305), 305\u2013317 (2015)","journal-title":"Appl. Math. Inf. Sci."},{"key":"15_CR21","unstructured":"Rodr\u00edguez-Lorenzo, E., Bertet, K., Cordero, P., Enciso, M., Mora, A.: The direct-optimal basis via reductions. In: Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Ko\u0161ice, Slovakia, 7\u201310 October 2014, pp. 145\u2013156 (2014)"},{"issue":"1\u20132","key":"15_CR22","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10472-013-9355-9","volume":"70","author":"U Ryssel","year":"2014","unstructured":"Ryssel, U., Distel, F., Borchmann, D.: Fast algorithms for implication bases and attribute exploration using proper premises. Ann. Math. Artif. Intell. 70(1\u20132), 25\u201353 (2014)","journal-title":"Ann. Math. Artif. Intell."},{"key":"15_CR23","unstructured":"Tsiporkova, E., Boeva, V., Kostadinova, E.: MapReduce and FCA approach for clustering of multiple-experiment data compendium. In: Causmaecker, P.D., Maervoet, J., Messelis, T., Verbeeck, K., Vermeulen, T. (eds.) Proceedings of the 23rd Benelux Conference on Artificial Intelligence (2011)"},{"key":"15_CR24","unstructured":"Valtchev, P., Duquenne, V.: Towards scalable divide-and-conquer methods for computing concepts and implications. In: Proceedings of the 4th International Conference Journ\u00e9es de l\u2019Informatique Messine (JIM 2003): Knowledge Discovery and Discrete Mathematics, Metz (FR), pp. 3\u20136 (2003)"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-78137-0_14","volume-title":"Formal Concept Analysis","author":"P Valtchev","year":"2008","unstructured":"Valtchev, P., Duquenne, V.: On the merge of factor canonical bases. In: Medina, R., Obiedkov, S. (eds.) ICFCA 2008. LNCS (LNAI), vol. 4933, pp. 182\u2013198. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-78137-0_14"},{"issue":"10","key":"15_CR26","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1016\/j.parco.2014.08.003","volume":"40","author":"L Vu","year":"2014","unstructured":"Vu, L., Alaghband, G.: Novel parallel method for association rule mining on multi-core shared memory systems. Parallel Comput. 40(10), 768\u2013785 (2014)","journal-title":"Parallel Comput."},{"key":"15_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-642-29892-9_26","volume-title":"Formal Concept Analysis","author":"B Xu","year":"2012","unstructured":"Xu, B., Fr\u00e9in, R., Robson, E., \u00d3 Foghl\u00fa, M.: Distributed formal concept analysis algorithms based on an iterative MapReduce framework. In: Domenach, F., Ignatov, D.I., Poelmans, J. (eds.) ICFCA 2012. LNCS (LNAI), vol. 7278, pp. 292\u2013308. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-29892-9_26"},{"issue":"2","key":"15_CR28","first-page":"123","volume":"11","author":"MJ Zaki","year":"2002","unstructured":"Zaki, M.J., Pan, Y.: Introduction: recent developments in parallel and distributed data mining. Distrib. Parallel Datab. 11(2), 123\u2013127 (2002)","journal-title":"Distrib. Parallel Datab."}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59271-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:25:21Z","timestamp":1710343521000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59271-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319592701","9783319592718"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59271-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"19 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICFCA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Concept Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfca2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icfca2017.irisa.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}