Skip to main content

A Complete Language for Faceted Dataflow Programs

Antonin Delpeuch

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.

Address
Oxford
Annote
Comment: to be presented at Applied Category Theory 2019
Book Title
arXiv:1906.05937 [Cs‚ Math]
Keywords
Computer Science − Databases‚Computer Science − Logic in Computer Science‚Mathematics − Category Theory
Month
jun
Series
To Appear in Proceedings of the Applied Category Theory 2019
Year
2019