.png){kind=icon}
返回
An Executable Specification of Map-Join-Reduce Using Haskell
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2019.2891285.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The Map-Join-Reduce programming model effectively supports the join operation among different heterogeneous data sets by adding the Join module and processes the multiway joining directly. In this paper, we propose a rigorous description of the Map-Join-Reduce that performs as an executable specification. First, this paper briefly introduces the differences between the Map-Join-Reduce and the MapReduce. Then, we use Haskell to specify each module of the Map-Join-Reduce programming model and analyze the structure and function of each module. Finally, we test the specification by analyzing an example of the mall sales records. The executable specification contributes to helping the developers to unscramble the relationship between the MapReduce and the Map-Join-Reduce, which may serve as a basis for further development of the theory of related programming model design. Furthermore, the most important function of an executable specification is guaranteeing the target informal or semi-formal model with interesting properties. This paper is a forward step to prepare for verifying related properties and, even, providing verified prototypes.
Keyword:
Cloud computing
executable specification
programming model
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
pH Dependence of the Four Individual Transitions in the Catalytic S-Cycle during Photosynthetic Oxygen Evolution.png)
Biochemistry
BiochemistryIF0
PREAI
分享收藏SHadoop: Improving MapReduce performance by optimizing job execution mechanism in Hadoop clusters
PREAI
分享收藏Replication of Chinese sacbrood virus in primary cell cultures of Asian honeybee (Apis cerana)中华蜜蜂（Apis cerana）原代细胞培养物中蜜蜂囊状幼虫病毒（Chinese sacbrood virus）的复制
PREAI
分享收藏Concurrent Validity and Feasibility of Short Tests Currently Used to Measure Early Childhood Development in Large Scale Studies: Methodology and Results同时效度与大范围研究中当前用于测量儿童早期发展的简短测试的可行性：方法学与结果
OAAI
IF0
OAAI分享收藏
查看更多内容