The document discusses relational algebra and relational calculus. It describes unary and binary relational operations in relational algebra such as select, project, union, intersection, difference. It also covers additional operations like join, division and aggregate functions. The document then discusses tuple relational calculus and domain relational calculus, explaining expressions, quantifiers, and how they are used to form relational queries.