A data flow language for hybrid query and programming languages
FLOPS'12: Proceedings of the 11th international conference on Functional and Logic Programming(2012)
摘要
In this paper, we present trix, which formalizes the data flow mechanisms used in low level descriptions of algorithms that implement data base as well as programming constructs. We show that the data flow formalism permits concise expression of physical data base operators and functional evaluation, and that the formalism permits unified reasoning about the equivalence of programs of each and all of these paradigms. Specifically, we present trix formally, illustrate how programming patterns (specifically queries) translate into trix, and use "data flow equivalence" equational reasoning to show some common optimizations correct. Finally we show how the use of trix as an intermediate language can improve performance for some standard benchmarks.
更多查看译文
关键词
present trix,data base,programming pattern,equational reasoning,programming language,programming construct,data flow equivalence,hybrid query,data flow language,data flow mechanism,unified reasoning,physical data base operator,data flow formalism
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要