Relational algebra by way of adjunctions
Bulk types such as sets, bags, and lists are monads, and therefore support a notation for database queries based on comprehensions. This fact is the basis of much work on database query languages. The monadic structure easily explains most of standard relational algebra—specifically, selections and...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
Association for Computing Machinery
2018
|
| Subjects: |