Declaración SQL que implementa la "división" en álgebra relacional

Dadas las relaciones R(X,Y) y S(Y,Z), donde X,Y,Z son grupos de atributos, Y en R e Y en S pueden tener diferentes nombres de atributos, pero deben provenir del mismo conjunto de dominios. el resultado de dividir R y S es una nueva relación P(X), que es la proyección de la tupla de R sobre la columna de atributos de X si se cumplen las siguientes condiciones: el conjunto de imágenes del componente x de la tupla sobre X Y(x) contiene el conjunto de proyecciones de S sobre Y. Es decir, el conjunto de proyecciones de S sobre Y.

Paso 1: Encuentra el mismo atributo, el atributo Y, en la relación R y la relación S. Haga la proyección de Y en la relación S (es decir, saque la columna Y);

Paso 2: Si las columnas de atributos en la relación R y la relación S no son las mismas que X, proyecte el atributo X en la relación R. , cancelar valores duplicados

Paso 3: Encuentre el conjunto de imágenes Y correspondiente al atributo X en la relación R

Paso 4: Determine el; relación de inclusión R÷S, que en realidad es para determinar la relación si el valor de imagen de X en R contiene el atributo establecido en la relación S en el conjunto Y. R÷S esencialmente determina si el conjunto de imágenes Y para cada valor de X en la relación R contiene todos los valores del atributo Y en la relación S.

La operación R(X, Y)÷S(Y, Z) se puede expresar de la siguiente forma utilizando sentencias SQL en lenguaje estructurado: