Другие модели. 
Модели данных

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

Моделью данных, привлекающей нарастающее внимание с конца 80-х гг., является объектная, или «объектно-ориентированная» (3) модель (см., например, одну из первых работ [5]). Основными понятиями, с которыми оперирует эта модель, являются следующие:

• · объекты, обладающие внутренней структурой и однозначно идентифицируемые уникальным внутрисистемным ключом;
• · классы, являющиеся по сути типами объектов;
• · операции над объектами одного или разных типов, называемые «методами» ;
• · инкапсуляция структурного и функционального описания объектов, позволяющая разделять внутреннее и внешнее описания (в терминологии предшествовавшего объектному модульного программирования — «модульность» объектов);
• · наследуемость внешних свойств объектов на основе соотношения «класс-подкласс» .

К достоинствам объектно-ориентированной модели обычно относят:

• · возможность для пользователя системы определять свои сколь угодно сложные типы данных (используя имеющийся синтаксис и свойства наследуемости и инкапсуляции);
• · наличие наследуемости свойств объектов;
• · повторное использование программного описания типов объектов при обращении к другим типам, на них ссылающимся.

К недостаткам объектно-ориентированной модели можно отнести:

• · отсутствие строгих определений; разное понимание терминов и различия в терминологии (в [7], например, изъявляется готовность изложить восемь различных толкований такого базового понятия, как «наследуемость»);
• · как следствие — эта модель не исследована столь тщательно математически, как реляционная;
• · отсутствие общеупотребимых стандартов, позволяющих связывать конкретные объектно-ориентированные системы с другими системами работы с данными.

Некоторые специалисты основным и главным отличием объектно-ориентированной модели от реляционной считают наличие уникального системного идентификатора (4). Эта разница связана с одним интересным семантическим явлением. Дело в том, что в реляционной модели объект целиком описывается его атрибутами. Если человек в таблице представлен именем и номером телефона, то что происходит после замены номера телефона в существующей строке? Идет ли после этого речь о том же самом человеке или о другом? В реляционной модели нет средств получить ответ на этот вопрос; в объектно-ориентированной его дает неизменившийся системный идентификатор. С другой стороны, мы можем «заменить» в базе данных одного сотрудника на другого, сохранив все связи и атрибуты прежнего, и при этом системный идентификатор не изменится. Ясно, однако, что подразумеваться будет совсем другой человек.

Еще одной моделью данных, имеющей конкретную реализацию (система InfoModeller), является модель «объектов-ролей», предложенная еще в начале 70-х годов, однако выведенная за рамки академических исследований совсем недавно коллективом фирмы Asymetrix [5]. В отличие от реляционной модели в ней нет атрибутов, а основные понятия — это объекты и роли, описывающие их. Роли могут быть как «изолированные», присущие исключительно какому-нибудь объекту, так и существующие как элемент какого-либо отношения между объектами. Модель, по словам авторов, служит для понятийного моделирования, что отличает ее от реляционной модели. Имеются и другие отличия и интересные особенности: например, для нее помимо графического языка разработано подмножество естественного языка, не допускающее неоднозначностей, и, таким образом, пользователь (заказчик) не только общается с аналитиком на естественном языке, но и видит представленный на том же языке результат его работы по формализации задачи. (Можно заметить, что многие пользователи, в отличие от аналитиков, с трудом разбираются в описывающих их деятельность рисунках и схемах.) Модель «объектов-ролей» сейчас привлекает большое внимание специалистов, однако до промышленных масштабов ее использования, сравнимых с двумя предыдущими, ей пока далеко.