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