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


         

Aj Qj Вi Di Qi



  • 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»>}

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