Летом 1998 года в издательстве Addison-Wesley вышла книга Криса Дейта и Хью Дарвена «Foundation for Object/Relational Databases: The Third Manifesto». В этой книге глубоко и обоснованно развиваются идеи, первоначально сформулированные в статье тех же авторов [1]. На мой взгляд, книга содержит ряд спорных утверждений и предположений, но прошедшие со дня ее выхода месяцы показали наличие достаточно активного интереса к книге, и имеются основания полагать, что она повлияет на будущие теорию и практику баз данных. Поскольку для широкого круга русских читателей книга практически недоступна, я решил в нескольких статьях познакомить вас с основными идеями книги. Это будет не просто пересказ, поскольку по мере возможности я буду комментировать спорные (с моей точки зрения) места. Комментарии эти выделены курсивом

Эта статья посвящается вводной главе книги «Предпосылки и обзор», в которой описываются причины, побудившие авторов к ее написанию, и приводится краткий обзор базовых идей, а также второй главе «Объекты и отношения», где обсуждаются связь понятий «объект» и «отношение».

Предпосылки и обзор

Причины написания книги

Указываемой первичной причиной является неудовлетворенность предлагаемыми другими исследователями и авторами подходами к интеграции реляционной и объектной технологии. Публикации [1] предшествовали два манифеста - Манифест объектно-ориентированных систем баз данных [2] и Манифест систем баз данных третьего поколения [3], в каждом из которых предлагался некоторый базис для развития будущих СУБД. Но при этом:

  • в [2], по существу, игнорируется реляционная модель. По мнению Дейта и Дарвена уже только этого больше, чем достаточно, чтобы вывести объектные системы из числа конкурентов реляционных систем;

    Это первое спорное утверждение. Как известно, объектно-ориентированные и другие нереляционные СУБД достаточно успешно существуют и используются;
  • в [3] корректно используется реляционная модель, но авторы этого манифеста предполагают, что при всех своих недостатках язык SQL является адекватной реализацией модели и, следовательно, может служить будущему развитию технологии.

В отличие от этого, Дейт и Дарвен категорически утверждают, что в интересах будущего развития требуется полностью отказаться от SQL. Осознавая наличие громадного числа SQL-ориентированных баз данных и приложений, которые будут продолжать использоваться в течение долгого времени, Дейт и Дарвен соглашаются с тем, что требуется уделять некоторое внимание продолжению поддержки наследства SQL.

Назад к реляционному будущему

Основным тезисом книги является то, что мы должны отказаться от SQL и вернуться к реляционным истокам. Дейт и Дарвен считают, что необходимую основу обеспечивает Реляционная Модель Данных, впервые представленная миру Эдвардом Коддом в 1969 году [4]. Признавая желательность объектно-ориентированных свойств в системах баз данных, Дейт и Дарвен полагают, что эти свойства являются ортогональными к реляционной модели. Не требуются какие-либо переделки реляционной модели, чтобы можно было определить язык, который:

  • был бы истинно реляционным (в отличие от SQL);
  • включал бы такие ортогональные свойства;
  • мог бы служит искомой основой.

Если предположить существование такого языка D (а позже в книге приводится неформальное описание языка Tutorial D), то, по мнению Дейта и Дарвена, он должен соответствовать ряду положительных и отрицательных утверждений (prescriptions и proscriptions). Авторы выделяют утверждения, происходящие из реляционной модели (RM Prescriptions), и те, которые к ней не относятся, - Other Orthogonal (OO) Prescriptions.

Обратите внимание, что везде далее в книге OO используется именно в смысле Other Orthogonal, а не Object-Oriented, хотя, конечно, в основном имеются в виду объектные свойства.

При этом утверждения категории RM считаются необсуждаемыми, но что касается OO-утверждений, то отсутствие общепризнанной модели делает их в некотором роде «пробными». Кроме того, в книге содержится набор Весьма Строгих Утверждений, которые тоже разбиты на категории RM и OO.

Некоторые руководящие принципы

Во всей своей книге Дейт и Дарвен следуют некоторым руководящим принципам, среди которых основным и определяющим является максима, принадлежащая, как думают авторы, Людвигу Витгенштейну: ВСЕ ЛОГИЧЕСКИЕ РАЗЛИЧИЯ ЯВЛЯЮТСЯ БОЛЬШИМИ РАЗЛИЧИЯМИ.

Это особенно важно в контексте реляционной модели, являющейся формальной системой, а основой любой формальной системы является логика.

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

Дейт и Дарвен считают верным принцип, основанный на противоположном толковании максимы Витгенштейна: все различия, не являющиеся логическими, представляют собой небольшие различия. Одним из результатов следования этому принципу является то, что при определении Tutorial D Дейт и Дарвен обращали больше внимания на логичность построения языка, а не на его синтаксис.

Наконец, еще один фундаментальный принцип, которому очень трудно следовать, почерпнут из «Мифического человекомесяца» Фреда Брукса - это принцип концептуальной целостности.

Некоторые решающие различия

Модель и реализация

  • Модель - это абстрактное, замкнутое, логическое определение объектов, операций и т.д., представляющее абстрактную машину, с которой взаимодействуют пользователи.
  • Реализация данной модели - это физическая реализация компонентов модели на реальной компьютерной системе.

В книге главным образом обсуждаются аспекты модели, а не реализации. Кроме того, под реализацией понимается реализация «системы» (т.е. СУБД), а не некоторого приложения, работающего под управлением этой системы.

Думаю, что с таким определением модели не согласятся математики, хотя на интуитивном уровне оно правильно. Вообще говоря, поскольку модель - это формальная система, ее определение тоже должно быть формальным.

Значения и переменные

Люди часто путают эти простые и фундаментальные понятия. В соответствии с Кливлэндом [5] в книге используются следующие определения.

  • Значение - это индивидуальная константа (например, константа «3»). У значения нет своего места во времени и пространстве. Однако значения могут быть представлены в памяти посредством некоторой кодировки и, конечно, у таких кодировок имеется место во времени и пространстве. По определению, значение невозможно модифицировать.
  • Переменная - это держатель кодировки значения. Переменная имеет место во времени и пространстве. Кроме того, переменные, в отличие от значений, конечно, можно модифицировать, т.е. текущее значение данной переменной можно заменить другим значением, возможно, отличным от исходного.

Значения могут быть произвольно сложными; например, значение может быть массивом, стеком, списком, геометрической точкой, документом и т.д. Аналогичные замечания относятся и к переменным.

Как отмечают Дейт и Дарвен, большая путаница по поводу значений и переменных имеется в объектном мире, где различают тип переменной и тип объекта, являющегося текущим значением этой переменной; объекты и значения; признают наличие операций, воздействующих на состояние объекта. Именно по причине этой путаницы авторы книги стараются вообще не использовать термин «объект».

Значения, кодировки и появления

Логическое различие проводится между значением как таковым и кодировкой этого значения, появляющимися в некотором конкретном контексте. Одно и то же значение, или, вернее, кодировки одного и того же значения могут одновременно появляться в нескольких разных контекстах, и сами эти кодировки не обязательно все одинаковы. Например, целое значение «3» является единственным во множестве целых чисел, но произвольное число переменных может содержать некоторую кодировку этого целого числа как свое текущее значение. Некоторые из этих переменных могут содержать десятичную кодировку этого целого числа, а другие, например, двоичную. Следовательно, имеется логическое различие между кодировкой значения и появлением этой кодировки в некотором контексте, а также между кодировками, появляющимися в разных контекстах.

Умышленно опущенные темы

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

Объекты и отношения

Чтобы иметь возможность достаточно детально обсудить вопрос интеграции объектов и отношений, необходимо понять, какая концепция в реляционном мире является двойником концепции класса объектов в объектном мире. Этот вопрос имеет определяющее значение, поскольку именно класс объектов является фундаментальной концепцией объектного мира, и все остальные объектные понятия в большей или меньшей степени зависят от этой концепции.

Можно предложить два возможных ответа на поставленный вопрос:

  • домен = объектный класс
  • отношение = объектный класс.

В главе показывается, что первый ответ - правильный, а второй - нет.

Что за проблему мы пытаемся решить?

Исходным положением является то, что для будущих баз данных потребуются гораздо более сложные виды данных, чем те, которые поддерживаются в современных коммерческих базах данных. Возникает потребность хранить графические данные, аудио- и видеоданные и т.д. Каким образом можно поддерживать новые виды данных, оставаясь в классической реляционной среде? Дейт и Дарвен принимают как аксиому то, что мы хотим остаться в классической реляционной среде; было бы неразумно забыть о результатах многолетних исследований и разработок в этой области.

Отношения и relvars

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

Как видно, каждое отношение состоит из двух частей - заголовка и тела, где заголовок - это множество пар имя-столбца:имя-домена, а тело - множество строк, соответствующих этому заголовку. Для отношения MMQ:

  • MAJOR_P#, MINOR_P#, QTY - имена столбцов;
  • P#, P#, QTY - имена соответствующих доменов;
  • Каждая строка включает значения MAJOR_P# (из домена P#), MINOR_P# (из домена P#) и QTY (из домена QTY).

Замечание Дейта и Дарвена: Из соображений точности изложения в книге используется термин «отношение», а не термин «таблица», и термины «атрибут» и «кортеж», а не «столбец» и «строка». Исключения из этого правила допускаются только в тех случаях, где точность необязательна.

Как видно из дальнейшего изложения эти исключения встречаются чрезвычайно часто.

Вот важный способ понимания природы отношений (хотя, возможно, необычный). Для заданного отношения R заголовок R задает предикат (истинностную функцию), а каждая строка тела R - это истинное высказывание, получаемое из предиката путем подстановки некоторых значений доменов вместо параметров этого предиката. Например, для отношения MMQ предикат мог бы выглядеть следующим образом:

part MAJOR_P# contains QTY of part MINOR_P#

(деталь MAJOR_P# содержит QTY деталей MINOR_P#)

Соответствующими истинными высказываниями являются следующие:

part P1 contains 5 of part P2

(деталь P1 содержит 5 деталей P2);

part P1 contains 3 of part P3

(деталь P1 содержит 3 детали P3) и т.д.

Коротко говоря,

  • домены содержат то, о чем мы говорим;
  • отношения содержат истинные факты о том, о чем мы говорим.

Поэтому

  • необходимы и домены, и отношения (без доменов нам не о чем говорить, без отношений мы не сможем ничего сказать);
  • домены и отношения - это не одно и то же.

Хорошей, хотя и не вполне строгой аналогией является то, что домены для отношений - то же самое, что существительные для предложений.

Вернемся теперь к исторически существующей путанице между значениями отношений и переменными отношений. Если мы говорим на некотором языке программирования

DECLARE N INTEGER ... ;

то N - это не целое число, это целая переменная, значениями которой являются целые числа. Точно так же, когда мы говорим на языке SQL

CREATE TABLE R ... ;

то R - это не отношение, а переменная отношения, значениями которой являются отношения. Когда мы обновляем R (например, вставляем строку), то на самом деле заменяем старое значение-отношение R на новое, другое значение-отношение.

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

Стремясь внести в эти вопросы максимальную ясность, Дейт и Дарвен используют в своей книге термин relvar как сокращенную форму от relation variable (переменная отношения).

Домены и объектные классы

Многие люди слабо разбираются в том, что такое домен. Обычно они считают, что домен - это всего лишь пул значений, из которого берутся реальные значения столбцов отношений. Этого недостаточно. Домен - это то же самое, что тип данных, возможно, определенный в системе тип (такой как INTEGER или CHAR), но в более общем случае простой определенный пользователем тип (такой как P# или QTY на рис. 1). Поэтому далее Дейт и Дарвен используют термины «тип» и «домен» попеременно.

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

Если система поддерживает домены должным образом, то ее пользователи должны иметь возможность определять собственные домены. И для домена P#, вероятно, были бы определены операции «=», «<» и т.д., но не операции «+», «*» и т.д., поскольку арифметические операции над номерами деталей, скорее всего, бессмысленны.

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

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

До сих пор ничего не говорилось о природе значений, принадлежащих домену. Эти значения могут быть всем, чем угодно (простыми или как угодно сложными). Единственное требование: значениями домена можно манипулировать только посредством определенных для него операций.

Следующее утверждение настолько важно, что Дейт и Дарвен повторяют его в другой формулировке:

Вопрос о том, какие поддерживаются типы данных ортогонален вопросу поддержки реляционной модели.

Итак, в реляционном мире домен - это тип данных, определяемый системой или пользователем, обладающий произвольной внутренней сложностью, и значениями этого типа можно манипулировать только с помощью определенных для него операций. Объектный класс обладает точно такими же характеристиками. Другими словами, домены и объектные классы - это одно и то же. Поэтому Дейт и Дарвен уверены, что при должной поддержке доменов реляционные системы смогут управлять всеми видами данных, которыми могут управлять объектные системы, но реляционные системы смогут управлять и такими видами данных, которыми не могут управлять объектные системы (временные ряды, биологические и финансовые данные и т.д.). Истинная «объектно/реляционная» система - это ни что иное, как истинная реляционная система.

Хочу заметить, что здесь c Дейтом и Дарвеном можно поспорить. Конечно, при отсутствии общепринятой объектной модели можно считать, что класс - это то же самое, что тип данных. Но достаточно часто либо (a) понятие класса нагружается еще и смыслом «контейнера», хранящего все существующие экземпляры (объекты) класса, либо (b) одновременно поддерживаются понятия и типа данных, и класса объекта в разных смыслах. И это только небольшая часть возражений, которые я мог бы предъявить Дейту и Дарвену от имени «объектного мира».

Relvars и объектные классы

В предыдущем разделе был поставлен знак равенства между объектными классами и доменами. Однако многие считают, что объектным классам соответствуют relvars. Дейт и Дарвен считают это серьезной логической ошибкой. Из чего она проистекает?

Рассмотрим следующее определение класса на гипотетическом объектном языке:

CREATE OBJECT CLASS EMP
  (EMP# CHAR(5), ENAME CHAR(20),
   SAL NUMERIC, HOBBY  CHAR(20),
   WORKS_FOR CHAR(20)) ... ;

Здесь EMP#, ENAME и т.д. - это переменные экземпляра (называемые также членами или атрибутами), значения которых в каждом «экземпляре» класса EMP в любой момент времени составляют общее значение этого экземпляра в данный момент времени. В «чистой» объектной системе эти переменные экземпляра являются частными (т.е. скрытыми от пользователя), но в следующем ниже обсуждении предполагается, что они «публичные».

Вообще говоря, это не является принципиальным. Во многих объектных системах объявление публичной переменной экземпляра трактуется как неявное определение двух неявных методов соответствующего класса «get» и «set» для каждой такой переменной. Если говорить не слишком строго, то при использовании надлежащего подхода наличие публичных переменных не противоречит принципам инкапсуляции.

Теперь рассмотрим простое реляционное определение relvar на языке SQL:

CREATE TABLE EMP
   (EMP# CHAR(5), ENAME CHAR(20),
    SAL NUMERIC, HOBBY CHAR(20),
    WORKS_FOR CHAR(20));

Эти два определения выглядят очень похоже, наводя на мысль, что определяется одно и то же. Однако второе определение допускает ряд возможных расширений.

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

CREATE TABLE EMP
   (EMP# CHAR(5), ENAME CHAR(20),
    SAL NUMERIC, HOBBY CHAR(20),
    WORKS_FOR CHAR(20));
CREATE TABLE ACTIVITY
   (NAME CHAR(20), TEAM INTEGER);
CREATE TABLE COMPANY
   (NAME CHAR(20), LOCATION 
   CITYSTATE);
CREATE TABLE CITYSTATE
  (CITY CHAR(20), STATE CHAR(2));

Сразу заметим, что это противоречит жесткому требованию Дейта и Дарвена того, что relvar не является доменом.

Первое расширение является грубой аналогией той концепции, которая позволяет объектам содержать другие объекты, иногда называемой концепцией иерархии объектов. Хотя Дейт и Дарвен характеризуют первое расширение как «столбцы, содержащие строки», по их мнению, более точно было бы говорить про «столбцы, содержащие указатели на строки».

Аналогичные замечания относятся к второму возможному расширению, в котором допускаются столбцы со значениями-отношениями, т.е. столбцы, значениями которых являются множества строк из некоторой другой (или той же самой) relvar. Например, если у каждого служащего может быть несколько хобби, то определение EMP могло бы выглядеть следующим образом:

CREATE TABLE EMP
   (EMP# CHAR(5), ENAME CHAR(20),
   SAL NUMERIC, HOBBY SET 
   OF( ACTIVITY),
   WORKS_FOR COMPANY);

Третье расширение допускает наличие методов, ассоциированных с relvars (термин «метод» является обычной для объектного мира заменой термина «операция»). Например,

CREATE TABLE EMP
   (EMP# CHAR(5), ENAME CHAR(20),
   SAL NUMERIC, HOBBY SET 
   OF(ACTIVITY), WORKS_FOR  
   COMPANY) 
METHOD RETIREMENT_BENEFITS( ): NUMERIC;

Программный код, релизующий метод, можно было бы написать, например, на языке Си.

Наконец, еще одно расширение допускает определение подклассов. Например:

CREATE TABLE PERSON
   (SS# CHAR(9), BIRTHDATE DATE,
   ADDRESS CHAR(50));
CREATE TABLE EMP
   AS SUBCLASS OF PERSON
   (EMP# CHAR(5), ENAME CHAR(20),
   SAL NUMERIC, HOBBY SET 
   OF(ACTIVITY),
   WORKS_FOR COMPANY) 
METHOD RETIREMENT_BENEFITS ( ) : NUMERIC;

Теперь EMP обладает тремя дополнительными столбцами, унаследованными от PERSON. Если бы у PERSON были методы, они были бы также унаследованы. Таблицы PERSON и EMP представляют пример того, что называется супертаблицой и подтаблицей соответственно.

Конечно, при наличии таких расширительных определений потребовались бы и манипуляционные расширения, например:

  • путевые выражения (например, EMP.WORKS_FOR.LOCATION.STATE), которые могут возвращать скаляры, строки или отношения, причем в двух последних случаях компонентами строк или отношений могут быть строки или отношения и т.д.
  • литералы строк и отношений, например, ( ?E001?, ?Smith?, $50000, ((?Soccer?,11), (?Bridge?,4)), (?IBM?,(?San Jose?, ?CA?)))
  • операции реляционного сравнения, например, SUBSET (строгое подмножество) и SUBSETED;
  • операции для обхода иерархии классов;
  • возможность вызова методов в разделах, например, SELECT и WHERE (в терминах SQL);
  • возможность доступа к индивидуальным компонентам значений столбца, если это строки или отношения.

Сколько места потребовалось для краткого обзора того, как идея «relvar = класс» воплощается на практике!

Прежде всего это неправильно, поскольку relvar - это переменная, а класс - это тип. Равно как значение отношения не есть домен, так и relvar - не есть домен. Уже из этого видно, что идея проваливается. Но можно привести еще несколько соображений.

  • Из соотношения «relvar = класс» следует, что «строка = объект», а «столбец = (публичная) переменная экземпляра. Но истинный объектный класс обладает методами и в нем не допускаются публичные переменные экземпляра, а «объектный класс» relvar обладает публичными переменными экземпляра и только необязательно - методами.
  • Имеется важное логическое различие между определениями столбцов (например) «SAL NUMERIC» и «WORKS_FOR COMPANY». NUMERIC - это истинный тип данных (истинный, хотя и примитивный, домен); он накладывает независимые от времени ограничения на значения столбца SAL. COMPANY - это не истинный тип данных; ограничения, накладываемые им на значения столбца WORKS_FOR зависят от текущего значения relvar COMPANY. Здесь снова проявляется разница между relvar и доменом.
  • «Объекты»-строки могут содержать другие «объекты». Но в действительности они содержат указатели на эти «включаемые объекты», и это должно быть абсолютно ясным пользователям. Например, если пользователь меняет некоторую строку отношения COMPANY, то это изменение будет сразу отражено во всех строках отношения EMP, которые «содержат» данную строку. Это не то чтобы плохо, но должно быть предельно ясно.

Вот еще ряд вопросов:

  • Можно ли вставить в EMP строку с указанием значения «содержащейся» строки COMPANY, которое в это время отсутствует в relvar COMPANY. Если ответ - «да», то это значит, что определение столбца WORKS_FOR как имеющего тип COMPANY не очень осмысленно, поскольку не срабатывает должным образом ограничение операции вставки. Если же ответ - «нет», то операция вставки становится недопустимо сложной, поскольку пользователь должен не только указать название существующей компании (внешний ключ), но всю существующую строку отношения COMPANY. И конечно, придется дословно повторять уже известную системе информацию.
  • Предположим, что мы хотим использовать для компаний правило ON DELETE RESTRICT (т.е. запретить удалять компании, в которых еще есть сотрудники). Видимо, для реализации этого правила потребуется явный процедурный код, скажем, метод M (поскольку у relvar EMP нет внешнего ключа, но невозможно использовать декларативную форму этого правила). Следовательно, операцию DELETE языка SQL для отношения EMP можно будет выполнить только внутри программного кода, реализующего метод M. Каким образом поддерживать это требование? Аналогичные замечания можно сделать по поводу других ссылочных действий, например, DELETE CASCADE.
  • Удаление строки из EMP, видимо, не приведет к «каскадному» удалению соответствующей строки COMPANY, несмотря на то, что строка отношения EMP содержит эту строку COMPANY.

Все это следует из того, что мы вышли за пределы реляционной модели, в которой фундаментальным объектом является отношение, содержащее значения. В нашем случае «отношение» содержит значения и указатели. Другими словами, мы подорвали концептуальную целостность реляционной модели.

  • Предположим, что определяется представление V как проекция EMP на один столбец HOBBIES. Конечно, V - это тоже relvar, но порожденная, а не базовая. Если «relvar = класс», то и V - это класс. Но что это за класс? Кроме того, у классов имеются методы; какие методы применимы к V? У EMP есть всего один метод RETIREMENT_BENEFITS, и он, конечно, не применим к «классу» V. Похоже, что к проекции вообще не применимы никакие методы, т.е. это вообще не класс. Конечно, можно было бы сказать, что это класс с публичными переменными экземпляра и без методов, то в настоящем-то классе должно быть ровно наоборот.

На самом деле, ясно, что когда люди отождествляют relvars и классы, они имеют в виду базовые relvars и забывают про порождаемые. На проводить различие между базовыми и порождаемыми relvars - это серьезнейшая ошибка.

Заметим, что это не очень сильное замечание, поскольку, теоретически никто не мешает разрешить определять методы при определении представления. Другое дело, что SQL-92 позволяет использовать запросы в разделе FROM запроса, и тогда действительно приходится иметь дело с чисто порождаемыми relvars, для которых негде определять методы (не делать же это прямо в тексте запроса).

Наконец, какие домены поддерживаются? При отождествлении relvars и классов домены не вписываются в общую схему.

Можно подвести следующий итог этого раздела. Очевидно, что можно построить систему на основе ложной идеи «relvar = класс» и, более того, такие системы уже существуют. Но также очевидно, что эти системы напоминают автомобиль без масла или дом, построенный на песке: они могут быть даже полезны на некоторое время, но в конце концов обречены на неудачу.

Замечание по поводу наследования

В разделе «Домены и объектные классы» не упоминается возможность наследования не потому, что Дейт и Дарвен не хотели этого, а вследствие отсутствия четко определенной и общепринятой модели наследования ко времени написания книги. Поэтому предполагается условная поддержка наследования в том смысле, что «если наследование поддерживается, то оно должно соответствовать некоторой правильно определенной и общепризнанной модели».

Заключительные замечания

По мнению Дейта и Дарвена в объектной технологии имеется одна безусловно хорошая идея - определяемые пользователями типы (включая определяемые пользователями операции). Одна идея является вероятно хорошей - наследование типов. Ключевой идеей Дейта и Дарвена является то, что эти две идеи полностью ортогональны реляционной модели. Чтобы достичь объектной функциональности, с реляционной моделью не требуется делать абсолютно ничего. Что требуется от поставщиков, это чисто реляционные СУБД (это не означает «SQL-ориентированные системы) с должной поддержкой доменов, и тогда мы получим желаемые «объектно/реляционные» системы.

Мне кажется, что материал первых двух глав книги очень силен в негативном смысле. Почти со всеми отрицательными утверждениями Дейта и Дарвена трудно спорить. Что же касается положительных утверждений, например, в пользу отождествления доменов и классов, то они опираются на ограниченное и нечетко выраженное понимание объектов. Фактически сначала утверждается, что класс - это то же, что и тип данных (слишком сильное для объектного мира предположение), а потом, естественно, оказывается, что домен = класс. Довольно тавтологично, не правда ли? Нет никаких объектов, есть только типизированные значения и переменные, а раз так, то нет и объектно-ориентированного подхода.


Сводка утверждений и очень строгих суждений

Положительные RM-утверждения

  1. Скалярные типы
  2. Скалярные значения типизированы
  3. Скалярные операции
  4. Реальные и возможные представления
  5. Раскрытие возможных представлений
  6. Генератор типа TUPLE
  7. Генератор типа RELATION
  8. Равенство
  9. Кортежи
  10. Отношения
  11. Скалярные переменные
  12. Кортежные переменные
  13. Переменные отношений (relvars)
  14. Реальные и виртуальные relvars
  15. Возможные ключи
  16. Базы данных
  17. Транзакции
  18. Реляционная алгебра
  19. Имена relvars, селекторы отношений и рекурсия
  20. Операции над значениями отношений
  21. Присваивания
  22. Сравнения
  23. Ограничения целостности
  24. Предикаты над relvar и базами данных
  25. Каталог
  26. Разработка языка

Отрицательные RM-утверждения

  1. Отсутствие упорядоченности атрибутов
  2. Отсутствие упорядоченности кортежей
  3. Отсутствие кортежей-дубликатов
  4. Отсутствие неопределенных значений
  5. Отсутствие ошибок логики неопределенных значений
  6. Отсутствие конструкций внутреннего Уровня
  7. Отсутствие операций уровня кортежей
  8. Отсутствие составных атрибутов
  9. Отсутствие возможности преодоления проверок доменов
  10. Не SQL

Положительные OO-утверждения

  1. Проверка типов во время компиляции
  2. Простое наследование (условно)
  3. Множественное наследование (условно)
  4. Вычислительная полнота
  5. Явные границы транзакций
  6. Вложенные транзакции
  7. Агрегаты и пустые множества

Отрицательные OO-утверждения

  1. Relvars - это не домены
  2. Отсутствие идентификаторов атрибутов

Очень строгие RM-суждения

  1. Системные ключи
  2. Внешние ключи
  3. Вывод возможных ключей
  4. Ограничения переходов
  5. Запросы с квотами
  6. Обобщенное транзитивное замыкание
  7. Параметры кортежей и отношений
  8. Специальные значения (по умолчанию)
  9. Миграция от SQL

Очень строгие OO-суждения

  1. Наследование типов
  2. Типы и операции не связаны
  3. Генераторы типов коллекций
  4. Преобразование в отношения и из отношений
  5. Одноуровневое хранение

Таблица 1. Отношение инвентарной ведомости MMQ
MMQMAJOR_P# : P# MINOR_P# : P# QTY : QTY
 P1P25
 P1P33
 P2P32
 P2P47
 P3P54
 P4P68

Поделитесь материалом с коллегами и друзьями