Реляционная модель данных
Создателем реляционной модели является сотрудник фирмы IBM доктор информатики и вычислительной техники Эдгар Франк Кодд (более известный как Тед Кодд).
Основными понятиями реляционной модели данных являются отношение, домен, кортеж, кардинальность, атрибуты, степень, первичный ключ.
Отношение - это двумерная таблица, имеющая уникальное имя и состоящая из строк и столбцов, где строки соответствуют записям, а столбцы – атрибутам. Каждая строка в таблице представляет некоторый объект реального мира или соотношения между объектами.
Отношение соответствует тому, что мы называем таблицей. В отношении выделяют кортежи и атрибуты. Кортеж (запись) соответствует строке этой таблицы, атрибут (поле) - столбцу. Домен - это общая совокупность значений атрибута, из которых берутся конкретные значения для определенных атрибутов определенного отношения (множество допустимых значений атрибута).
Число кортежей в отношении называют кардинальным числом отношения. А число атрибутов в отношении называют степенью отношения.
Схема отношения – список имен атрибутов (заголовок таблицы), позволяет кратко описать отношение.
Пример: Сотрудники (сотр_номер, сотр_имя, сотр_зарп, сотр_отд_номер)
Первичным ключом называется атрибут отношения, однозначно идентифицируюший каждый из его кортежей. Например, в отношении Сотрудник (ФИО, Отдел, Должность, Д_рождения) ключом является атрибут ФИО. Ключ может быть составным, то есть состоять из нескольких атрибутов.
Отношения имеют определенные свойства (тогда таблицу можно считать отношением).
Нет одинаковых кортежей (иначе – все строки должны быть уникальны). Это свойство следует из того факта, что тело отношения - это математическое множество кортежей, а множество в математике, по определению, не содержат одинаковых элементов. Важным следствием этого свойства является то, что всегда существует первичный ключ.
Имена атрибутов должны быть различны, а их значения атомарны. Отношение, удовлетворяющее этому условию, называется нормализованным отношением.
Все строки должны иметь одну структуру, соответствующую именам и типам атрибутов.
Порядок следования строк и столбцов не имеет значения.
Каждое отношение ОБЯЗАТЕЛЬНО имеет комбинацию атрибутов, которая может служить ключом. Ее существование гарантируется тем, что отношение по определению не содержит одинаковых строк (по крайней мере вся совокупность атрибутов обладает свойством однозначной идентификации кортежей отношения).