Lecture Database system concepts (6/e): Chapter 6 - Silberschatz, Korth, Sudarshan

Chapter 6 - Formal relational query languages. In this chapter, we start by presenting the relational algebra, which forms the basis of the widely used SQL query language. We then cover the tuple relational calculus and the domain relational calculus, which are declarative query languages based on mathematical logic.