https://en.wikipedia.org/wiki/Relational_algebra
http://merrigrove.blogspot.com.by/2011/12/another-introduction-to-algebraic-data.html