Теория баз данных



         

Специальные операции реляционной алгебры - часть 3


  • Aj Qj Вi Di Qi — i-й предикат сравнения, определяемый из множества допустимых на домене Di операций сравнения.

    R [ Р ] Q = { r.q) | (г. q) | r.A Qj q.Bj - «Истина», i=l,k}

    Например, рассмотрим следующий запрос. Пусть отношение R15 содержит перечень деталей с указанием материалов, из которых эти детали изготавливаются, и оно имеет вид:

    R15

    Шифр детали

    Название детали

    Материал

    00011073

    Гайка Ml

    сталь-ст1

    00011075

    Гайка М2

    сталь-ст2

    00011076

    Гайка МЗ

    сталь-ст1

    00011003

    Болт М1

    сталь-стЗ

    00011006

    Болт МЗ

    сталь-стЗ

    00013063

    Шайба Ml

    сталь-ст1

    00013066

    Шайба МЗ

    сталь-ст1

    00011077

    Гайка М4

    сталь-ст2

    00011004

    Болт М2

    сталь-стЗ

    00011005

    Болт М5

    сталь-стЗ

    00013062

    Шайба М2

    сталь-ст1

    R16

    Название детали

    Гайка M1

    Гайка МЗ

    Шайба М1

    Шайба МЗ

    Шайба М2

    Получим перечень деталей, которые изготавливаются в цеху 1 из материала «сталь-ст1»

    R16 = (R15[(R15Шифр детали =R10.Шифр детали) ^R10.Цех = «Цех1» ^ ^ R15.Материал =«сталь-ст1»] R10)[Hазвание детали]

    Последней операцией, включаемой в набор операций реляционной алгебры, является операция деления.

    Для определения операции деления рассмотрим сначала понятие множества образов.

    Пусть R — отношение со схемой SR = (A1, A2 ,..., Ak);

    Пусть А — некоторый набор атрибутов А

    { Аi } i=l,k , А1 — набор атрибутов, не входящих в множество А.

    Пересечение множеств А и А1 пусто: А

    А1 = 0; объединение множеств равно множеству всех атрибутов исходного отношения: A
    А1 = SR.

    Тогда множеством образов элемента у проекции R[А] называется множество таких элементов у проекции R[A1] , для которых сцепление (х, у) является кортежами отношения R, то есть

    QA(x) = {у | у

    R[A1] ^ (х, у)
    R} - множество образов.

    Например, множеством образов отношения R15 по материалу «сталъ-ст2» будет множество кортежей

    К15.Материал = {< 00011075, Гайка М2, «сталь-ст2»>, < 00011077, Гайка М4, «сталь-ст2»>}



    Содержание  Назад  Вперед