首页> 外文会议>Functional and logic programming. >A Data Flow Language for Hybrid Query and Programming Languages
【24h】

A Data Flow Language for Hybrid Query and Programming Languages

机译:一种用于混合查询和编程语言的数据流语言

获取原文
获取原文并翻译 | 示例

摘要

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.
机译:在本文中,我们介绍了trix,它规范了用于实现数据库以及编程结构的算法的低级描述中使用的数据流机制。我们表明,数据流形式化允许物理数据库操作员的简洁表达和功能评估,形式化允许对所有这些范例的程序等效性进行统一推理。具体来说,我们正式介绍Trix,说明编程模式(特别是查询)如何转换为TRIX,并使用“数据流等效”等式推理来说明一些常见的优化方法。最后,我们展示了使用trix作为中间语言如何提高某些标准基准测试的性能。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号