Введение в системы БД (542480), страница 197
Текст из файла (страница 197)
Дополнительно был введен оператор ТЕНЕТ 00ММ, позволяющий выполнять операции, которые в противном случае приводили бы к ошибкам во время компиляции. Это операции с выражениями, конкретный тип которых во время выполнения является подтипом их объявленного типа. (Ошибки во время выполнения по-прежнему могут иметь место, но теперь лишь в контексте оператора ТКНЕТ 00НМ.) После этого более детально были рассмотрены операторы выбора. Мы убедились, что вызов оператора выбора для типа Т иногда дает в результате значение, тип которого является собственным подтипом типа Т (по крайней мере в нашей модели, хотя в современных коммерческих продуктах этого обычно не наблюдается). Такой механизм получил название специализация по ограничемиям.
Также подробно обсуждались операторы вила ТНЕ псевпоперемеянаж Поскольку они представляют собой лишь сокращенную запись, при выполнении оператора присвоения ТНЕ псендопеременная могут существовать как специализация по ограничениям, так и обобшемие по ограничениям. Далее рассматривались ситуации, возможные при выполнении сравнемия значений подтипов и супертипов, а также при выполнении реляционных операций соединения, объединения, пересечения и разности. Дополнительно было введено несколько операторов проверки типа:?Б Т, 1Б МБ Т и т.д. Затем обсуждались вопросы, касающиеся операторов только для чтемия и операторов обновления, версий операторов и сигнатур операторов.
Прн этом было указано, что возможность определять различные версии оператора открывает лазейку для изменения семантики данного оператора (но в нашей модели такие изменения запрещены). И наконец был рассмотрен дискуссионный вопрос "Являются ли окружности на самом деле эллипсами?". В результате было сделано заключение, что наследование применимо к значениям, а не к переменным. Точнее, операторы, предназначенные только для чтения (которые применимы к значениям), могут наследоваться все без исключения и без каких-либо проблем, но операторы обновления (которые применимы к переменным) могут наследоваться лишь условно.
(Наша модель не соответствует большинству подходов. При иных подходах обычно требуется, чтобы операторы обновления наследовались безусловно, зато после возникает множество проблем, когда приходится иметь 760 Часть г'. Дополнительные аспекты дело с "некруглыми окружностями" и другими подобными нелепостями.) Завершилось обсуждение выводом, что специализация по ограничениям, на наш взгляд, — это един- ственный допустимый способ определения подтипов. Упражнения 19.1. Дайте определение следуюшим терминам. полиморфизм связывание во время выполнения заменимость корневой тип листовой тип сигнатура скалярный тип собственный подтип непосредственный подтип нескалярный тип обобшение по ограничениям специализация по ограничениям фиктивный тип повторное использование кода 19.2.
Объясните действие оператора ТЕКАТ 00вй. 19.3. Каковы отличия между следуюшими понятиями. а) б) в) г) д) е) аргумент объявленный тип и параметр текушее конкретное значение перегружаемый полиморфизм сигнатура определения и сигнатура версии оператор обновления переменная включаемый полиморфизм сигнатура вызова оператор только чтения значение 761 Пгава 19. Наследование типов 19.4. Используя иерархию типов, изображенную на рис. 19.1, рассмотрите значение е, которое имеет тип ЕЬЫРБЕ.
Каков конкретный тип е — ЕЬ! 1РБЕ или С1КСЕЕ? Каков наииенее конкретный тип е? 19.5. Любая заданная иерархия типов включает несколько подыерархий, каждая из которых может рассматриваться как отдельная иерархия типов. Например, иерархия типов, получаемая на рис. !9.1 посредством удаления типов РЬКЕЕ Р1БУКЕ, ЕЬ! 1РЯЕ и С1КСЬЕ (только), может считаться независимой. То же самое можно сказать об иерархии, получаемой посредством удаления типов С1КСЕЕ, ЯЦБККЕ и КЕСТКЕБЬЕ (только). С другой стороны, иерархия, полученная посредством удаления типа ЕЬ11РЯЕ (только), не может считаться единой иерархией типов (по крайней мере, не может считаться иерархией, производной от иерархии, которая показана на рис. !9.!), поскольку тип С1КС!Е выпал из цепочки наследования, если судить по исходной иерархии. Вопрос; "Сколько различных иерархий типов (в указанном смысле) присутствует на рис.
! 9.1?". 19.6. Используя синтаксис, кратко изложенный в этой главе, дайте определения типов КЕСТККБЕЕ (Прямоугольник) и ЯСЫНЬКЕ (Квадрат) (для простоты считайте, что все прямоугольники имеют центр в начале координат, но их стороны необязательно расположены только вертикально или горизонтально). 19.7. Давая ответ к упр. ! 9.6, определите оператор поворота указанного прямоугольника на 90' вокруг его центра. Также представьте явную специализацию этого оператора для квадратов.
19.8. Повторим формулировку примера из раздела !9.6: "Пусть переменная-отношение К имеет атрибут й объявленного типа ЕЬЬТРЯЕ и требуется выбрать из нее такие кортежи, в которых значение атрибута А в действительности является окружностью с радиусом, большим 2". Для данного запроса в разделе ! 9.6 была дана следующая формулировка. К : 1Я С1КСЬЕ ( й ) ИНЕКЕ ТНЕ К ( А ) > ЬЕИ6ТН ( 2/О ) а) Почему нельзя просто поместить выражение проверки типа в предложение ИНЕКЕ, например так, как показано ниже? К ИНЕКЕ 1Я С1КСЬЕ ( А ) АИ0 ТНЕ К ( А ) > ЬЕИ6ТН ( 2.0 ) б) Вот еше один пример возможной формулировки запроса.
К ИНЕКЕ САЯЕ ИНЕИ 1Я С1КСЬЕ ( й ) ТНЕИ ТНЕ К ( А ) ( ТЕКАТ 00ИН АЯ С1КСЬЕ ( А ) ) > 1ЕИ6ТН ( 2/О ) ИНЕИ ИОТ ( 1Я СХКСЬЕ ( А ) ) ТНЕИ ГАЬЯЕ ЕИ0 СйЯЕ Верна ли эта формулировка? Если нет, то почему? 19.9. В !3.3] предлагается поддержка реляционных выражений следующего вида. К ТЕКАТ 00ИИ АЯ Т ( й ) Здесь К вЂ” реляционное выражение, А в атрибут отношения (скажем, г), обозначаемый этим выражением, и Т вЂ” некоторый тип. Объявленный тип 0Т(А) атрибута А должен быть супертипом типа Т (проверка типа во время компиляции).
Значение всего выражения определяется как отношение со следующими свойствами. а) Его заголовок такой же, как заголовок отношения г, но тип атрибута А в нем — Т. б) Его тело составляют те же кортежи, что в отношении г, но значение атрибута А в каждом из таких кортежей должно рассматриваться как относящееся к типу Т. Напомним, что приведенный оператор ТКЕйТ 00ИИ является просто сокрашением.
Но сокращением чего именно? 19.10. Выражение видай;1Я Т(й) также является сокращением. Сокрашением чего именно? Список литературы 19.1. Ай(пзоп М,Р. е! а!. ТЬе ОЬ)есс-Ог(епсес$ ()агаЬазе Буз!еш Мап((ез(о // Ргос. Р)гзг !п(егпа((опа! Сопгегепсе оп )Земце!(че апб ОЬ)есг-ОНепгед ОагаЬазез, — Куого, )арап, ! 989. Ыеа 'т'ог(с, Ы,'т'л ЕВеябег Бс)енсе. — 1990. Относительно отсутствия согласия (как уже отмечалось в разделе )9,!) по вопросу, что должна собой представлять настоящая модель наследования, авторы настоящей статьи высказываются так: "Имеется по крайней мере четыре типа наследования; наследование заменимости, включаемое наследование, наследование ограни- 762 Часть Р. Дополпительньге аспекты чений и наследование сиеииализаиии., Различные уровни этих четырех типов наследования предоставляются существующими системами и прототипами, и мы не предписываем конкретный стиль наследования*'. Далее приводится еще несколько цитат, которые дополняют ту же основную мысль.
° В (!9.4] Кливленд (С!еаче1апд) пишет; "(Наследование может] основываться на (множестве] различных критериев, и не существует какого-либо общепринятого стандартного определения". Он также предлагает восемь возможных интерпретаций. (Мейер в [19.8] дает двенадцать.) ° Баклавски (Вас1ачгзк!) и Индурхия (!пдцг!дзуа) в (!9.2] пишут: "Язык программирования (просто] предоставляет множество механизмов [наследования]. Пока эти механизмы, безусловно, ограничивают и возможности языка, и возможные представления наследования... они не допускают для самих себя некоторые представления наследования. Классы, специализации, обобщения и наследование — это только понятия, и... они не имеют всеобщего объективного значения...
Отсюда следует, что то, как наследование будет включено в конкретную систему, зависит от проектировщиков [данной] системы; именно это составляет стратегию разработки, которая должна быть реализована с помощью доступных механизмов". Другими словами, нет никакой модели! Вас!агчз1г! К., 1пдцг!гйуа В. ТесЬп[са! Соггезропдепсе а САСМ.— БергещЬег, 1994. — 37, № 9.
19.2. Сагде[!1 1., ччейпег Р. Оп ()пдегзгапд!п8 Турез, Раса АЬзггасг!оп, апд Ро!ущогрйзщ 0 АСМ Совр. Бцгч. — РесещЬег, ! 985. — 17, № 4. С!еаче!апд 0.1. Ап !пподцсг!оп го Рага Турез. — Кеад!п8, Маза.: Адд!зоп-гачев!еу, 1986. 19.3. 19.4. Раге Сд. Серия статей по наследованию типов на уггеЬ-узле РВР9.Р чик.дЬрд.сов. — 1999. Статьи публиковались с февраля !999 года. Это расширенная учебная разработка (с историческими примечаниями) модели наследования, описанной в настоящей главе и определенной более формально в (3.3].
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
