Реляционная модель данных базируется на теории множеств, в которой применяются специальные математические символы, используемые в тексте учебного пособия и поясняемые далее:
– принадлежность элемента множеству (например,
означает, что элемент d принадлежит множеству D);
– отрицание принадлежности элемента множеству (например,
означает, что элемент d не принадлежит множеству D);
| D | – мощность множества D, равная числу элементов в этом множестве;
– вхождение одного множества в другое множество (например,
означает, что все элементы множества А одновременно являются элементами множества D и | А | ≤ | D |);
– включение одного множества в другое множество (например,
означает, что все элементы множества А одновременно являются элементами множества D и | А | < | D |);
– объединение множеств (например,
означает множество, элементы которого принадлежат множеству X или множеству У);
– пересечение множеств (например,
означает множество, элементы которого принадлежат одновременно множеству X и множеству У);
– пустое множество, т. е. множество, в котором отсутствуют элементы;
{а, b, с}– множество, состоящее из элементов а, b, с;
{е | у} — множество элементов е, удовлетворяющих условию у; при записи условия могут использоваться символы:
обозначающие логические операторы «И» и «ИЛИ» соответственно, например,
обозначает множество элементов х, которые принадлежат множеству R и не принадлежит множеству 5.
Реляционная БД – это совокупность отношений, содержащих всю информацию, которая должна храниться в БД.
Математически термин «отношение» определяется следующим образом.