Uma operação importante em banco de dados relacionais é a divisão relacional, que denotaremos por ÷. Adotando a notação T[A,B] para indicar os atributos em consideração, mesmo que a tabela tenha mais do que os atributos A e B, analise as proposições a seguir.
1) R[X,Y]÷S[Y] resulta na tabela:
2) R[X,Z]÷S[Z] resulta na tabela:
3) R[Y,Z]÷S[Z] resulta na tabela:
4) R[Y,Z]÷S[Y] resulta na tabela:
Os resultados estão corretos em:
