Relational Algebra
I am learning about how SQL is based on mathematical theory called relational algebra. It's a set of ideas, or a standard of what a good relational database design should be. it's quite formal and seems to draw mainly from set theory, but I also don't think it gets very mathematically abstract, and I don't want the following to give the impression that there's more abstraction going on than there really is in relational theory, but-- One thing I am excited about is this:
A join is the product of matrix multiplication
I've never seen matricies actually being used! It's absolutely incredible how there is a very real and tangible theory behind something to ubiquitous and practical as database design.











