The database-theory tag has no usage guidance.

**0**

votes

**0**answers

36 views

### monoidal product over database table entries

We have seen, from spivak that database schemas are categories, having tables as objects and relationships as morphisms. I am wondering if we can have a monoidal product over objects, that is, over ...

**2**

votes

**4**answers

2k 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

**3**answers

2k 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

**0**answers

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