Похоже 13 принципы поддержки РБД

Целостность БД

ДВА основных правила реляционной модели называются целостностью сущностей и ссылочной целостностью.

NULL Пустое значение: Указывает, что значение атрибута в настоящий момент неизвестно или неприемлемо для этого кортежа.

В строке ничего нет – ни пробелов ни нулей, НИЧЕГО.

Целостность сущностей

Целостность сущностей: В базовом отношении ни один атрибут первичного, ключа не может быть NULL

По определению, первичный ключ — это минимальный идентификатор, который используется для уникальной идентификации кортежей. Это значит, что никакое подмножество первичного ключа не может быть достаточным для уникальной идентификации кортежей. Если допустить присутствие NULL в любой части первичного ключа, это равносильно утверждению, что не все его атрибуты необходимы для уникальной идентификации кортежей, что противоречит определению первичного ключа.

Ссылочная целостность

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

Например, считается допустимым создание записи с информацией о новом сотруднике с указанием NULL вместо номера отделения, в котором этот сотрудник работает. Такая ситуация может иметь место в том случае, когда сотрудник зачислен в штат компании, но еще не приписан к какому-то конкретному отделению.

Корпоративные ограничения целостности

Корпоративные ограничения целостности: Дополнительные правила поддержки целостности данных, определяемые пользователями или администраторами базы данных.

Пользователи сами могут указывать дополнительные ограничения, которым должны удовлетворять данные. Например, если в одном отделении не может работать больше 20 сотрудников, то пользователь может указать это как правило, а СУБД должна следить за его выполнением

Язык манипулирования данными для реляционной модели

Реляционное исчисление

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

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

В логике первого порядка (или теории исчисления предикатов) под предикатом подразумевается истинностная функция с параметрами. После подстановки значений вместо параметров функция становится выражением, называемым суждением, которое может быть истинным или ложным. Например, предложения "Джон Уайт является сотрудником данной организации" и "Джон Уайт имеет более высокую зарплату, чем Энн Бич" являются суждениями, поскольку можно определить их истинность или ложность. В первом случае функция является сотрудником данной организации" имеет один параметр ("Джон Уайт"), а во втором случае функция "имеет более высокую зарплату, чем" имеет два параметра ("Джон Уайт" и "Энн Бич").

Если предикат содержит переменную, например в виде "х является сотрудником этой организации", то у этой переменной должна быть соответствующая область определения. При подстановке вместо переменной х одних значений из ее области определения данное суждение может оказаться истинным, а при подстановке других — ложным. Например, если областью определения являются все люди и мы подставим вместо переменной х значение "Джон Уайт", то суждение "Джон Уайт является сотрудником данной организации" будет истинным. Если же вместо переменной х подставить имя другого человека, который не является сотрудником данной организации, то суждение станет ложным.

Если Р — предикат, то множество всех значений переменной х, при которых суждение Р становится истинным, можно символически записать следующим образом: {х Р(х)}