{"id":"https://openalex.org/W2909844380","doi":"https://doi.org/10.1109/access.2019.2891285","title":"An Executable Specification of Map-Join-Reduce Using Haskell","display_name":"An Executable Specification of Map-Join-Reduce Using Haskell","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2909844380","doi":"https://doi.org/10.1109/access.2019.2891285","mag":"2909844380"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2891285","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2891285","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2019.2891285","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075389421","display_name":"Junqi Ren","orcid":"https://orcid.org/0000-0002-4679-3654"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Junqi Ren","raw_affiliation_strings":["Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107410499","display_name":"Lei Liu","orcid":"https://orcid.org/0000-0003-3724-0596"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4210134929","display_name":"Jilin Province Science and Technology Department","ror":"https://ror.org/049x38272","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210134929"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Liu","raw_affiliation_strings":["College of Computer Science and Technology, Jilin University, Changchun, China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I4210134929","https://openalex.org/I194450716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112990503","display_name":"Feng Liu","orcid":"https://orcid.org/0000-0001-9987-782X"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feng Liu","raw_affiliation_strings":["Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061813463","display_name":"Wenbo Zhou","orcid":"https://orcid.org/0000-0002-1009-4544"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenbo Zhou","raw_affiliation_strings":["Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012433446","display_name":"Shuai L\u00fc","orcid":"https://orcid.org/0000-0002-8081-4498"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuai Lu","raw_affiliation_strings":["Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5075389421"],"corresponding_institution_ids":["https://openalex.org/I194450716"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.0174,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81777606,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"7","issue":null,"first_page":"10892","last_page":"10904"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10742","display_name":"Peer-to-Peer Network Technologies","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.9231005907058716},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.8884284496307373},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8663281202316284},{"id":"https://openalex.org/keywords/join","display_name":"Join (topology)","score":0.7087154388427734},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6413446664810181},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4124370217323303},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35648077726364136}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.9231005907058716},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.8884284496307373},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8663281202316284},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.7087154388427734},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6413446664810181},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4124370217323303},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35648077726364136},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2019.2891285","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2891285","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:8a36cedafb6540a09329c438bf422a2f","is_oa":true,"landing_page_url":"https://doaj.org/article/8a36cedafb6540a09329c438bf422a2f","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 10892-10904 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2891285","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2891285","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2201906359","display_name":null,"funder_award_id":"101832018C025","funder_id":"https://openalex.org/F4320322300","funder_display_name":"Jilin University"},{"id":"https://openalex.org/G2445422351","display_name":null,"funder_award_id":"61300049","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3991955824","display_name":null,"funder_award_id":"61502197","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6941842403","display_name":null,"funder_award_id":"61503044","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322300","display_name":"Jilin University","ror":"https://ror.org/00js3aw79"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W52405907","https://openalex.org/W186161786","https://openalex.org/W1962025701","https://openalex.org/W1967838552","https://openalex.org/W1976746888","https://openalex.org/W1985419898","https://openalex.org/W2013344760","https://openalex.org/W2021908684","https://openalex.org/W2023353493","https://openalex.org/W2044490410","https://openalex.org/W2064349969","https://openalex.org/W2070069063","https://openalex.org/W2098935637","https://openalex.org/W2102840489","https://openalex.org/W2103628211","https://openalex.org/W2118380183","https://openalex.org/W2119528150","https://openalex.org/W2125520775","https://openalex.org/W2130846267","https://openalex.org/W2154894831","https://openalex.org/W2158056686","https://openalex.org/W2173213060","https://openalex.org/W2201122134","https://openalex.org/W2223789765","https://openalex.org/W2312206384","https://openalex.org/W2317485026","https://openalex.org/W2317762284","https://openalex.org/W2746552017","https://openalex.org/W2883572722","https://openalex.org/W6699470915"],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W3004782279","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W1975276861","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W1591331302","https://openalex.org/W1671914757","https://openalex.org/W1966969028"],"abstract_inverted_index":{"The":[0,91],"Map-Join-Reduce":[1,35,51,65],"programming":[2,66,123],"model":[3,67,124,142],"effectively":[4],"supports":[5],"the":[6,16,21,34,47,50,53,64,70,80,87,97,101,104,107,119,127,137],"join":[7],"operation":[8],"among":[9],"different":[10],"heterogeneous":[11],"data":[12],"sets":[13],"by":[14,82],"adding":[15],"Join":[17],"module":[18,62],"and":[19,52,68,72,106],"processes":[20],"multiway":[22],"joining":[23],"directly.":[24],"In":[25],"this":[26,43],"paper,":[27],"we":[28,56,78],"propose":[29],"a":[30,113,149],"rigorous":[31],"description":[32],"of":[33,63,74,86,118,121,131],"that":[36],"performs":[37],"as":[38,112],"an":[39,84,132],"executable":[40,92,133],"specification.":[41],"First,":[42],"paper":[44,147],"briefly":[45],"introduces":[46],"differences":[48],"between":[49,103],"MapReduce.":[54],"Then,":[55],"use":[57],"Haskell":[58],"to":[59,95,99,152],"specify":[60],"each":[61,75],"analyze":[69],"structure":[71],"function":[73,130],"module.":[76],"Finally,":[77],"test":[79],"specification":[81,93,134],"analyzing":[83],"example":[85],"mall":[88],"sales":[89],"records.":[90],"contributes":[94],"helping":[96],"developers":[98],"unscramble":[100],"relationship":[102],"MapReduce":[105],"Map-Join-Reduce,":[108],"which":[109],"may":[110],"serve":[111],"basis":[114],"for":[115,154],"further":[116],"development":[117],"theory":[120],"related":[122,156],"design.":[125],"Furthermore,":[126],"most":[128],"important":[129],"is":[135,148],"guaranteeing":[136],"target":[138],"informal":[139],"or":[140],"semi-formal":[141],"with":[143],"interesting":[144],"properties.":[145],"This":[146],"forward":[150],"step":[151],"prepare":[153],"verifying":[155],"properties":[157],"and,":[158],"even,":[159],"providing":[160],"verified":[161],"prototypes.":[162]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}