Реляционное исчисление доменов

Реляционное исчисление кортежей состоит в отыскании таких кортежей, для которых предикат является истинным.

Например: staff – отношение работник.

Staff (code, FIO, salary)

RANGE OF s IS – определяем область, на которой задается отношение.

Атрибуты s.code, s.FIO | условие s.salary.

Если необходимо указать число кортежей, то используется формула квантор общности (") и квантор сущности ($).

Кв. Сущ – используется в формуле, кот должна быть истинной хотябы для одного экземпляра.

Например: RANGE OF s IS STAFF

$ s {s.FIO=”Иванов”Ùs.salary>300 000}

Квант общности используется, когда необходимо применять его ко всем экземплярам отношений.

s – переменная. Переменные делятся на свободные и связные (в данном случае s – связное).

Branch (OTD, NotD, City)

RANGE OF b IS Branch

$ b {b.OTD, b.NotD | b.City=”Минск”}

Переменные кортежей наз свободными переменными, если они не связаны квантами. В противном случае переменные наз связанными.

Реляционное исчисление доменов и кортежей является основоположником непроцедурных языков. На их основе написан язык SQL.

Существуют язык БД – QBE (Query By Example). В его основу положено реляционное исчисление доменов

В Рел Исчисл Доменов значения выбираются из доменов отношения

Используются переменные, которые берутся из доменов отношения. Если у нас p (d₁, d₂,..., d_n) – представляют предикат заданный на переменных d₁, d₂,..., d_n, то множество всех переменных { d₁, d₂,..., d_n | P(d₁, d₂,..., d_n)}

Отыщем сотрудников, заработная плата которых превышает заданную:

{FIO | $ salary (staff(FIO, salary) Ùsalary>250 000)}

19. Концепция ER – модели (см так же вопрос № 22)

Модель «сущность-связь» (Entity-Relationship model или ER-модель) представляет собой высокоуровневую концептуальную модель данных, которая была разработана Ченом в 1976 г. с целью упрощения задачи проектирования баз данных. Основные концепции модели «сущность-связь» включают типы сущностей, типы связей и атрибуты.

Типы сущностей – объект или концепция, которая характеризуется на данном предприятии независимым существованием. Тип сущности может быть объектом с физическим (реальным) существованием или объектом с концептуальным или абстрактным существованием. Рассмотрим учебный проект DREAMHOME - сдача недвижимости в аренду и выделим сущности с физическим и концептуальным содержанием:

Каждый тип сущности идентифицируется именем и списком свойств. Типы сущностей можно классифицировать как сильные и слабые.

Слабый тип сущности – тип сущности, существование которого зависит от какого-то другого типа сущности. Слабые сущности иногда называют дочерними, зависимыми или подчиненными.

Сильный тип сущности – тип сущности, существование которого не зависит от какого другого типа сущности.,Сильные сущности иногда называются родительскими, сущностями-владельцами или доминантными. Примеры сильных сущностей – Работник (Staff), Отделение (Branch). Каждый сильный тип сущности изображается в виде прямоугольника с именем сущности внутри него, а каждый слабый тип сушности – в виде прямоугольника с двойным контуром.

Отдельные свойства сущности называются атрибутами. Атрибуты подразделяются на простые, составные, однозначные, многозначные, производные.

Простой атрибут – атрибут, состоящий из нескольких компонентов, каждый из которых характеризуется независимым существованием.

Составной атрибут состоит из нескольких компонентов, каждый из которых характеризуется независимым существованием. Например, атрибут Adress может рассматриваться как простой атрибут, а может разбиваться на атрибуты Street, City, Postcode.

Однозначный атрибут – атрибут, который содержит одно значение для одной сущности. Многозначный атрибут – атрибут, который содержит несколько значений для одной сущности. Например, номер телефона – многозначный атрибут для предприятия, так как любое предприятие как правило имеет более одного номера.

Производный атрибут – атрибут, который представляет значение, производное от значения, связанного с ним атрибута. Например, возраст сотрудника (Age) является величиной, производной от его даты рождения (Date). Производные атрибуты могут также вычисляться на основе нескольких взаимосвязанных атрибутов различных сущностей.

На диаграммах атрибуты изображаются в виде эллипсов. Эллипс окружен пунктирным контуром, если атрибут является производным, двойным контуром, если атрибут является многозначным. Если атрибут является составным, его атрибуты-компоненты изображаются в виде присоединенных к нему эллипсов. Имя атрибута, который является первичным ключом данного типа сущности, подчеркивается.

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