АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Реляционное исчисление: исчисление кортежей и доменов. Сравнение механизмов реляционной алгебры и реляционного исчисления на примере формулирования запроса

Читайте также:
  1. АНАЛИЗ ИСЧИСЛЕНИЯ И УПЛАТЫ НДС НА ПРИМЕРЕ ПРЕДПРИЯТИЯ ОАО «ЦЭМ - комплект»
  2. Б) Элемент, не связанный ни с каким полем таблицы или запроса.
  3. Базовые понятия реляционной модели данных. Ключи. Неопределенные значения. Ссылочная целостность и способы ее поддержания. Атомарность атрибутов и 1НФ.
  4. В процессе анализа проводят также сравнение затрат на 1 руб. товарной продукции в динамике и, если есть возможность, сравнение со среднеотраслевым показателем.
  5. Вопрос 6. Ранняя греческая тирания (на примере Сикиона, Коринфа и Самоса).
  6. Вопрос № 11. Разрешается ли использование ограничителей рабочих движений в качестве рабочих органов для автоматической остановки механизмов?
  7. Выпускники дарят цветы учителям алгебры и геометрии.
  8. ГЛАВА 1. АНАЛИЗ ЗАДАЧ И ФУНКЦИЙ ТАМОЖЕННЫХ ОРГАНОВ В СОВРЕМЕННЫХ УСЛОВИЯХ НА ПРИМЕРЕ ЦЕНТРАЛЬНОЙ БАЗОВОЙ ТАМОЖНИ
  9. ГЛАВА 2. АНАЛИЗ ЖИЗНЕННОГО ЦИКЛА НА ПРИМЕРЕ ТОВАРА «IPHONE» КОМПАНИИ «APPLE INC.»
  10. Глава 2. Подбор управленческих кадров на примере гостиницы «Космос»
  11. Глава 3: Родовые недостатки системы обязательного социального страхования (на примере медицинского страхования РФ)
  12. Глава V. От осмысления механизмов воздействия на психику человека до попыток практической реализации

Сравнение механизмов реляционной алгебры и реляционного исчисления

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

 

 

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

 

СЛУЖАЩИЕ {СЛУ_НОМ, СЛУ_ИМЯ, СЛУ_ЗАРП, ПРО_НОМ}

и

ПРОЕКТЫ {ПРО_НОМ, ПРОЕКТ_РУК, ПРО_ЗАРП}

В отношении ПРОЕКТЫ атрибут ПРОЕКТ_РУК содержит имена служащих, являющихся руководителями проектов, а атрибут ПРО_ЗАРП – среднее значение зарплаты, получаемой участниками проекта. Мы хотим узнать имена и номера служащих, которые являются руководителями проектов со средней заработной платой, превышающей 18000 руб.

 

Если бы для формулировки такого запроса использовалась реляционная алгебра, то мы получили бы, например, следующее алгебраическое выражение:

 

(СЛУЖАЩИЕ JOIN ПРОЕКТЫ

WHERE

(СЛУ_ИМЯ = ПРОЕКТ_РУК AND ПРО_ЗАРП > 18000.00))

PROJECT (СЛУ_ИМЯ, СЛУ_НОМ)

 

Это выражение можно было бы прочитать, например, следующим образом:

1) Выполнить эквисоединение отношений СЛУЖАЩИЕ и ПРОЕКТЫ по условию

СЛУ_ИМЯ = ПРОЕКТ_РУК;

2) Ограничить полученное отношение по условию ПРО_ЗАРП > 18000.00;

спроецировать результат предыдущей операции на атрибут СЛУ_ИМЯ, СЛУ_НОМ.

 

Мы четко сформулировали последовательность шагов выполнения запроса, каждый из которых соответствует одной реляционной операции.

Если же сформулировать тот же запрос с использованием реляционного исчисления то мы получили бы два определения переменных:

 

RANGE СЛУЖАЩИЙ IS СЛУЖАЩИЕ и

RANGE ПРОЕКТ IS ПРОЕКТЫ

И выражение

СЛУЖАЩИЙ.СЛУ_ИМЯ, СЛУЖАЩИЙ.СЛУ_НОМ WHERE EXISTS (СЛУЖАЩИЙ.СЛУ_ИМЯ = ПРОЕКТ.ПРОЕКТ_РУК AND ПРОЕКТ.ПРО_ЗАРП > 18000.00).

 

Это выражение можно было бы прочитать, например, следующим образом: выдать значения СЛУ_ИМЯ и СЛУ_НОМ для каждого кортежа служащих такого, что существует кортеж проектов со значением ПРОЕКТ_РУК, совпадающим со значением СЛУ_НОМ этого кортежа служащих, и значением ПРО_ЗАРП, большим 18000.00.

 

Во второй формулировке мы указали лишь характеристики результирующего отношения, но ничего не сказали о способе его формирования. В этом случае система сама должна решить, какие операции и в каком порядке нужно выполнить над отношениями СЛУЖАЩИЕ и ПРОЕКТЫ. Обычно говорят, что алгебраическая формулировка является процедурной, т. е. задающей последовательность действий для выполнения запроса, а логическая — описательной (или декларативной), поскольку она всего лишь описывает свойства желаемого результата.

 

Исчисление кортежей и доменов

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


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)