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...
Những tác giả chính: | , , , |
---|---|
Định dạng: | Journal article |
Được phát hành: |
Association for Computing Machinery
2018
|
Những chủ đề: |