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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Gibbons, J, Henglein, F, Hinze, R, Wu, N
Định dạng: Journal article
Được phát hành: Association for Computing Machinery 2018
Những chủ đề: