Considere o seguinte modelo relacional para a questão a seguir. Este modelo descreve um banco de dados de uma biblioteca que é usado para manter o controle de livros, usuários e empréstimos de livros. As restrições de integridade referencial são mostradas como arcos direcionados.

O modelo relacional tem como base teórica a álgebra relacional e o cálculo relacional. Entre as operações da álgebra relacional, pode-se citar:
- Sc(R): Seleção de tuplas da relação R que satisfazem a condição C
- Pa(R): Projeção dos atributos das tuplas da relação R
- T ← R: Nomeação de relação
- S * R: Junção Natural
Uma expressão da álgebra relacional que retorna o nome dos usuários que tomaram emprestado algum livro de “PC” é: