Categorical Models for BigData
Authors:
- Laurent ThiryLTLaurent Thiry
- Heng ZhaoHZHeng Zhao
- Michel HassenforderMHMichel Hassenforder
- 1 July 2018
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 272-275
Abstract
This paper shows how concepts coming from category theory associated to a functional programming language can help to formalize and reason about data and get efficient programs in a BigData context. More precisely, it shows how data structures can be modeled by functors related by natural transformations (and isomorphisms). The transformation functions can then serve to shift a data structure and then get another program (eventually educing time complexity). The paper then explains the main concepts of the theory, how to apply them and gives an application to a concrete database and the performances obtained.Keywords
This publication has 4 references indexed in Scilit:
- Big Data: A SurveyMobile Networks and Applications, 2014
- Query languages for graph databasesACM SIGMOD Record, 2012
- Purely Functional Data Structures1998
- A categorical manifestoMathematical Structures in Computer Science, 1991