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

Celý popis

Podrobná bibliografie
Hlavní autoři: Gibbons, J, Henglein, F, Hinze, R, Wu, N
Médium: Journal article
Vydáno: Association for Computing Machinery 2018
Témata:

Podobné jednotky