.png){kind=icon}
返回
PARALLEL AND DISTRIBUTED-PROCESSING OF RULES BY DATA-REDUCTION
.png){kind=icon}
PRE
AI
DOI：10.1109/69.224203.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The paper is concerned with the parallel evaluation of datalog rule programs, mainly by processors that are interconnected by a communication network. A paradigm, called data-reduction, for the parallel evaluation of a datalog program, is introduced. Parallelization is by partitioning the rule-instantiations among the processors. After presenting the paradigm, its implementation with seminaive evaluation, its communication overhead, and its application to stratified-negation datalog programs are discussed. It is proven that decomposability, a related concept introduced in previous works, is undecidable.
Keyword:
COMMUNICATION
DATA REDUCTION
DATABASES
DATALOG
DISTRIBUTED COMPUTING
PARALLEL COMPUTING
LOGIC PROGRAMMING
RULES
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
10.4
论文数:
6.8K
被引数:
3.2W
机构
暂无机构信息
引用论文
Invisible mobilities: stigma, immobilities, and female sex workers’ mundane socio-legal negotiations of Dhaka’s urban space.png)
Mobilities
OAAI
MobilitiesIF0
OAAI分享收藏
查看更多内容