O documento discute as linguagens de consulta formal Álgebra Relacional e Cálculo Relacional. A Álgebra Relacional fornece operadores como seleção, projeção e produto cartesiano que podem ser combinados para extrair informações de uma base de dados. O Cálculo Relacional estende a Álgebra Relacional com quantificadores universal e existencial. Exemplos ilustram como essas operações podem ser usadas para consultas em tabelas de um banco de dados relacional.