A álgebra relacional é uma linguagem que define um conjunto de operações formais usado para manipular e consultar dados em bancos de dados relacionais. Considere que duas relações têm esquemas compatíveis se elas possuem o mesmo número de atributos (campos) e os domínios do i-ésimo atributo de cada relação, com i variando de 1 até o número de atributos das relações, possuem tipos de dados (domínios) compatíveis. Na álgebra relacional, quais operações exigem que as duas relações envolvidas na operação tenham esquemas compatíveis?