The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
4answers
871 views

Math behind databases management and SQL ?

Are there some mathematical theories/theorems/... behind modern development of database management systems and in particular of SQL ? I am refreshing my knowledge of these things which are quite ...
9
votes
3answers
1k views

Higher categories as data structures

Still wading through higher category theory. I find the subject a bit intimidating, not so much for technical reasons, but because I lack sufficient intuition as to the motivation(s)/heuristics one ...
1
vote
0answers
239 views

Surveys of relational algebra and calculus

Can anyone point me to short survey articles of mathmatical expositions of Codd's relational algebra and calculus (from database theory)? I suspect there's some straightforward categorical ...