3.3. Замечание относительно терминологии

Если предположить, что реляционная база данных — это, по существу, просто база данных, в которой данные представлены в виде таблиц (а это так и есть), то возника­ет резонный вопрос: почему же мы называем такую базу данных именно реляционной? Почему не табличной? Ответ прост: термин "relation" (отношение) — это математическое название таблицы (точнее, определенного вида таблиц; подроб­нее это описано в главе 4). Например, можно сказать, что база данных отделов и слу­жащих, показанная на рис. 3.1, содержит два отношения. (Не путайте отношения, отождествляемые с таблицами, с отношениями между объектами, которые можно отождествить с объектами. Свойства отношений в последнем смысле, как и свойства объектов, заносят в таблицы.)

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

• Как уже отмечалось, реляционные системы основаны на модели, которая называ­ется реляционной моделью данных. Реляционная модель, в свою очередь, — это абстрактная теория данных, основанная на некоторых положениях математики (в основном теории множеств и предикативной логики).

• Принципы реляционной модели были изначально заложены в 1969-70-х годах доктором Е.Ф. Коддом (E.F. Codd), в то время исследователем, работавшим в кор­порации IBM. В конце 1968 года Кодд, математик по образованию, впервые осоз­нал, что математические дисциплины можно использовать, чтобы привнести в об­ласть управления базами данных строгие принципы и точность; именно таких ка­честв и не доставало этой области в то время. Идеи Кодда подробно рассмотрены в ставшей классической статье "A Relational Model of Data for Large Shared Data Banks" (cm. [4.1] в главе 4).

• С того времени эти идеи стали общепринятыми и оказали весьма существенное влияние на все аспекты технологии баз данных, а также и на другие области, такие как искусственный интеллект, обработка естественных языков и разработка аппа­ратных систем.

Сейчас в реляционной модели, такой как изначально сформулированная Коддом, умышленно применяют определенные термины, например сам термин "отношение", который не был распространен в то время, хотя такое понятие иногда использовалось. Проблема заключалась в том, что многие распространенные терми­ны были очень нечеткими — им не хватало точности, необходимой для такой фор­мальной теории, которую предложил Кодд.

• Пример. Рассмотрим термин "запись". В разное время этот термин мог означать экземпляр записи или тип записи; запись в стиле языка COBOL (в которой раз­решены группы повторения) или плоские записи (в которых не разрешены группы повторения); логические записи или физические записи; хранимые записи или виртуальные записи; а возможно, и еще что-то.

Поэтому в формальной реляционной модели не используется термин "запись" во­обще; вместо него используется термин "кортеж", точное определение которого дал Кодд, когда впервые ввел его. Мы не станем приводить здесь это определение, а лишь отметим, что термин "кортеж" приблизительно соответствует понятию экземпляра плоской записи (так же, как термин "отношение" приблизительно соответствует понятию таблицы). При дальнейшем изучении более формальных аспектов реляци­онных систем будет использоваться более формальная терминология, в этой же главе мы будем придерживаться не формальных терминов, а более знакомых, таких как "таблица", "строка" и "столбец".