Схема отношения (заголовок) - это именованное множество пар {имя атрибута, имя домена}, причем существует взаимно однозначное соответствие м/у атрибутами и определяющими их доменами. Если все атрибуты одного отношения определены на разных доменах, имеет смысл именовать атрибуты по именам соответствующих доменов (не забывая, конечно, о том, что это является всего лишь удобным способом именования и не устраняет различия м/у понятиями атрибута и домена). Значение отношения (тело отношения) состоит из множества кортежей (возмоно, изменяющегося во времени). Т. о, отношение - это множество кортежей, соответствующих одной схеме. Степень отношения (арность) - это число его атрибутов. Отношение степени один называют унарным, степени два - бинарным, ...,степени n - n-арным. Мощность отношения (кардинальное число) - это число его кортежей. Мощность отношения может изменяться.
10. Реляционная модель данных (манипуляционная часть).
Реляционной называется БД, в которой все данные организованы в виде наборов отношений, а все операции над данными сводятся к операциям над этими отношениями. Схема реляционной БД - это набор именованных схем отношений.
Манипуляционная часть Эта часть базируется на двух основных составляющих: реляционной алгебре (РА) и реляционном исчислении (РИ), которые были предложены Э. Коддом вместе РМД. РА основывается на теории множеств (объединение, пересечение, разность, проекция, селекция). РИ используется для теоретической формулировки запросов, основанной на аппарате мат логики (исчислении предикатов). Э.Кодд выделил следующие элементы прикладного исчисления предикатов: Кортежные переменные. Представляют отношения в исчислении ориентированном на работу с кортежами. Они определяются над множествами кортежей составляющих данное отношение. Кортежные переменные могут добавляться именами атрибутов. Предикат - пропозициональная ф-ия (выражения с неопределенными переменными, при выборе значений которых ф-ия может принимать осмысленное высказывание). Двуместные предикаты X Y; где X-кортежная переменная, Y- кортежная переменная или const, -один из операторов сравнения. Одноместные предикаты выделяют множество кортежей. Квантор - формализованное выражение свойств предикатов ( - квантор существования [все]; -квантор всеобщности [каждый]). Правильно построенная формула (ППФ) состоит из предикатов, логических операторов и кванторов (в теории СУБД ППФ есть запрос к БД). РА и РИ различаются по уровню процедурности: РА-процедурно, РИ-деклоративно, но это означает, что в РА пользователь должен сам задать последовательность операций для достижений конкретных результатов, которые помещаются в новое отношение.
11. Понятие целостности в РМ. Ограничения, накладываемые требованием целостности по ссылкам.
Целостная часть Целостная часть РМД определяет два базовых требования целостности, которые должны поддерживаться в любой реляционной СУБД: 1. Требование целостности сущностей. Объекту или сущности реального мира в РБД соответствуют кортежи отношений. Конкретно требование состоит в том, что любой кортеж отношения должен быть отличим от любого другого кортежа этого отношения, т. е отношение должно обладать первичным ключом. 2. Требование целостности по ссылкам. Т. е значения в различных таблицах должны каким-то образом быть связаны, или соотноситься м/у собой. Другими словами: для каждого значения внешнего ключа в отношении, на которую указывает ссылка, должен найтись кортеж с таким же значением первичного ключа, либо значение внешнего ключа должно быть неопределенным (т. е. ни на что не указывать). Целостность сущностей и ссылок должна поддерживаться СУБД. Для соблюдения целостности сущности достаточно обеспечить отсутствие в любом отношении кортежей с одинаковыми значениями первичного ключа. Для удалении кортежей отношения на который есть ссылка существует три подхода: запрет (Restrict), каскадное удаление (Cascade) и игнорирование (Ignore).
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.