С.Д. Кузнецов - Основы баз данных (1121716), страница 98
Текст из файла (страница 98)
Типизированные таблицы определяются в следующем синтаксисе: урес( ГаЫе г)е(1пг)оп:: = ОЕЕЛТЕ ТЛЕЕЕ бурей "аЫе папе ОР 1!ОТ папе ЕнЕЕЕ бурей ПаЫе пате ) ( урез саЫе е1етепп 11еп) Первой существенной особенностью оператора создания типизированной таблицы является обязательное наличие раздела ОЕ, в котором указывается имя ранее определенного структурного типа.
Строки типи- 4бб Лекция 19 Язык баз данных 5СЗЦ объектные расширения зированной таблицы являются экземплярами ассоциированного с табли- цей структурного типа. Под таблицы и супертаблицы Далее, при определении типизированной таблицы можно объявить ее подтаблицей некоторой другой типизированной таблицы (имя супер- таблицы указывается в разделе цнркя). Таблица л' является собственной подтаблицей супертаблицы л, если л' не совпадает с л (в этом случае таблица л является собственной супертаблицей подтаблицы л').
Супертаблица должна быть ассоциирована со структурным типом, являющимся непосредственным супертипом* определяемой подтаблицы. Каждый столбец указанной супертаблицы наследуется подтаблицей; наследуются и характеристики столбцов супертаблицы — значения по умолчанию, ограничения целостности и т. д. Эти столбцы называются уноследовиннымн столбцами подтаблицы, и они соответствуют атрибутам ()ОТ подтаблицы, унаследованным от ()ОТ супертаблицы. Кроме того, подтаблица будет содержать по одному столбцу лля каждого собственного атрибута ассоциированного структурного типа. Такие столбцы подтаблицы называются заново определенными.
Как это принято в а(.)(., столбцы типизированной таблицы имеют порядковые номера. При этом унаследованные столбцы нумеруются до заново определенных столбцов и имеют те же номера, которые имели столбцы супертаблицы. Определение элементов типиеированной теблицы Заключительным компонентом определения типизированной таблицы является конструкция сурет) гаЫе е1ещепг 11п'., являющаяся обобщением конструкции гаЫе е1ещепг 1(зг, которая используется в определении обычной базовой таблицы (см.
лекцию 12). Элемент списка элементов типизированной таблицы определяется следующим синтаксическим правилом: гуре гаЫе е1ещепг ::= гаЫе сопзгга(пг с)е11п(г1оп пе11-ге1етепс1па со1цлщ зрес111сас(оп со1плщ орг(опв ' Тии т является иелосредсмеевнми сулерт илом типа т' в том и только том сЛучае, когда тяаляется супертипсм т', и ие существует такого типа т", что тявляется супертиппм т", и т" является супертипом т'. 467 Основы баэ данных Курс Как видно из этого правила, в определении типизированной таблицы разрешается указывать табличные ограничения целостности.
Если определяемая таблица является подтаблицей некоторой супертаблицы, то в ней не допускается определение ограничения первичного ключа (РЕ1МАЕу кеу). Однако если определяется максимальная супертаблица, то в ее определении допускается спецификация Ре1млеу кеу (с указанием одного или нескольких столбцов) или спецификация ограничения ОМТООЕ (с указанием одного или нескольких столбцов) в комбинации с указанием МОТ МО~,. В определении типизированной таблицы могут также содержаться спецификации ссылочных ограничений целостности. Ссылки могут вести как на типизированную, так и на обычную таблицу. «Самоссылаютцийся» (яе11-геЕегепс(пд) столбец специфицируется в следующем синтаксисе: ЕЕР 15 со1авп паата ( ЕУЕТЕМ ГЕМЕЯАТЕП ) ПЕЕЕ ГЕМЕБАТЕО ) ПЕЕ1УЕП ) Эта спецификация не может входить в определение подтаблицы.
Спецификация должна присутствовать в определении максимальной супертаблицы, и самоссылающийся столбец, определенный в максимальной супертаблице, наследуется любой ее подтаблицей. Семантика самоссылаюшихся столбцов обсуткдается в следующем пункте. Последней разновидностью элемента типизированной таблицы являются ояции сотолбцов (со1натп орг1спя). Опции столбца можно указывать только для заново определенных столбцов — для унаследованных столбцов это не допускается.
Соответствующая конструкция имеет следующий синтаксис: со1штвт паате Х1ТН ОРТ1ОИЯ ::= ясоре с1аттяе )т)е1аа1Г с1аняе )со1аптп сопяггаьпг т)е11п1г1оп 11яг )со11аге с1аттяе Раздел яссре с1аряе может входить в опции только заново определяемого столбца с типом ееР (подробности в следующем подразделе). Для заново определяемого столбца некоторого типа символьных строк можно указать раздел со11аге с1аттяе, чтобы задать желаемый порядок на соответствующем наборе символов. Если требуется указать значение столбца по умолчанию, отличное от значения по умолчанию соответствующего атрибута, ассоциированного с определяемой таблицей структурного типа, можно воспользоваться опцией т)е(ан1г с1аняе. Наконец, для заново определяемого столбца можно указать одно или несколько ограничений, включая проверочные ограничения (см, лекцию 12). 468 Лекция 19 Язык баэ данных ЯОЫ обьектные расширения Ссылочные значения и йЕГ-типы Понятия ссылочных значений и ссылочных (кее) типов являются, по существу, неразделимыми.
В Я)1.:1999 ссылочный тип может использоваться в качестве типа данных столбцов обычных таблиц, атрибутов струкзурных типов, БО(.-переменных и параметров — словом, везде, где можно использовать другие типы данных БО(.. Значения местоположения ссылочного типа всегда являются ссылочными значениями строк типизированных таблиц (т.
е. значениями самоссылающихся столбцов этих строк). Для удобства повторим синтаксис спецификации ссылочного типа: те1етепсе туре врес111сат1оп ::= вувтев депетатеб гертевептат(оп ивет де11пед тертевептат(оп бет1оеб гергевептат(сп вувтее уепетатес) тертевептат1оп : — КЕЕ 1Я ЯУЯТЕМ ЯЕИЕКЛТЕР цвет с)е11пед гергевептат(оп:== КЕЕ ЕЯ1ИС ртес)е11пег) туре дет1чес1 тергевептат(пп ::= кее Р91ис ~сспгпа11вт сй аттт1Ьцтев) Механизмы генерации ссылочных значений В ЗО(.:1999 и Я;)):2003 обеспечиваются три механизма назначения уникальных идентификаторов экземплярам структурных типов, ассоциированных с типизированными таблицами. Во всех типизированных таблицах, ассоциированных с данным структурным типом, должен использоваться один и тот же механизм.
Предоставляются следующие альтернативы выбора ссылочных значений, которые могут являться: ° значениями некоторого встроенного типа ЗО( (цвет йе11пес1 тертевептат1оп), которые должны генерироваться приложением каждый раз при сохранении экземпляра структурного типа как строки типизированной таблицы; ° значениями, порождаемыми из одного или нескольких атрибутов структурного типа; ° значениями, автоматически генерируемыми системой. Как отмечалось в разделе «Определяемые пользователями типы>, при определении любого максимального структурного супертипа явно или неявно задается спецификация ссылочного типа. Спецификация ссылочного типа наследуется всеми подтипами этого супертипа.
При определении типизированных таблиц необходимо указать соответствующую спецификацию самоссылаюшегося столбца (конечно, эта спецификация логически избыточна, и, по всей вероятности, в следующих версиях стандарта Я)(. это требование будет ослаблено). Хотя соотношение 469 Основы бвз данных Курс между альтернативами спецификации ссылочного типа и спецификации самоссылающегося столбца очевидно, приведем его явно (рис. ! 9.2). Рне. 19.2. Спецификации ссылочного типа и самоссылающегося столбца Если для некоторого структурного типа выбран вариант пользовательской генерации ссылочных значений, то ответственность за поддержание уникальности таких значений лежит на пользователе.
Конечно, ограничения рн1НАеу кеу или ОН1ООе, определенные на уровне максимальной супертаблицы семейства типизированных таблиц, могуг гарантировать отсутствие в любой таблице этого семейства дублирующих ссылочных значений, но в Я.Н:.1999 отсутствуют какие-либо средства, предотвращающие повторное использование ссылочных значений из удаленных строк в самоссылаюшихся столбцах новых строк. Преобразование задаваемых пользователем ссылочных значений к ссылочному типу В этом случае в определении структурного типа может присутствовать консгрукция ге1 савв орг)оп (вернее, она должна присутствовать в определении соответствующего максимального супертипа).
Синтаксис этой конструкции приводился в предыдущем разделе, но для удобства мы его повторим здесь: ге1 сааГ орГ)оп ::= саас бо геб саве бо буре сааг со ген ::= САЯТ ( ЯОЕНСЕ АЯ НЕГ ) Х1ТН Тс)епб111ег саве Го Гуре ::= САЯТ 1 НЕЕ АЯ ЯОСНСЕ ) Х1ТН ЫепГ.111ег Чтобы пояснить эту конструкцию, предположим, что в определении структурного типа указано НЕЕ ))Я1НО 1НтЕОЕН. Тогда соответствующие приложения отвечают за то, чтобы обеспечить глобально уникальные целые значения самоссылающегося столбца во всех строках всех типизированных таблиц, ассоциированных с этим структурным типом.
Но прило- 470 Язык баз данных БОы объектные расширения Лекция 19 жения обеспечивают значения целого типа, а типом данных самоссылающегося столбца является некоторый ссылочный тип. Для решения именно этой проблемы и предназначена конструкция ге1 саэг орс(оп. В этой конструкции вводятся имена двух о(~)--функций, первая из которых служит для преобразования ссылочных значений, обеспечиваемых приложением, к соответствующему Бее-типу при вставке или обновлении строк типизированной таблицы (БОБББе АБ БЕБ).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
