A Complete Language for Faceted Dataflow Programs
Logic in Computer Science
2020-09-16 v2 Databases
Category Theory
Abstract
We present a complete categorical axiomatization of a wide class of dataflow programs. This gives a three-dimensional diagrammatic language for workflows, more expressive than the directed acyclic graphs generally used for this purpose. This calls for an implementation of these representations in data transformation tools.
Keywords
Cite
@article{arxiv.1906.05937,
title = {A Complete Language for Faceted Dataflow Programs},
author = {Antonin Delpeuch},
journal= {arXiv preprint arXiv:1906.05937},
year = {2020}
}
Comments
In Proceedings ACT 2019, arXiv:2009.06334