Курсовая работа: База данных по учёту видеокассет

3.3 Правила целостности

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

Базовые отношения – это реально существующие модели отношения, которые соответствуют реальному объекту предметной области.

Целостность по ссылкам основана на понятии внешнего ключа.

Пусть даны отношения R₁ и R₂ . Пусть k₁ , - это первичный ключ отношения R₁ .

Если в отношении R₂ присутствуют атрибуты k₁ , то для отношения R₂ , k₁ – это внешний ключ. Если базовое отношение R₂ содержит внешний ключ k₁ , то каждое значение k₁ в R₂ должно быть либо равным какому-либо значению R₁ , либо полностью неопределенным.

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

1. Целостность по сущностям имеет место, так как первичные ключи всех отношений не принимаю и не могут принимать неопределённые значения (см.табл.1.2).

2. Целостность по ссылкам достигнута при разработке реляционной модели (см.п.2.3). В качестве примера рассмотрим математическое представление целостности по ссылкам отношения Накладная (для отношений Договор и Счет аналогично (см.2.3)), отношение Заказчик(для отношения Поставщик аналогично).

Отношение Накладная

Одна и та же Накладная не может быть оформлена в разные даты.

("x,yÎ Накладная).[Дата оформления(x) = Дата оформления(y)]®(Дата оформления(x) ¹ Дата оформления (y))

Одна и та же Накладная не может иметь разные номера.

("x,yÎ Накладная).[Номер накладной(x) = Номер накладной(y)]®(Номер накладной (x) ¹ Номер накладной (y))

Одна и та же Накладная не может иметь разную сумму.

("x,yÎ Накладная).[Сумма накладной(x) = Сумма накладной(y)]®(Сумма накладной (x) ¹Сумма накладной (y))

Отношение Заказчик

Один и тот же Заказчик не может иметь разные наименования.

("x,yÎ Заказчик).[Наименование заказчик(x) = Наименование заказчик (y)]®

( Наименование заказчик (x) ¹ Наименование заказчик (y))

Отношение Счет

Один и тот же Счет не может иметь разные даты:

("x,yÎ Счет).[Дата оформления(x) = Дата оформления(y)]®(Дата оформления(x) ¹ Дата оформления (y))

Один и тот же Счет не может иметь разную сумму.

("x,yÎ Счет).[Сумма(x) = Сумма(y)]®(Сумма(x) ¹ Сумма(y))

Один и тот же Счет не может иметь разные номера.

("x,yÎ Счет).[Номер счета(x) = Номер счета(y)]®(Номер счета (x) ¹ Номер счета (y))

3.4 Описание запросов

Для описания запросов необходимо рассмотреть специальную реляционную операцию реляционной алгебры селекция. Пусть С-любой допустимый оператор сравнения. Дано отношение R (А₁ , А₂ , А₃ , … , А_n ). Селекцией отношения R по атрибутам А_j и А_k называется множество всех кортежей t таких, что а_jt Cа_kt – истина. Вместо а_kt может быть константа.