{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T12:07:26Z","timestamp":1759838846251,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,6,4]],"date-time":"2018-06-04T00:00:00Z","timestamp":1528070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s11227-018-2453-z","type":"journal-article","created":{"date-parts":[[2018,6,4]],"date-time":"2018-06-04T16:42:04Z","timestamp":1528130524000},"page":"1350-1367","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Minimal generators, an affordable approach by means of massive computation"],"prefix":"10.1007","volume":"75","author":[{"given":"F.","family":"Benito-Picazo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Cordero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Enciso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4548-8030","authenticated-orcid":false,"given":"A.","family":"Mora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,4]]},"reference":[{"key":"2453_CR1","unstructured":"Armstrong WW (1974) Dependency structures of data base relationships. In: IFIP Congress, pp 580\u2013583"},{"issue":"1","key":"2453_CR2","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s11227-016-1622-1","volume":"73","author":"F Benito-Picazo","year":"2017","unstructured":"Benito-Picazo F, Cordero P, Enciso M, Mora A (2017) Reducing the search space by closure and simplification paradigms. J Supercomput 73(1):75\u201387","journal-title":"J Supercomput"},{"key":"2453_CR3","volume-title":"Finite automata, their algebras and grammars","author":"JR Buchi","year":"1990","unstructured":"Buchi JR, Siefkes D (1990) Finite automata, their algebras and grammars. Springer, New York Inc, Secaucus"},{"issue":"6","key":"2453_CR4","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd EF (1970) A relational model of data for large shared data banks. Commun ACM 13(6):377\u2013387","journal-title":"Commun ACM"},{"issue":"1","key":"2453_CR5","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/69.908981","volume":"13","author":"E Cohen","year":"2001","unstructured":"Cohen E, Datar M, Fujiwara S, Gionis A, Indyk P, Motwani R, Ullman JD, Yang C (2001) Finding interesting associations without support pruning. IEEE Trans Knowl Data Eng 13(1):64\u201378","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"2453_CR6","unstructured":"Cordero P, Enciso M, Mora A, Ojeda-Aciego M (2012) Computing minimal generators from implications: a logic-guided approach. In Szathmary L, Priss U (eds) Proceedings of the Ninth International Conference on Concept Lattices and Their Applications, Fuengirola (M\u00e1laga), Spain, October 11\u201314, 2012, volume 972 of CEUR Workshop Proceedings, pp 187\u2013198. CEUR-WS.org"},{"key":"2453_CR7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-36131-6_15","volume":"2527","author":"P Cordero","year":"2002","unstructured":"Cordero P, Mora A, Enciso M, de Guzm\u00e1n IP (2002) SLFD logic: elimination of data redundancy in knowledge representation. Lect Notes Comput Sci 2527:141\u2013150","journal-title":"Lect Notes Comput Sci"},{"issue":"2","key":"2453_CR8","doi-asserted-by":"publisher","first-page":"40","DOI":"10.5430\/air.v5n2p40","volume":"5","author":"NRM Moraes de","year":"2016","unstructured":"de Moraes NRM, Dias SM, Freitas HC, Z\u00e1rate LE (2016) Parallelization of the next closure algorithm for generating the minimum set of implication rules. Artif Intell Res 5(2):40\u201354","journal-title":"Artif Intell Res"},{"key":"2453_CR9","volume-title":"Knowledge spaces","author":"J Doignon","year":"1998","unstructured":"Doignon J, Falmagne J (1998) Knowledge spaces. Springer, Berlin"},{"key":"2453_CR10","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/11408079_17","volume":"3453","author":"GZ Dong","year":"2005","unstructured":"Dong GZ, Jiang CY, Pei J, Li JY, Wong L (2005) Mining succinct systems of minimal generators of formal concepts. Proc Database Syst Adv Appl 3453:175\u2013187","journal-title":"Proc Database Syst Adv Appl"},{"key":"2453_CR11","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 (1999) Formal concept analysis: mathematical foundations. Springer, Berlin"},{"issue":"95","key":"2453_CR12","first-page":"5","volume":"24","author":"JL Guigues","year":"1986","unstructured":"Guigues JL, Duquenne V (1986) Famille minimale d\u2019implications informatives r\u00e9sultant d\u2019un tableau de donn\u00e9es binaires. Math Sci Hum 24(95):5\u201318","journal-title":"Math Sci Hum"},{"issue":"4","key":"2453_CR13","doi-asserted-by":"publisher","first-page":"19:1","DOI":"10.1145\/2827872","volume":"5","author":"FM Harper","year":"2015","unstructured":"Harper FM, Konstan JA (2015) The movielens datasets: history and context. ACM Trans Interact Intell Syst 5(4):19:1\u201319:19","journal-title":"ACM Trans Interact Intell Syst"},{"key":"#cr-split#-2453_CR14.1","doi-asserted-by":"crossref","unstructured":"Hu X, Wei X, Wang D, Li P (2007) A parallel algorithm to construct concept lattice. In Lei J","DOI":"10.1109\/FSKD.2007.105"},{"key":"#cr-split#-2453_CR14.2","unstructured":"(ed) Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, vol 2, pp 119-123. IEEE Computer Society"},{"issue":"2\u20133","key":"2453_CR15","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1080\/09528130210164170","volume":"14","author":"SO Kuznetsov","year":"2002","unstructured":"Kuznetsov SO, Obiedkov SA (2002) Comparing performance of algorithms for generating concept lattices. J Exp Theor Artif Intell 14(2\u20133):189\u2013216","journal-title":"J Exp Theor Artif Intell"},{"key":"2453_CR16","volume-title":"The theory of relational databases","author":"D Maier","year":"1983","unstructured":"Maier D (1983) The theory of relational databases. Computer Science Press, Rockville"},{"key":"2453_CR17","unstructured":"Missaoui R, Nourine L, Renaud Y (2010) An inference system for exhaustive generation of mixed and purely negative implications from purely positive ones. In: CEUR Workshop Proceedings, vol 672, pp 271\u2013282"},{"issue":"4","key":"2453_CR18","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-2012-659","volume":"115","author":"R Missaoui","year":"2012","unstructured":"Missaoui R, Nourine L, Renaud Y (2012) Computing implications with negation from a formal context. Fundam Inf 115(4):357\u2013375","journal-title":"Fundam Inf"},{"issue":"4","key":"2453_CR19","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1080\/00207160.2011.644275","volume":"89","author":"A Mora","year":"2012","unstructured":"Mora A, Enciso M, Cordero P, Fortes I (2012) Closure via functional dependence simplification. Int J Comput Math 89(4):510\u2013526","journal-title":"Int J Comput Math"},{"key":"2453_CR20","unstructured":"Nishio N, Mutoh A, Inuzuka N (2012) On computing minimal generators in multi-relational data mining with respect to 0-subsumption. In: CEUR Workshop Proceedings, vol 975, pp 50\u201355"},{"issue":"16","key":"2453_CR21","doi-asserted-by":"publisher","first-page":"6538","DOI":"10.1016\/j.eswa.2013.05.009","volume":"40","author":"J Poelmans","year":"2013","unstructured":"Poelmans J, Ignatov DI, Kuznetsov SO, Dedene G (2013) Formal concept analysis in knowledge processing: a survey on applications. Expert Syst Appl 40(16):6538\u20136560","journal-title":"Expert Syst Appl"},{"issue":"2","key":"2453_CR22","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1080\/03081070600913650","volume":"36","author":"K Qu","year":"2007","unstructured":"Qu K, Zhai Y, Liang J, Chen M (2007) Study of decision implications based on formal concept analysis. Int J Gen Syst 36(2):147\u2013156","journal-title":"Int J Gen Syst"},{"key":"2453_CR23","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.ins.2016.10.004","volume":"376","author":"E Rodr\u00edguez-Lorenzo","year":"2017","unstructured":"Rodr\u00edguez-Lorenzo E, Cordero P, Enciso M, Mora \u00c1 (2017) Canonical dichotomous direct bases. Inf Sci 376:39\u201353","journal-title":"Inf Sci"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-018-2453-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-018-2453-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-018-2453-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,3]],"date-time":"2020-11-03T03:02:19Z","timestamp":1604372539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-018-2453-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,4]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["2453"],"URL":"https:\/\/doi.org\/10.1007\/s11227-018-2453-z","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2018,6,4]]},"assertion":[{"value":"4 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}