An Algebra with a Fixpoint Operator for Distributed Data Collections

Sarah Chlyah 1 Nils Gesbert 1 Pierre Genevès 1 Nabil Layaïda 1
1 TYREX - Types and Reasoning for the Web
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We present an algebra with a fixpoint operator which is suitable for modeling computations with distributed collections found in big data frameworks. We show that under reasonable conditions this fixpoint can be evaluated by parallel loops with one final merge rather than by a global loop requiring network overhead after each iteration. We also show when and how filters can be pushed through recursive terms, proposing optimisation rules. This makes it possible to develop algebraic optimizations in the presence of recursion, in a way which is especially suited for query optimizers and compilers targeting big data frameworks.
Complete list of metadatas

https://hal.inria.fr/hal-02066649
Contributor : Tyrex Equipe <>
Submitted on : Wednesday, March 13, 2019 - 3:35:29 PM
Last modification on : Tuesday, April 2, 2019 - 1:47:14 AM
Long-term archiving on : Friday, June 14, 2019 - 4:44:21 PM

File

article.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02066649, version 1

Collections

INRIA | UGA | LIG

Citation

Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda. An Algebra with a Fixpoint Operator for Distributed Data Collections. 2019. ⟨hal-02066649⟩

Share

Metrics

Record views

104

Files downloads

142