Advertisement
Published in:
2012 | OriginalPaper | Chapter
A Data Flow Language for Hybrid Query and Programming Languages
Authors : Kristoffer H. Rose, Lionel Villard, Naoto Sato
Published in: Functional and Logic Programming
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.