Классика баз данных - статьи
Базис и предположения
Начнем с введения небольшого базиса и формулировок некоторых предположений.
- Я предполагаю наличие у читателей интуитивного понимания смысла термина связь (relationship). Пожалуйста, обратите внимание, что я не использую этот термин в смысле какой-либо конкретной технологии; в частности, я не придаю ему какую-либо реляционную интерпретацию в смысле реляционной модели и не использую его в смысле подхода «сущность-связь» (если считать, что такой смысл имеется).
- Упоминание термина сущность напомнило мне о следующем. Можно и, по моему мнению, крайне желательно обсуждать данную тему вообще без использования этого туманного термина. Поэтому, как вы вскоре увидите, мои определения (связь и т.д.) формулируются в терминах математических множеств (set). Сам термин множество можно определить следующим образом:
set – Коллекция объектов, или элементов, обладающая тем свойством, что для любого произвольного объекта x можно определить, входит ли этот объект в данную коллекцию.
В частности, заметим, что математическим термином (используемым и в этой статье) для объектов, являющихся членами множеств, является термин элемент. Многие из определений, приводимых в этой статье, включая приведенное выше определение термина множество, позаимствованы из , равно как и многие примеры (по крайней мере, те из них, которые носят математический характер).
- Для простоты я предполагаю, что все связи являются бинарными. Все обсуждаемые идеи легко распространяются на случаи тернарных, кватернарных и т.д. связей.
- Для определенности я предполагаю, что все связи являются направленными. Из этого следует, что если существует связь из A в B, то существует и обратная связь (конечно, тоже направленная) из B в A. Замечание: Можно было бы говорить о двунаправленных связях и избежать, тем самым, потребности в понятии обратных связей, но, по моему мнению, это повредило бы четкости.
- Как и в примере, приведенном во введении, частным случаем «многих» будет считаться ноль (т.е. «много» означает ноль или более), если явно не будет оговорено иное.
