Automatic Reordering for Dataflow Safety of Datalog
Automatic Reordering for Dataflow Safety of Datalog
复制标题
自动重新排序以确保数据记录的数据流安全
DOI：
10.1145/3236950.3236954
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Contrastin M
中科院分区：
文献类型：
--
作者：
Contrastin M
数据记录程序中的子句和子目标可以以任何顺序给出，而不会影响程序的含义。然而，该语言的实际应用需要使用具有特定数据流要求的内置或外部谓词。这些可以表示为参数上的输入或输出“模式”。我们描述了对Datalog建模的静态分析，它计算了如何通过重新排序子句子目标来将不良模式的程序转换为良好模式的程序，以满足数据流的要求。我们描述了一种增量算法，如果存在重排序，该算法可以有效地找到重排序。这使程序员可以专注于程序的声明性规范，而不是外部谓词的实现细节。我们证明了我们计算的重新排序产生良好模式的程序(完备性)，如果一个程序可以使良好模式，那么我们计算一个重新排序来做到这一点(完备性)。
Clauses and subgoals in a Datalog program can be given in any order without affecting program meaning. However, practical applications of the language require the use of built-in or external predicates with particular dataflow requirements. These can be expressed as input or output "modes" on arguments. We describe a static analysis of moding for Datalog which calculates how to transform an ill-moded program into a well-moded program by reordering clause subgoals to satisfy dataflow requirements. We describe an incremental algorithm which efficiently finds a reordering if it exists. This frees the programmer to focus on the declarative specification of a program rather than implementation details of external predicates. We prove that our computed reorderings yield well-moded programs (soundness) and if a program can be made well-moded, then we compute a reordering to do so (completeness).
登录
查看更多内容
DOI：
--
发表时间：
1985
期刊：
TODS
影响因子：
--
作者：
J. Ullman
通讯作者：
J. Ullman
逻辑程序的自动模式推理
DOI：
--
发表时间：
1988
期刊：
The Journal of Logic Programming
影响因子：
--
作者：
S. Debray;D. Warren
通讯作者：
D. Warren
DOI：
--
发表时间：
1974
期刊：
IFIP Congress
影响因子：
--
作者：
A. Martelli
通讯作者：
A. Martelli
基于约束的汞模式分析
影响因子：
2
作者：
D. Overton;Z. Somogyi;Peter James Stuckey
通讯作者：
Peter James Stuckey
魔法的力量
DOI：
--
发表时间：
2020
期刊：
The Archaeology of Magic
影响因子：
--
作者：
C. R. Auge
通讯作者：
C. R. Auge