Введение в системы БД (542480), страница 277
Текст из файла (страница 277)
Замечание. Этот оператор может использоваться лишь в определенном контексте, а именно — для операции ТВЕАТ ОР по отношению к аргументу при вызове некоторого оператора, определенного пользователем, как в данном примере. Нужно сказать, что обеспечение такой функциональности, похоже, приводит к некоторой путанице между вопросами модели и реализации, ведь пользователи не должны даже знать, что существуют две версии оператора АЕЕА.
° В языке БС)ЬЗ также поддерживается метод вида Х.ЯРЕС1Р1СТУРЕ, который возвращает наиболее конкретный тип своего аргумента Х как символьную строку. ° В языке БОЬЗ аналоги операторов вида 1Я Т(Х) и 1Я ИЯ Т(Х) выглядят следующим образом. Х 1Я ОР ( т ) Х 1Я ОР ( ОИЬУ Т ) Б.4. Ссылочные типы Напомним, что, как утверждалось в главе 24, в обьектных системах есть лишь одна хорошая идея, а именно — надлежаи)ая поддержка типов данных (или две идеи, если считать наследование типа отдельно). Как видим, в язык Б )ЬЗ включены некоторые из этих "хороших" функциональных возможностей, хотя их поддержке еще далеко до совершенства.
Однако, к сожалению, в язык БОЬЗ включены и связанные с ними возможности, которые, по нашему убеждению, очень плохие. Фактически язык БОЬЗ довольно близко подошел к возможности допустить и первую грубейшую ошибку (приравнивание таблиц и классов), и вторую грубейшую ошибку (смешивание указателей и таблиц). Также необходимо сказать, что "оправдания" для выбора такого подхода не совсем понятны, по крайней мере автору; в сущности, они представляют собой лишь некую неясную идею о том, что рассматриваемые возможности каким-то образом делают язык Б()ЬЗ более "объектно-подобным".
Но как бы то ни было, мы все же попытаемся объяснить, что на самом деле представляют собой соответствующие возможности. В языке Б()ЬЗ разрешено определять базовую таблицу не только в терминах явного множества именованных типизированных столбцов (обычным способом), но и в терминах структурированных типов, определяемых пользователем, как, например, показано ниже. СЕЕАТЕ ТУРЕ 0ЕРТ ТУРЕ АБ ( ОЕРТ() СВАЕ(3), ОИАИЕ СВАЕ(25), ВПОЛЗЕТ ИОИЕУ ) ЕЕГ 1Я ЯУЯТЕИ ОЕМЕЕАТЕО... 1049 Приложение Б. Обзор языка оое,З СКЕАТЕ ТАВОТЕ ОЕРТ ОГ ОЕРТ ТХРЕ ( КЕГ 1Б ОЕРТ 1Р ЯХЯТЕМ 6ЕМЕКАТЕО, РК1ИАКХ КЕХ ( РКРТ() ), ОВ1()ОЕ ( ОЕРТ 1О ) )...
1 Пояснения 1. Для данного определения структурированного типа Т система автоматически генерирует связанный ссылачный тип ("КЕГ тип"), обозначаемый как КЕГ( Т). Значения типа КЕГ( Т) представляют собой "ссылки" на строки типа Т в базовой таблицей, которая определена как таблица, "относящаяся к" ("ОГ") типу Т (см. п. 3). Замечание. Тип Т, конечно, может быть использован и в другом контексте, например как объявленный тип для некоторой переменной У или некоторого столбца С. Однако никакие значения КЕГ( Т) не связаны с другими такими его применениями. 2.
Предложение КЕГ 1Б ЯХБТЕИ 6ЕНЕКАТЕО в операторе СКЕАТЕ ТХРЕ означает, что реальные значения связанного КЕГ-типа предоставляются системой. Может использоваться и другая опция КЕГ 1Я ОЯЕК 6ЕМЕКАТЕО, но здесь она рассматриваться не будет. Опция КЕГ 1Б БХЯТЕМ 6ЕВЕКАТЕО применяется по умолчанию. 3. Базовая таблица может быть определена (с помощью оператора СКЕАТЕ ТАВЬЕ) как таблица, "относящаяся к" некоторому структурированному типу. Однако ключевое слово ОГ здесь не совсем подходит, поскольку ни таблица в целом, нн даже отдельные ее строки на самом деле не "относятся к" рассматриваемому типуз.
В частности, для таблицы могут быть определены дополнительные столбцы вдобавок к "столбцам" (или, скорее, к атрибутам) самого структурированного типа. Фактически должен быть указан по крайней мере один дополнительный столбец, а именно — столбец подходящего КЕГ-типа. Синтаксис для определения такого столбца — это не обычный синтаксис для определения столбца, который выглядит так.
КЕГ 1Б <иня столбца> БХБТЕМ 6ЕИЕКАТЕО Дополнительный столбец используется лля размещения уникальных идентификаторов ("ссылок*') для строк данной базовой таблицы (подразумевается уточнение ОМ1ООЕ (<лия столбца>), хотя оно может указываться и явно, как в нашем примере). Идентификатор присваивается для данной строки, когда она вставляется, и остается связанным с этой строкойв, пока она не будет удалена. Замечание.
Повторение уточнения ЯХЯТЕМ 6ЕКЕКАТЕР, конечно, необходимо. (Возможно, это покажется странным, но генерируемый системой столбец мажет быть целевым столбцом в операциях 1ИЯЕКТ и 1)РОАТЕ, хотя и используется по особым В Или, возможно, в некотором представлении. Использование представления в этом прилажвнии не рассматривается. З В частнаспш, отметим, чта если абьявленным типом некоторого параметра Р для некотарага оператора Ор является некатарьш" структурированный тип Т, та строка базовой таблицы, которая была определена как таблица, "относящаяся к" типу Т, нв может передаваться как саатветствуюизий аргумент при вызове оператора Ор. В Здесь присутствует некоторый лиричный круг: "токая строка" может означать лишь "строку, которая имеет конкретный идентификатор".
Обратите внимание на смешиванив значения и переменной! 1050 Приложения соображениям. Подробности здесь не рассматриваются.) Но непонятно, почему требуется определять таблицу как "относящуюся к" некоторому структурированному типу вместо того, чтобы просто определить соответствующий столбец обычным способом и обеспечить функциональные возможности "уникального идентификатора".
4. Как отмечалось в разделе Б.2, структурированный тип, например ПЕРТ ТУРЕ, не рассматривается в качестве инкапсулированного, если он используется как основа для определения базовой таблицы, несмотря на то что считается (в определенной степени) таковым во всех других контекстах. Поэтому в данном примере базовая таблица ПЕРТ имеет четыре столбца, а не два, как это было бы, если бы тип ПЕРТ ТУРЕ был инкапсулированным. 5.
Столбец ПЕРТ(( был описан как первичный ключ для таблицы ПЕРТ. Однако, если строки таблицы ПЕРТ имеют уникальные идентификаторы ("ссылки"), эти идентификаторы могли бы при желании использоваться в качестве значения первичного ключа СКЕАТЕ ТАВЬЕ ПЯРТ ОГ ПЕРТ ТУРЕ ( КЕГ 1Б ПЕРТ 10 ЯУЯТЕМ ОЕМЕКАТЕП, РК1МАКУ КЕУ ( ПЕРТ 10 ), ПМ1ОПЕ ! ПЕРУ(( ) ) ° .. Теперь расширим пример, представив базовую таблицу ЕМР следующего вида. СКЕЙТЕ ТАВЬЕ ЕМР ( ЕМР1 СНАМ(5), ЕМАМЕ СНАМ(25), БАЬАКУ МОМЕУ, ПЕРТ 10 КЕГ ( ПЕРТ ТУРЕ ) ЯСОРЕ ПЕРТ КЕГЕКЕМСЕЯ АКЕ СНЕСКЕП ОМ ПЕЬЕТЕ САЯСАПЕ, РК1МАКУ КЕУ ( ЕМР() ) )...
1 Обычно базовая таблица ЕМР включает в качестве внешнего ключа столбец ПЯРТ((, который ссылается на отделы с помощью номеров отделов. Здесь, однако, в качестве "ссылочного" столбца используется столбец ПЕРТ 10, который неявно объявлен в качестве столбца внешнего ключа и который ссылается на отделы с использованием значений "ссылок". Предложение ЯСОРЕ ПЕРТ указываетсоответствующую таблицу для ссылок. Предложение КЕГЕКЕМСЕЯ АКЕ СНЕСКЕП означает, что поддерживается контроль целостности; опция КЕГЕКЕМСЕБ АКЕ МОТ СНЕСКЕП допускает наличие "висящих ссылок" (непонятно, зачем кому-либо когда-либо может потребоваться указывать такую опшяо). Опциями ОМ ПЕ1 ЕТЕ...
задаются правила удаления, аналогичные обычным правилам удаления внешнего ключа (поддерживаются те же самые опции). Однако отметим, что если это в действительности будет случай, когла столбец ПЕРТ 10 в базовой таблице ПЕРТ не может быть обновлен (см. п. 3 приведенного выше перечня), то не требуется никакого соответствующего правила ОМ ПРПАТЕ. Теперь рассмотрим несколько примеров запросов в этой базе данных. Вот формулировка на языке ЯО(.3 запроса "Получить номера отделов для служащего с номером ' Е1' ". БЕЬЕСТ ЕХ.ПЕРТ 10 -> ПЯРТ() АБ ПЕРУ(( ГНОМ ЕМР ЕХ МНЕКЕ ЕХ.ЕМР() = 'Е1' 1 Приложение Б.
Обзор языка БДЛЗ 1051 Обратите внимание на операцию разыменовыванияч в предложении ЯЕЬЕСТ (выражение ЕХ.БЕРТ 10 — з ОЕРТ)) возвращает значение ОЕРТ() из строки ОЕРТ, на которую указывает данное значение идентификатора БЕРТ 10). Также обратите внимание, что спецификация АЯ здесь в определенной степени необходима (если бы она была опущена, результирующий столбец был бы задан с именем, "зависящим от реализации" ).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
