This document discusses theoretical relational languages and operations including relational algebra, relational calculus, and normalization. It defines common relational algebra operations like union, intersection, difference, projection, selection, product, join and division. It also discusses normalization forms including first normal form, second normal form, and third normal form which are used to eliminate anomalies and dependencies in database design.