Подставляемость и преобразование объектных типов в иерархии

Стивен Фернстайн
(Substituting and Converting Object Types in a Hierarchy, by Steven Feuerstein)
Oracle Magazine RE - Июнь 2002
Источник: Oracle Professional: March 2002

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

В одном из препдыдущих выпусков Oracle Professional я рассматривал одно из наиболее важных расширений языка SQL и PL/SQL: поддержку наследования объектных типов. При наследовании подтипТип (лат.phylum)— один из высших рангов таксономической иерархии в зоологии. В ботанических классификациях ему соответствует отдел (лат.divisio). наследует все атрибуты и методы своих супертипов - причем наследует их не только непосредственно этот подтип, но и любой подтип или потомок в результирующей иерархии объектного типа. Наследование позволяет реализовать бизнес логику на нижних уровнях иерархии и затем сделать ее автоматически доступной во всех объектных типах, выводимых из этих супертипов. Вам не придется кодировать бизнес-правила много раз, чтобы использовать их в различных объектных типах в иерархии.

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

Что такое подставляемость?

При объявлении иерархии типов, мы начинаем с корневого типа, из которого выводятся все другие подтипы. Например, в языке Java все классы (приблизительно аналогичные "объектным типам" OracleOracle (Oracle Corporation)— американская корпорация, крупнейший в мире разработчик программного обеспечения для организаций, крупный поставщик серверного оборудования.) происходят от корневого класса Object. В Oracle, где объектная модель располагается на вершине реляционной базы данных, не существует встроенной глобальной иерархии. Поэтому, каждый раз, когда мы работаем с объектными типами, необходимо объявлять свой собственный корень.

В этой статье мы рассмотрим очень простую иерархию типов, показанную на Рисунке 1 (и объявленную в файле food.ot, который находится в прилагаемом Download файле).

В этой иерархии тип еда (food), food_t, является корнем. Тип десерт (dessert), dessert_t, является подтипом еды, а пирожное (cake), описанное как cake_t, является в свою очередь подтипом dessert_t. Ниже приведены объявленияЭлектронная доска объявлений — первоначально это понятие относилось исключительно к BBS. Однако по мере распространения Интернета появилось множество сайтов, вполне аналогичных обычным бытовым доскам объявлений или же рекламным газетам. Они унаследовали название электронных досок объявлений (однако аббревиатура BBS в отношении подобных русскоязычных ресурсов употребляется редко). Их содержимое представляет собой набор объявлений коммерческого и/или некоммерческого характера и размещается как на платной, так и на бесплатной основе, в зависимости от конкретного сайта. Многие рекламные компании, имеющие бумажные издания и работающие в сфере теле- и радиорекламы, создают и поддерживают также собственные электронные доски объявлений. этих типов (показаны только атрибуты, без связанных с ними PL/SQL методов):

CREATE TYPE food_t AS OBJECT (
    name VARCHAR2(100),
    food_group                    VARCHAR2 (100),
    grown_in                      VARCHAR2 (100)
    )
    NOT FINAL
    ;
 /
 CREATE TYPE dessert_t UNDER food_t (
    contains_chocolate    CHAR(1),
    year_created          NUMBER(4)
    )
    NOT FINAL
    ;
 /
 CREATE TYPE cake_t UNDER dessert_t (
    diameter      NUMBER,
    inscription   VARCHAR2(200)
    )
    ;
 /

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

DECLARE
    my_favorite   cake_t
    := cake_t (
          'Marzepan Delight',
          'CARBOHYDRATE',
          'Swedish Bakery',
          'N',
          1634,
          8,
          'Happy Birthday!'
       );
 BEGIN
    DBMS_OUTPUT.put_line (my_favorite.NAME);
    DBMS_OUTPUT.put_line (my_favorite.inscription);
 END;
 /

Обратите внимание, что я отображаю и ссылаюсь на атрибуты как базового типа еда, так и подтипа пирожное. Они все одинаково доступны мне в объекте типа пирожное.

Эту иерархию нужно понимать следующим образом: пирожное является типом десерта, который, в свою очередь является типом еды. Но не все десерты являются пирожными, и не всякая еда является десертом (отложим сейчас очевидные культурные сложности, например, что-нибудь, что не считается десертом в Соединенных Штатах, может являться таковым, скажем, в Эквадоре). Любые характеристики еды приложимы к пирожному, но не все характеристики пирожного обязательно имеют смысл для еды, к примеру, такой как огурецОгурец, или Огурец обыкновенный, или Огурец посевной (лат.Cucumis sativus)— однолетнее травянистое растение семейства Тыквенные (Cucurbitaceae), вид рода Огурец (Cucumis).

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

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

Допустим, я создаю таблицу объектов типа food_t:

CREATE TABLE sustenance OF food_t;

Я могу теперь вставить строки в эту таблицу следующим образом:

BEGIN
    INSERT INTO sustenance
         VALUES (food_t (
                   'Brussel Sprouts',
                   'VEGETABLE',
                   'farm'
                )
                );
    INSERT INTO sustenance
         VALUES (dessert_t (
                   'Jello',
                   'PROTEIN',
                   'bowl',
                   'N',
                   1887
                )
                );
    INSERT INTO sustenance
         VALUES (cake_t (
                   'Marzepan DelightMV Delight — сухогруз компании «Starry Shine International Ltd.» под флагом Гонконга, оператор сухогруза- правительственная иранская компания Islamic Republic of Iran Shipping Lines.Оно подверглось нападению в Аденском заливе недалеко от йемена и было угнано 18 ноября 2008 в 14:00 сомалийскими пиратами . Захваченный сухогруз перевозил 36 тысяч тонн пшеницы в иранский порт Бандар-Аббас. Среди 25 членов команды граждане Ганы, Индии, Ирана, Пакистана, Филиппин.',
                   'CARBOHYDRATE',
                   'bakery',
                   'N',
                   1634,
                   8,
                   'Happy Birthday!'
                )
                );
 END;
 /

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

Я могу выполнить запрос к этой таблице в SQL*Plus и он покажет мне все атрибуты типа еда (и только) для трех строк.

SQL> SELECT * FROM sustenance;
 NAME                      FOOD_GROUP         GROWN_IN
 -------  ----
 Brussel Sprouts           VEGETABLE          farm
 Jello                     PROTEIN            bowl
 Marzepan Delight          CARBOHYDRATE       bakery

Я могу также использовать преимущества подставляемости в PL/SQL блоках. В следующем коде, я объявляю еду, но инициализирую ее десертом, более конкретным типом еды.

DECLARE
    mmm_good food_t :=
       dessert_t (
          'Super Brownie',
          'CARBOHYDRATE',
          'my oven', 'Y', 1994);
 BEGIN
    DBMS_OUTPUT.PUT_LINE (
       mmm_good.name);
 END;
 /

А вот пример подставляемости в PL/SQL коллекциях:

DECLARE
    TYPE foodstuffs_nt IS TABLE OF food_t;
    fridge_contents foodstuffs_nt := (
       food_t (
         'Eggs benedict', 'PROTEIN', 'Farm'),
       dessert_t (
         'Strawberries and cream',
         'FRUIT', 'Backyard', 'N', 2001),
       cake_t (
         'Chocolate Supreme', 'CARBOHYDRATE',
         'Kitchen', 'Y', 2001,
          8, 'Happy Birthday, Veva'));
 BEGIN
    FOR indx IN
       fridge_contents.FIRST ..
 fridge_contents.LAST
    LOOP
       DBMS_OUTPUT.PUT_LINE (
          fridge_contents(indx).name);
    END LOOP;
 END;
 /

Теперь рассмотрим вставки, которые не работают. Допустим, я создал объектную таблицу десертов:

CREATE TABLE sweet_nothings OF dessert_t;
 /

Если теперь я попытаюсь вставить объект типа еда, Oracle выдаст ошибку, как показано ниже:

BEGIN
    INSERT INTO sweet_nothings
         VALUES (dessert_t (
                   'Jello',
                   'PROTEIN',
                   'bowl',
                   'N',
                   1887
                )
                );
    INSERT INTO sweet_nothings
         VALUES (food_t (
                   'Brussel Sprouts',
                   'VEGETABLE',
                   'farm'
                )
                );
 END;
 /
 PL/SQL: ORA-00932: inconsistent datatypes

Я получил эту ошибку потому, что любой десерт является едой, но не любая еда является десертом. Я не могу вставить объект типа food_t в столбец типа dessert_t.

Теперь рассмотрим аналогичную ситуацию, в PL/SQL. Я объявляю в своей программе объект типа еда и инициализирую его десертом. Обратите вниманиеВнимание— избирательная направленность восприятия на тот или иной объект., что я указал Y или "Yes, it sure does!" ("Да, конечно, содержит!") для атрибута contains_chocolate (содержит_шоколад). Однако, если я попытаюсь в своем коде указать этот атрибут, характерный для десерта, PL/SQL выдаст мне ошибку.

SQL> DECLARE
   2  -- Опять я подставляю, но на этот раз
   3  -- я пытаюсь получить доступ к атрибуту десерта.
   4     mmm_good food_t :=
   5        dessert_t (
   6           'Super Brownie',
   7           'CARBOHYDRATE',
   8           'my oven', 'Y', 1994);
   9  BEGIN
  10     DBMS_OUTPUT.PUT_LINE (
  11        mmm_good.contains_chocolate);
  12  END;
  13  /
       mmm_good.contains_chocolate);
                *
 ERROR at line 11:
 ORA-06550: line 11, column 16:
 PLS-00302: component 'CONTAINS_CHOCOLATE' must be declared

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

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

Как отключить подставляемость

Зачем нужно отключать или ограничивать подставляемость? Я могу захотеть, чтобы таблица содержала только объекты конкретного типа внутри иерархии, а не всякие подтипы. Для обеспечения этого требования, Oracle предоставляет возможность отключать подставляемость на любом уровне для столбца или атрибута, включая встроенные атрибуты и вложенные коллекции. Для этого используется следующее предложение:

NOT SUBSTITUTABLE AT ALL LEVELS

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

CREATE TABLE meal (
    served_on DATE,
    appetizer food_t,
    main_course food_t,
    dessert dessert_t
    )
    COLUMN appetizer NOT SUBSTITUTABLE AT ALL LEVELS
    ;

Предложение NOT SUBSTITUTABLE используется, чтобы указать, что при задании значения для столбца appetizer нельзя использовать подтип еды. Я не хочу, чтобы кто-нибудь вставил десерт в качестве закуски.

Рассмотрим теперь код в Листинге 1. Я пытаюсь вставить два различных приема пищи. В первом INSERT'е я указываю объект типа food_t в качестве закуски. Во втором insert'е я пытаюсь подсунуть десерт в качестве закуски. Результатом выполнения является следующая ошибка:

ERROR at line 1:
 ORA-00932: inconsistent datatypes

Предложение NOT SUBSTITUTABLE можно применить и к целой объектной таблице. Листинг 2 демонстрирует эту возможностьВозможность — направление развития, присутствующее в каждом явлении жизни; выступает и в качестве предстоящего, и вполне объяснимо рациональным путем: в каждой возможности присутствует вероятная невозможность, «возможность невозможного». Возможность не определяется познанием того, что может быть. Познание вероятностей, возможностей не всегда влияет на нашу возможность. На изучении возможности основывается, главным образом, исследование бытия и события.. Я создал таблицу объектов food_t, с именем brunches. В нее можно успешно вставлять объекты типа food_t, но при попытке вставить десерт в таблицу возникает та же ошибка "несовместимые типы данных".

Вот что следует помнить об ограничениях подставляемости:

• Не существует механизма отключения подставляемости для REF столбцов.
• Столбец должен быть столбцом верхнего уровня, чтобы предложение NOT SUBSTITUTABLE AT ALL LEVELS было применимо к нему. Это предложение нельзя применить к атрибуту объектного типа.

Ограничение подставляемости для конкретного подтипа

Итак, я могу отключить все уровни подставляемости, но что если необходимо отключить всю подставляемость кроме конкретного подтипа? Предположим, например, что я хочу создать PL/SQL коллекцию десертов, которая может содержать только пирожные. Или я хочу ввести правило в моей таблице meals, что все десерты должны быть пирожными. Oracle предоставляет предложение IS OF для этой цели. Вот новое объявление таблицы meals, в которой существует два различных типа ограничения подставляемости:

CREATE TABLE meal (
    served_on DATE,
    appetizer food_t,
    main_course food_t,
    dessert dessert_t
    )
    COLUMN appetizer NOT SUBSTITUTABLE AT ALL LEVELS,
    COLUMN dessert IS OF (ONLY cake_t)
    ;

И теперь я смогу добавлять только такие приемы пищи, в которых десерты объявлены как пирожные. Поэтому следующий INSERT отвергается:

SQL> BEGIN
   2    -- This will no longer work.
   3    INSERT INTO meal VALUES (
   4    SYSDATE,
   5    food_t ('Shrimp cocktail',
   6       'PROTEIN', 'Ocean'),
   7    food_t ('Eggs benedict',
   8       'PROTEIN', 'Farm'),
   9    dessert_t ('Strawberries and cream',
  10       'FRUIT', 'Backyard', 'N', 2001));
  11  END;
  12  /
 BEGIN
 *
 ERROR at line 1:
 ORA-00932: inconsistent datatypes

Оператор IS OF type можно использовать только для того, чтобы ограничить объекты строки и столбца для одного подтипа, не для нескольких. Необходимо также использовать ключевое слово ONLY, даже если это единственная альтернатива, доступная сейчас. Вы можете использовать либо IS OF type, либо NOT SUBSTITUTABLE AT ALL LEVELS для ограничения объектного столбца, но нельзя использовать и то и другое для одного и того же столбца. Очевидно, что эти ограничения можно применять к различным столбцам, как показано раньше.

Расширение и сужение объектных типов

Рассмотрим две концепцииКонцепция, или концепт, (от лат.conceptio— понимание, система)— определённый способ понимания (трактовки, восприятия) какого-либо предмета, явления или процесса; основная точка зрения на предмет; руководящая идея для их систематического освещения.: расширение и сужение, очень полезные при работе с объектами в иерархии типов, особенно при присваивании переменной или столбцу одного типа объекта другого типа в иерархии. Вот их определение:

• Расширение - это присвоение, в котором объявленный тип источника является более конкретным, чем объявленный тип места назначения. Если я присваиваю объект (или экземпляр объектного типа, если говорить точнее) типа cake_t переменной типа dessert_t, то я выполняю расширение.
• Сужение - это присвоениеПрисвоение, или растрата— преступление против собственности, неправомерное удержание или невозвращение чужого имущества, вверенного виновному., в котором объявленный тип источника является более общим, чем объявленный тип места назначения. Если я присваиваю объект типа dessert_t переменной типа cake_t, то я выполняю операцию сужения.

Расширение является фактически "родным" для иерархий объектных типов Oracle и их свойства подставляемости. Любое пирожное является также десертом и едой. Следовательно, до тех пор, пока вы явно не ограничите подставляемость, подтип может трактоваться, храниться и обрабатываться как любой из его супертипов. Вы уже видели несколько примеровБорис Терентьевич Примеров (1июля 1938(19380701)— 5 мая 1995)— советский и российский поэт. этой обработки в статье.

Давайте рассмотрим, как выполняется более сложный шаг - сужение - в SQL и PL/SQL в Oracle9i.

СужениеФункция— математическое понятие, отражающее связь между элементами множеств. Можно сказать, что функция это «закон», по которому каждому элементу одного множества (называемому областью определения) ставится в соответствие некоторый элемент другого множества (называемого областью значений). с TREAT

Oracle предоставляет специальную функцию TREAT, которая позволяет выполнять операцию сужения. Функция TREAT явно изменяет объявленный тип источника в присваивании на более специализированный тип или подтип в иерархии места назначения.

Для успешного сужения нужно использовать TREAT; без использования этой функции, вы не сможете сослаться на специфичные для подтипа атрибуты и методы.

Вот общий синтаксис этой функции:

TREAT (<object instance> AS <object type>)

где <object instance> - это значение столбца или строки коллекции данного конкретного супертипа в объектной иерархии, а <object type> - это подтип в этой иерархии.

Давайте рассмотрим несколько примеров использования TREAT. Предположим, что я вставил три строки в таблицу meal, как показано в Листинге 3. Обратите внимание, что в третьей строке я передал десерт в качестве главного блюда, одно из любимых занятий моего сына во время еды! Я смог сделать это, поскольку не ограничил подставляемость столбца main_course.

Предположим, что я хочу видеть список всех приемов пищи, в которых десерт указан в качестве главного блюда. Я использую оператор TREAT в предложении WHERE:

ФункцияФункция— многозначный термин, который означает такое отношение между элементами, в котором изменение в одном влечет изменение в другом. TREAT - которую, кстати, в Oracle9i версии 1 можно использовать только в операторах SQL (но не в PL/SQL блоках) - возвращает объектный тип NULL для любых главных блюд, не являющихся десертами.

Допустим, я хочу узнать, содержит ли какое-нибудь из моих главных блюд шоколадШоколад— кондитерские продукты, изготавливаемые с использованием плодов какао.. Этот атрибут характерен для десертов, поэтому если я попытаюсь напрямую сослаться на этот атрибут без TREAT, мой запрос завершится с ошибкой, как показано ниже:

SQL> SELECT main_course.contains_chocolate
   2    FROM meal
   3   WHERE TREAT (main_course AS dessert_t)
   4         IS NOT NULL;
 SELECT main_course.contains_chocolate
                    *
 ERROR at line 1:
 ORA-00904: invalid column name

Даже если все выбранные главные блюда являются десертами, у Oracle нет возможности узнать это; столбец main_course объявлен как тип food_t. Итак, что я должен делать? Использовать функцию TREAT в списке SELECT также как в запросе! Этот запрос и результаты представлены в Листинге 4.

Я могу также использовать TREAT в DML операциях, таких как INSERT'ы и UPDATE'ы. Предположим, например, что я не хочу разрешать вставлять в таблицу meal такие строки, в которых десерт является основным блюдом. Я могу добавить ограничение на таблицу, чтобы предотвратить это, но я также могу удалить все такие строки, используя UPDATE вместе с TREAT.

Только помните, что мы пока не можем использовать TREAT вне SQL оператора, напрямую в родном PL/SQL коде. Возможно, мы получим PL/SQL TREAT в Oracle9i версии 2.

Программный компромисс относительно иерархий типов

Реализация наследования в Oracle без сомнения значительно улучшает полезностьПолезность (или «Потребительная стоимость») блага или товара— его способность удовлетворять какую-нибудь человеческую потребность. и мощностьМощность— физическая величина, равная отношению работы, выполняемой за некоторый промежуток времени, к этому промежутку времени. объектных типов в языке PL/SQL. Означает ли это, что многие и многие разработчики PL/SQL будут теперь использовать преимущества объектных типов и, в частности, эти замечательные новые возможности? У меня есть сомнения на этот счет, и на это - две причины:

Во-первых, многие разработчики и группы разработчиков совершенно счастливы с чисто реляционной модельМодель (фр.modle, от лат.modulus— «мера, аналог, образец»)— некоторый материальный или мысленно представляемый объект или явление, являющийся упрощённой версией моделируемого объекта или явления (прототипа) и в достаточной степени повторяющий свойства, существенные для целей конкретного моделирования(опуская несущественные свойства, в которых он может отличаться от прототипа).ю. Она делает то, что нужно, она проста, и ей легко управлять как разработчикам, так и администраторам. Конечно, объектная модель имеет некоторые преимущества, но вероятно не такие, чтобы оправдать стоимость дополнительного обучения и изменения мышления, которые потребуются.

Во-вторых, без сомненияСомнение— психическое состояние или состояние ума в котором возникает воздержание от окончательно определённого суждения, или/и раздвоения (троення ит.п.) его становления, из-за неспособности сознания сделать дискретный однозначный вывод. Если ум не может обнаружить причин, аргументов, которые бы позволили ему прийти к однозначному решению относительно правильности или ошибочности своего мнения, тогда сомнение является отрицательным (то есть фактически блокирование дальнейшего анализа и выводов, «избегание» дискретизации). Если же разум выявил причины и они равной, подобной, сравнительной важности, делая таким образом унитарное решающее мнение невозможным, тогда сомнение считается позитивным (включающим инвариантность). В обоих случаях результатом является: невозможность формирования окончательного суждения (воздержание от него). Существует множество примеров где человек не может победить дискретизировать, перевести в стадию определенности) свои сомнения., работа с объектной моделью включает написание более сложного кода. Вам придется иметь дело с конструкторами, и другими специальными операторами, типа TREAT, FINAL, SUBSTITUTABLE, и так далее. Вы можете потратить немало времени, чтобы стать профессионалом во всем этом, и потом все же перестать писать код, который является достаточно трудным для понимания и управленияУправление— воздействие субъекта, направленное на достижение абстрактной (неконкретной), но вынужденно-корректируемой цели (задачи, идеи) в уже сложившихся рамках правил, которые неизбежно-совершенствуются когда субъект непротиворечивее познаёт реальность, с которой сосуществует..

Итак, прежде всего, рассмотрите, что вам могут дать иерархии объектОбъект (лат.objectum— предмет)— философская категория, если определять её в пределах эпистемологии, выражающая нечто, существующее в реальной действительности (то есть независимо от сознания)— предмет, явление или процесс, на которые направлена предметно-практическая и познавательная деятельность субъекта (наблюдателя). В качестве объекта может выступать и сам субъект, в качестве субъекта выступает личность, социальная группа или всё общество.ных типов. Возможно, вы обнаружите, что объектные типы прекрасно вам подходят и имеют важные преимущества. В таком случае, глубоко изучите эти возможности и обеспечьте их использование во всей их мощности. Если вы не видите в этом ничегоНичто— категория, фиксирующая отсутствие, небытие определённой сущности, или отсутствие, отрицание бытия вообще, активное начало негации, негативности вообще. хорошего, не расстраивайтесь. Просто оставайтесь со своими реляционными таблицами и более простыми структурами данных. Они работали на протяжении 25 лет (юбилейЮбилей (позднелат.jubilaeus)— торжественно отмечаемая годовщина знаменательного события, жизни или деятельности какого-либо лица, существования учреждения, предприятия, организации ит.д. Отмечается по истечении десятилетия, двадцатилетия, тридцатилетия, сорокалетия, пятидесятилетия, шестидесятилетия, семидесятилетия, столетия или по иным круглым датам (как правило, соответствующих количеству лет, кратному 10, реже — 5)., который Oracle сейчас отмечает); и, вероятно, будут хороши в течение еще долгого времени.

Листинг 1. Попытка указать два приема пищи.

BEGIN
   INSERT INTO meal VALUES (
      SYSDATE,
      food_t ('Shrimp cocktail', 'PROTEIN', 'Ocean'),
      food_t ('Eggs benedict', 'PROTEIN', 'Farm'),
      dessert_t ('Strawberries and cream', 'FRUIT', 'Backyard', 'N', 2001));
   INSERT INTO meal VALUES (
      SYSDATE + 1,
      dessert_t ('Strawberries and cream', 'FRUIT', 'Backyard', 'N', 2001),
      food_t ('Eggs benedict', 'PROTEIN', 'Farm'),
      cake_t ('Apple Pie', 'FRUIT', 'Baker''s Square', 'N', 2001, 8, NULL));
END;

Листинг 2. Ограничение подставляемости в объектной таблице

SQL> CREATECREATE— DDL оператор языка SQL используемый для создания объектов базы данных. Различные СУБД работают с различными объектами. TABLE brunches OF food_t NOT SUBSTITUTABLE AT ALL LEVELS;
Table created.
SQL>
SQL> INSERT INTO brunches VALUES (
  2     food_t ('Eggs benedict', 'PROTEIN', 'Farm'));
1 row created.
SQL> INSERT INTO brunches VALUES (
  2     dessert_t ('Strawberries and cream', 'FRUIT', 'Backyard', 'N', 2001));
   dessert_t ('Strawberries and cream', 'FRUIT', 'Backyard', 'N', 2001))
   *
ERROR at line 2:
ORA-00932: inconsistent datatypes

Листинг 3. Вставка записей в таблицу meal.

BEGIN
   -- Заполнение таблицы meal
   INSERT INTO meal VALUES (
      SYSDATE,
      food_t ('Shrimp cocktail', 'PROTEIN', 'Ocean'),
      food_t ('Eggs benedict', 'PROTEIN', 'Farm'),
      dessert_t ('Strawberries and cream', 'FRUIT', 'Backyard', 'N', 2001));
   INSERT INTO meal VALUES (
      SYSDATE + 1,
      food_t ('Shrimp cocktail', 'PROTEIN', 'Ocean'),
      food_t ('Stir fry tofu', 'PROTEIN', 'Vat'),
      cake_t ('Apple Pie', 'FRUIT', 'Baker''s Square', 'N', 2001, 8, NULL));
   INSERT INTO meal VALUES (
      SYSDATE + 1,
      food_t ('Fried Calamari', 'PROTEIN', 'Ocean'),
      -- Butter cookies for dinner? Yikes!
      dessert_t ('Butter cookie', 'CARBOHYDRATE', 'Oven', 'N', 2001),
      cake_t ('French Silk Pie', 'CARBOHYDRATE',
         'Baker''s Square', 'Y', 2001, 6, 'To My Favorite Frenchman'));
END;
/

Листинг 4. Использование оператора TREAT.

SQL> SELECT TREAT (main_course AS dessert_t).contains_chocolate chocolatey
  2    FROM meal
  3   WHERE TREAT (main_course AS dessert_t) IS NOT NULL;
CHOCOLATEY
------
N