Базы данных Лекция 2 Понятие модели данных. Обзор разновидностей моделей данных

Базы данных Модель данных Лекция 2 В модели данных описывается некоторый набор родовых понятий и признаков, которыми должны обладать все конкретные СУБД и управляемые ими базы данных, если они основываются на этой модели. Наличие модели данных позволяет сравнивать конкретные реализации, используя один общий язык. Наиболее распространенная трактовка модели данных принадлежит Кристоферу Дейту. Согласно Дейту, реляционная модель состоит из трех частей, описывающих разные аспекты реляционного подхода: структурной части; манипуляционной части; целостной части.

Базы данных Модель данных: структурная часть Лекция 2 В структурной части модели данных фиксируются основные логические структуры данных, которые могут применяться на уровне пользователя при организации БД, соответствующих данной модели. Например, в модели данных SQL основным видом структур базы данных являются таблицы, а в объектной модели данных объекты ранее определенных типов.

Базы данных Модель данных: манипуляционная часть Лекция 2 Манипуляционная часть модели данных содержит спецификацию одного или нескольких языков, предназначенных для написания запросов к БД. Эти языки могут быть абстрактными, не обладающими точно проработанным синтаксисом, или законченными производственными языками. Основное назначение манипуляционной части модели данных обеспечить эталонный «модельный» язык БД, уровень выразительности которого должен поддерживаться в реализациях СУБД, соответствующих данной модели.

Базы данных Модель данных: целостная часть Лекция 2 В целостной части модели данных специфицируются механизмы ограничений целостности, которые обязательно должны поддерживаться во всех реализациях СУБД, соответствующих данной модели. Например, в целостной части реляционной модели данных категорически требуется поддержка ограничения первичного ключа в любой переменной отношения, а аналогичное требование к таблицам в модели данных SQL отсутствует.

Базы данных Ранние модели данных Лекция 2 Начнём с рассмотрения общих подходов к организации трех типов ранних систем, а именно: систем, основанных на инвертированных списках; иерархических систем управления базами данных; сетевых систем управления базами данных.

Базы данных Ранние модели данных Лекция 2 В целом ранние системы можно охарактеризовать следующим образом: Эти системы активно использовались в течение многих лет, задолго до появления работоспособных реляционных СУБД; Все ранние системы не основывались на каких-либо абстрактных моделях; В ранних системах доступ к БД производился на уровне записей; Навигационная природа ранних систем и доступ к данным на уровне записей заставляли пользователей самих производить всю оптимизацию доступа к БД, без какой-либо поддержки системы; После появления реляционных систем большинство ранних систем было оснащено «реляционными» интерфейсами.

Базы данных Модель данных инвертированных таблиц Лекция 2 К числу наиболее известных и типичных представителей систем, в основе которых лежит эта модель данных, относятся СУБД Datacom/DB (1960-е) от Applied Data Research, Inc. (ADR) и Adabas (ADAptable DAtabase System), которая была разработана компанией Software AG в 1971 г. и до сих пор является её основным продуктом. Организация доступа к данным на основе инвертированных таблиц используется практически во всех современных реляционных СУБД, но в этих системах пользователи не имеют непосредственного доступа к инвертированным таблицам (индексам). При рассмотрении внутренних интерфейсов реляционных СУБД, можно будет увидеть, что они очень близки к пользовательским интерфейсам систем, основанных на инвертированных таблицах.

Базы данных Модель данных инвертированных таблиц: структуры данных Лекция 2 База данных в модели инвертированных таблиц похожа на БД в модели SQL, но с тем отличием, что пользователям видны и хранимые таблицы, и пути доступа к ним. При этом: Строки таблиц упорядочиваются системой в некоторой физической, видимой пользователям последовательности; Физическая упорядоченность строк всех таблиц может определяться и для всей БД (так делается, например, в Datacom/DB); Для каждой таблицы можно определить произвольное число ключей поиска, для которых строятся индексы. Эти индексы автоматически поддерживаются системой, но явно видны пользователям.

Базы данных Модель данных инвертированных таблиц: манипулирование данными Лекция 2 Поддерживаются два класса операций: 1.Операции, устанавливающие адрес записи и разбиваемые на два подкласса: прямые поисковые операторы (например, установить адрес первой записи таблицы по некоторому пути доступа); операторы, устанавливающие адрес записи при указании относительной позиции от предыдущей записи по некоторому пути доступа. 2.Операции над адресуемыми записями.

Базы данных Модель данных инвертированных таблиц: манипулирование данными Лекция 2 Типичный набор операций: LOCATE FIRST; LOCATE FIRST WITH SEARCH KEY EQUAL; LOCATE NEXT; LOCATE NEXT WITH SEARCH KEY EQUAL; LOCATE FIRST WITH SEARCH KEY GREATER; RETRIVE; UPDATE; DELETE; STORE.

Базы данных Модель данных инвертированных таблиц: ограничения целостности Лекция 2 Общие правила определения целостности БД отсутствуют. В некоторых системах поддерживаются ограничения уникальности значений некоторых полей, но в основном вся поддержка целостности данных возлагается на прикладную программу.

Базы данных Иерархическая модель данных Лекция 2 Типичным представителем (наиболее известным и распространенным) является СУБД IMS (Information Management System) компании IBM. Первая версия системы появилась в 1968 г.

Базы данных Иерархическая модель данных: структуры данных Лекция 2 Иерархическая БД состоит из упорядоченного набора деревьев; более точно, из упорядоченного набора нескольких экземпляров одного типа дерева. Тип дерева состоит из одного «корневого» типа записи и упорядоченного набора из нуля или более типов поддеревьев (каждое из которых является некоторым типом дерева). Тип дерева в целом представляет собой иерархически организованный набор типов записи. Все экземпляры данного типа потомка с общим экземпляром типа предка называются близнецами. Для иерархической базы данных определяется полный порядок обхода дерева: сверху-вниз, слева-направо. Заметим, что в терминологии IMS вместо термина запись использовался термин сегмент, а под записью базы данных понималось все дерево сегментов.

Базы данных Иерархическая модель данных: манипулирование данными Лекция 2 Примерами типичных операций манипулирования иерархически организованными данными могут быть следующие: найти указанный экземпляр типа дерева БД; перейти от одного экземпляра типа дерева к другому; перейти от экземпляра одного типа записи к экземпляру другого типа записи внутри дерева; перейти от одной записи к другой в порядке обхода иерархии; вставить новую запись в указанную позицию; удалить текущую запись.

Базы данных Иерархическая модель данных: ограничения целостности Лекция 2 В иерархической модели данных автоматически поддерживается целостность ссылок между предками и потомками. Основное правило: никакой потомок не может существовать без своего родителя. Заметим, что аналогичная поддержка целостности по ссылкам между записями без связи «предок-потомок», не обеспечивается.

Базы данных Сетевая модель данных Лекция 2 Типичным представителем систем, основанных на сетевой модели данных, является СУБД IDMS (Integrated Database Management System), разработанная компанией Cullinet Software, Inc. и изначально ориентированная на использования на мейнфреймах компании IBM. Архитектура системы основана на предложениях Data Base Task Group (DBTG) организации CODASYL (COnference on DAta SYstems Languages), которая отвечала за определение языка программирования COBOL. Отчёт DBTG был опубликован в 1971 г., и вскоре после этого появилось несколько систем, поддерживающих архитектуру CODASYL, среди которых присутствовала и СУБД IDMS. В настоящее время IDMS принадлежит компании Computer Associates.

Базы данных Сетевая модель данных: структуры данных Лекция 2 Сетевой подход к организации данных является расширением иерархического подхода. В иерархических структурах запись-потомок должна иметь в точности одного предка; в сетевой структуре данных у потомка может иметься любое число предков. Сетевая БД состоит из набора записей и набора связей между этими записями, а если говорить более точно, из набора экземпляров каждого типа из заданного в схеме БД набора типов записи и набора экземпляров каждого типа из заданного набора типов связи. Тип связи определяется для двух типов записи: предка и потомка. Экземпляр типа связи состоит из одного экземпляра типа записи предка и упорядоченного набора экземпляров типа записи потомка.

Базы данных Сетевая модель данных: структуры данных Лекция 2 Для данного типа связи L с типом записи предка P и типом записи потомка C должны выполняться следующие два условия: каждый экземпляр типа записи P является предком только в одном экземпляре типа связи L; каждый экземпляр типа записи C является потомком не более чем в одном экземпляре типа связи L. На формирование типов связи не накладываются особые ограничения.

Базы данных Сетевая модель данных: манипулирование данными Лекция 2 Примерный набор операций манипулирования данными: найти конкретную запись в наборе однотипных записей; перейти от предка к первому потомку по некоторой связи; перейти к следующему потомку в некоторой связи; перейти от потомка к предку по некоторой связи; создать новую запись; уничтожить запись; модифицировать запись; включить в связь; исключить из связи; переставить в другую связь и т.д.

Базы данных Сетевая модель данных: ограничения целостности Лекция 2 Имеется (необязательная) возможность потребовать для конкретного типа связи отсутствие потомков, не участвующих ни в одном экземпляре этого типа связи (как в иерархической модели).

Базы данных Реляционная модель данных Лекция 2 За прошедшие десятилетия реляционная модель развивалась в двух направлениях: Первое направление заложил знаменитый экспериментальный проект компании IBM System R. В этом проекте возник язык SQL, изначально основанный на идеях Э. Кодда, но нарушающий некоторые принципиальные предписания реляционной модели. Второе направление, начиная с 1990-х гг., возглавляет Кристофер Дейт и Хью Дарвен. Новые идеи Дейта и Дарвена были впервые изложены в их Третьем манифесте, а позже на основе этих идей была специфицирована модель данных.

Базы данных Реляционная модель данных: структуры данных Лекция 2 Основная идея Кодда состояла в том, чтобы выбрать в качестве родовой логической структуры хранения данных структуру, которая, с одной стороны, была бы достаточно удобной для большинства приложений и, с другой стороны, допускала бы возможность выполнения над базой данных ненавигационных операций. Иерархические и, в особенности, сетевые структуры данных являются навигационными по своей природе. Ненавигационному использованию таблиц мешает упорядоченность их столбцов и, в особенности, строк.

Базы данных Реляционная модель данных: структуры данных Лекция 2 По сути, Кодд предложил использовать в качестве родовой структуры БД «таблицы», в которых и столбцы, и строки не являются упорядоченными. Легко видеть, что такая «таблица» со множеством столбцов {A 1, A 2, …, A n }, в которой каждый столбец A i может содержать значения из множества T i = {v i1, v i2, …, v im } (все множества конечны), в математическом смысле представляет собой отношение над множествами {T 1, T 2, …, T n }. В математике отношением над множествами {T 1, T 2, …, T n } называется подмножество декартова произведения этих множеств, т.е. некоторое множество кортежей {{v 1, v 2, …, v n }}, где v i T i. Поэтому для обозначения родовой структуры Кодд стал использовать термин отношение (relation), а для обозначения элементов отношения термин кортеж. Соответственно, модель данных получила название реляционной модели.

Базы данных Реляционная модель данных: структуры данных Лекция 2 Схема БД в реляционной модели данных это набор именованных заголовков отношений вида H i = {,, …, }. T i называется доменом атрибута A i. По Кодду, каждый домен T i является подмножеством значений некоторого базового типа данных T i +, а значит, к его элементам применимы все операции этого базового типа. Реляционная база данных в каждый момент времени представляет собой набор именованных отношений, каждое из которых обладает заголовком, таким как он определен в схеме БД, и телом. Имя отношения R i совпадает с именем заголовка этого отношения H Ri. Тело отношения B Ri это множество кортежей вида {,, …, }, где t i j T i j. Во время жизни БД тела отношений могут изменяться, но все содержащиеся в них кортежи должны соответствовать заголовкам соответствующих отношений.

Базы данных Реляционная модель данных: манипулирование данными Лекция 2 Поскольку в реляционной модели данных заголовок и тело любого отношения представляют собой множества, к отношениям, вообще говоря, применимы обычные теоретико-множественные операции: объединение; пересечение; вычитание; взятие декартова произведения.

Базы данных Реляционная модель данных: манипулирование данными Лекция 2 Кодд предложил в качестве средства манипулирования реляционными базами данных специальный набор операций, которые гарантированно производят отношения. Этот набор операций принято называть реляционной алгеброй Кодда. В алгебре Кодда имеется деcять операций: объединение (UNION), пересечение (INTERSECT), вычитание (MINUS), взятие расширенного декартова произведения (TIMES), переименование атрибутов (RENAME), проекция (PROJECT), ограничение (WHERE), соединение ( -JOIN), деление (DIVIDE BY) присваивание.

Базы данных Реляционная модель данных: целостность в реляционной модели данных Лекция 2 Кодд предложил два декларативных механизма поддержки целостности реляционных баз данных, которые утверждены в реляционной модели данных и должны поддерживаться в любой реализующей ее СУБД: ограничение целостности сущности, или ограничение первичного ключа; ограничение ссылочной целостности, или ограничение внешнего ключа.

Базы данных Реляционная модель данных: целостность в реляционной модели данных Лекция 2 Ограничение целостности сущности звучит следующим образом: для заголовка любого отношения базы данных должен быть явно или неявно определен первичный ключ, являющийся таким минимальным подмножеством заголовка отношения, что в любом теле этого отношения, которое может появиться в базе данных, значение первичного ключа в любом кортеже этого тела является уникальным, т. е. отличается от значения первичного ключа в любом другом кортеже. Под минимальностью первичного ключа понимается то, что если из множества атрибутов первичного ключа удалить хотя бы один атрибут, то ограничение целостности изменится, т. е. в БД смогут появляться тела отношений, которые не допускались исходным первичным ключом.

Базы данных Реляционная модель данных: целостность в реляционной модели данных Лекция 2 Внешним ключом отношения R 1, ссылающимся на отношение R 2, называется подмножество заголовка H R1, которое совпадает с первичным ключом отношения R 2 (с точностью до имен атрибутов). Тогда ограничение ссылочной целостности реляционной модели данных можно сформулировать следующим образом: в любом теле отношения R 1, которое может появиться в базе данных, для «не пустого» значения внешнего ключа, ссылающегося на отношение R 2, в любом кортеже этого тела должен найтись кортеж в теле отношения R 2, которое содержится в базе данных, с совпадающим значением первичного ключа.

Базы данных Современные модели данных Лекция 2 История современных моделей данных началась с 1989 г., когда группа известных специалистов в области языков программирования баз данных опубликовала статью под названием «Манифест систем объектно- ориентированных баз данных». Базовыми требованиями являлось преодоление несоответствия между типами данных, используемыми в языках программирования, и типами данных, поддерживаемыми в набравших к тому времени силу реляционных (SQL-ориентированных) СУБД, а также придание СУБД возможностей хранить в БД данные произвольно сложной структуры. Эти требования сопровождались утверждениями об ограниченности реляционной модели данных и языка SQL и потребности использовать более развитые модели данных.

Базы данных Объектно-ориентированная модель данных Лекция 2 В объектно-ориентированной модели данных база данных это набор объектов (контейнеров данных) произвольного типа.

Базы данных Объектно-ориентированная модель данных: типы и структуры данных Лекция 2 В объектной модели данных вводятся две разновидности типов: литеральные и объектные типы. Литеральные типы данных это обычные типы данных, принятые в традиционных языках программирования. Они подразделяются на базовые скалярные числовые типы, символьные и булевские типы (атомарные литералы), конструируемые типы записей (структур) и коллекций. Имеются четыре вида типов коллекций: типы множеств, мультимножеств (неупорядоченные наборы элементов, возможно, содержащие дубликаты), списков (упорядоченные наборы элементов, возможно, содержащие дубликаты) и словарей (множества пар, причём все ключи в этих парах должны быть различными). Типом элемента любой коллекции может являться любой скалярный или объектный тип за исключением того же типа коллекции.

Базы данных Объектно-ориентированная модель данных: типы и структуры данных Лекция 2 Объектные типы в объектной модели данных по смыслу ближе всего к понятию класса в объектно-ориентированных языках программирования. У каждого объектного типа имеется операция создания и инициализации нового объекта этого типа. Эта операция возвращает значение OID нового объекта, который можно хранить в любом месте, где допускается хранение объектов данного типа, и использовать для обращения к операциям объекта, определённым в его объектном типе. Имеются два вида объектных типов: атомарный объектный тип; объектный тип коллекций.

Базы данных Объектно-ориентированная модель данных: типы и структуры данных Лекция 2 При определении атомарного объектного типа указывается его внутренняя структура (набор свойств атрибутов и связей) и набор операций, которые можно применять к объектам этого типа. Для определения атомарного объектного типа можно использовать механизм наследования, расширяя набор свойств и/или переопределяя существующие и добавляя новые операции. Как и в случае использования литеральных типов коллекций, для объектного типа коллекции можно определять объектные типы множеств, мультимножеств, списков и словарей. Типом элемента объектного типа коллекции может быть любой литеральный или объектный тип за исключением того же типа коллекции. У объектных типов коллекций имеются предопределенные наборы операций. В отличие от литеральных типов коллекций, которые, как и все литеральные типы являются множествами значений, объектные типы коллекций обладают операцией создания объекта, имеющего, как и все объекты, собственный OID.

Базы данных Объектно-ориентированная модель данных: манипулирование данными Лекция 2 В стандарте ODMG в качестве базового средства манипулирования объектными базами данных предлагается язык OQL (Object Query Language). Разработчики в целом характеризуют его следующим образом: OQL опирается на объектную модель ODMG; OQL очень близок к SQL/92; В OQL обеспечиваются высокоуровневые примитивы для работы с множествами объектов; OQL является функциональным языком, допускающим неограниченную композицию операций, если операнды не выходят за пределы системы типов; OQL не является вычислительно полным языком; Операторы языка OQL могут вызываться из любого языка; В OQL не определяются явные операции обновления, а используются вызовы операций, определенных в объектах для целей обновления; В OQL обеспечивается декларативный доступ к объектам.

Базы данных Объектно-ориентированная модель данных: манипулирование данными Лекция 2 В совокупности результатом допустимых в OQL выражений запросов могут являться: коллекция объектов; индивидуальный объект; коллекция литеральных значений; индивидуальное литеральное значение.

Базы данных Объектно-ориентированная модель данных: Ограничения целостности Лекция 2 В объектной модели отсутствует аналог ограничения целостности сущности реляционной модели данных. Интересно, что при определении атомарного объектного типа можно объявить ключ набор свойств объектного класса, однозначно идентифицирующий состояние каждого объекта, входящего в экстент этого класса. Ссылочная целостность поддерживается, если между двумя атомарными объектными типами определяется связь вида «один-ко- многим». В этом случае объекты на стороне связи «один» рассматриваются как предки, а объекты на стороне связи «многие» как потомки, и ООСУБД обязана следить за тем, чтобы не образовывались потомки без предков.

Базы данных Модель данных SQL Лекция 2 Модель данных SQL в относительно законченном виде сложилась к 1999 г., когда был принят и опубликован стандарт SQL:1999.

Базы данных Модель данных SQL: типы и структуры данных Лекция 2 SQL-ориентированная база данных представляет собой набор таблиц, каждая из которых в любой момент времени содержит некоторое мультимножество строк, соответствующих заголовку таблицы. В этом состоит первое и наиболее важное отличие модели данных SQL от реляционной модели данных. Вторым существенным отличием является то, что для таблицы поддерживается порядок столбцов, соответствующий порядку их определения. Другими словами, таблица это вовсе не отношение, хотя во многом они похожи. Имеется две основных разновидности таблиц, хранимых в базе данных: традиционная таблица множество столбцов с указанными типами данных; типизированная таблица столбцы, содержащие определенный структурный тип плюс один «самоссылающийся» столбец.

Базы данных Модель данных SQL: манипулирование данными Лекция 2 Модель данных SQL предоставляет набор средств манипулирования данными: SELECT выборка; INSERT вставка; UPDATE обновление; DELETE удаление; и др.

Базы данных Модель данных SQL: ограничения целостности Лекция 2 В модели SQL отсутствует обязательное предписание об ограничении целостности сущности. В базе данных могут существовать таблицы, для которых не определен первичный ключ. С другой стороны, если для таблицы определён первичный ключ, то для неё ограничение целостности сущности поддерживается точно так же, как это требуется в реляционной модели данных. Ссылочная целостность в модели данных SQL поддерживается в обязательном порядке, но в трех разных вариантах, лишь один из которых полностью соответствует реляционной модели. В SQL имеются развитые возможности явного определения ограничений целостности на уровне столбцов таблиц, на уровне таблиц целиком и на уровне базы данных.

Базы данных Истинная реляционная модель Лекция 2 Истинная реляционная модель предлагаемый К. Дейтом и Х. Дарвеном вариант реляционной модели данных очень подробно и тщательно описан в книге «Databases, Types and the Relational Model: The Third Manifesto» (2006).

Базы данных Истинная реляционная модель: типы и структуры данных Лекция 2 В истинно реляционной модели очень большое внимание уделяется типам данных. Предлагаются три категории типов данных: скалярные типы инкапсулированный тип, реальная внутренняя структура которого скрыта от пользователей; кортежные типы безымянный тип данных, определяемый с помощью генератора типа TUPLE c указанием множества пар. Значением кортежного типа является кортеж, представляющий собой множество триплетов, которое соответствует заголовку кортежа этого кортежного типа; типы отношений безымянный тип данных, определяемый с помощью генератора типа RELATION c указанием некоторого заголовка кортежа. Значением типа отношения является заголовок отношения, совпадающий с заголовком кортежа этого типа отношения, и тело отношения, представляющее собой множество кортежей, соответствующих этому заголовку.

Базы данных Истинная реляционная модель: манипулирование данными Лекция 2 Дейт и Дарвен предложили новую реляционную алгебру, названную ими Алгеброй A, которая основывается на реляционных аналогах булевских операций конъюнкции, дизъюнкции и отрицания.

Базы данных Истинная реляционная модель: ограничения целостности Лекция 2 В число обязательных требований истинной реляционной модели входит требование определения хотя бы одного возможного ключа для каждой переменной отношения. Возможный ключ это одно из подмножеств заголовка переменной отношения, обладающее свойствами первичного ключа. Средства поддержки декларативной ссылочной целостности фигурируют только в разделе рекомендуемых возможностей.