Questão de Informática

O operador DIVISÃO (÷) da álgebra relacional é aplicado a duas relações, R e S e descrito por R(Z) ÷ S(X) onde X ⊆ Z (X está contido ou é igual a Z). O resultado da aplicação do operador DIVISÃO é uma relação T(Y), onde Y é o conjunto de atributos de R que não são atributos de S. Considere as seguintes afirmações sobre o operador DIVISÃO: I. T(Y) inclui uma tupla t se tuplas tR aparecem em R com tR[Y] = t e com tR[X] = tS para toda tupla tS em S. II. Para uma tupla t aparecer no resultado T, os valores em t devem aparecer em R em combinação com toda tupla em S. III. O operador DIVISÃO pode ser expresso como T3, obtida por uma sequência de operadores PROJEÇÃO (π) DIFERENÇA (-) , conforme segue: T1  πY(R) T2  πY((S × T1) – R) T3  T1 – T2 , PRODUTO CARTESIANO (×) E