Kleisli Database Instances
@article{Spivak2012KleisliDI, title={Kleisli Database Instances}, author={David I. Spivak}, journal={ArXiv}, year={2012}, volume={abs/1209.1011} }
We use monads to relax the atomicity requirement for data in a database. Depending on the choice of monad, the database fields may contain generalized values such as lists or sets of values, or they may contain exceptions such as various types of nulls. The return operation for monads ensures that any ordinary database instance will count as one of these generalized instances, and the bind operation ensures that generalized values behave well under joins of foreign key sequences. Different…
7 Citations
Query Combinators
- Computer ScienceArXiv
- 2017
Rabbit semantics enables pipeline notation, encouraging its users to construct database queries as a series of distinct steps, each individually crafted and tested, and it is believed that Rabbit can serve as a practical tool for data analytics.
Functional query languages with categorical types
- Computer Science
- 2014
It is proved that every hereditarily domain-independent higher-order logic program can be translated into the nested relational algebra, thereby allowing higher- order logic to be used as a query language and giving a higher-orders generalization of Codd's theorem.
Categories at Work 5.1 Adjoint Functors 5.1.1 Discussion and Definition
- Mathematics
We have now set up an understanding of the basic notions of category theory: categories, functors, natural transformations, and universal properties. We have discussed many sources of examples:…
David I. Spivak: Curriculum Vitae
- Education
- 2010
Employment University of Oregon, Mathematics: Paul Olum Visiting Assistant Professor. 2007-present. University of Oregon, Computer Science: guest instructor. Spring 2008, Fall 2008. University of…
Relational foundations for functorial data migration
- Mathematics, Computer ScienceDBPL
- 2015
This work studies the data transformation capabilities associated with schemas that are presented by directed multi-graphs and path equations, and presents an algebraic query language FQL based on these functors, proves that FQL is closed under composition, and proves that SPCU can be implemented with FQL.
References
SHOWING 1-10 OF 36 REFERENCES
Principles of Programming with Complex Objects and Collection Types
- Computer ScienceTheor. Comput. Sci.
- 1995
A relational model of data for large shared data banks
- Computer ScienceCACM
- 1970
A model based on n-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced and certain operations on relations are discussed and applied to the problems of redundancy and consistency in the user's model.
A Calculus for Collections and Aggregates
- Computer ScienceCategory Theory and Computer Science
- 1997
A calculus that should play for database query languages the same role that the lambda calculus plays for functional programming, and a new concept: monads enriched with algebraic structure is introduced.
Monad comprehensions : a versatile representation for queries
- Computer Science
- 2004
This chapter is an exploration of the possibilities that open up if we consistently adopt a style of database query and collection processing which allows us to look inside collections and thus…
Higher Operads, Higher Categories
- Mathematics
- 2003
Part I. Background: 1. Classical categorical structures 2. Classical operads and multicategories 3. Notions of monoidal category Part II. Operads. 4. Generalized operads and multicategories: basics…
Higher dimensional multigraphs
- Computer ScienceProceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
- 1998
The notion of higher dimensional multigraph is introduced, which underlies multicategories and is essentially equivalent to the notion of context-free grammar, and gives a semantically coherent category theoretic approach to the concept of higher order context- free grammar.
Are Operads Algebraic Theories?
- Mathematics
- 2004
I exhibit a pair of non‐symmetric operads that, while not themselves isomorphic, induce isomorphic monads. The existence of such a pair implies that if ‘algebraic theory’ is understood as meaning…
Semirings and their applications
- Mathematics
- 1999
Preface. 1. Hemirings and semirings: definitions and examples. 2. Sets and relations with values in a semiring. 3. Building new semirings from old. 4. Some conditions on semirings. 5. Complemented…