Введение в системы БД (542480), страница 187
Текст из файла (страница 187)
Для работы с таблицами истинности расширены операторы выборки, проекции, произведения, объединения, пересечения и вычитания. 18.19.Масег Р. ТЬе ТЬеогу оГ Ке!асюпа! РасаЬазез. — Кос1счсйе, Мдз Согпрцсег 5ссепсе Ргезз, 1983. 722 Часть Р. Дополнительные аспекты 18.20.Мсбочегап О. Ногй(пЕ йош Хо!И(п8 !! СЭ. Ра!е, НцЕЬ Рагччеп апд ОачЫ Мсбочегап. Ке)абопа! ОагаЬазе %г)г)пЕз ! 994 — ! 997. — Кеагйп8, Маваг АсЫ)зоп-%ез)еу, ! 998. Работа состоит из четырех частей. В части! показано определяюшее значение логики в системах баз данных. В части П объясняется, почему эта логика должна быть двухзначной н почему попытки использовать трехзначную логику не приветствуются.
В части П! рассматривается, как можно "разрешить" проблемы трехзначной логики. И наконец в части (Ч приводится ряд прагматических решений этих проблем. 18.21.Кезсйег Х. Малу-Ча)пед Ьо8(с. — Хечч-Уогй, Л) Х:. Мсбгазч-НП), ! 969. Стандартный учебник по многозначной логике. Ответы к некоторым упражнениям 1Я РИК ( х ) и НАРВЕ ( х = х ) 18.4. 18.5. А ИОТ(А) А ОК ИОТ(А) А АКР ИОТ(А) пз Глава 1)!.
Отсутствунэщая информаг(ия 18.1. 18.2. 18.3. Вариант а — значение ип)г; вариант б — значение ггие; вариант в — значение ггие; вариант г — значение ипк (обратите внимание на то, что интуитивно предполагается другой ответ); вариант д — значением)зе; вариант е — значение~а!зе (обратите внимание на то, что оператор 1Я ПИК никогда не возврашает значение ипк); вариант ж — значение !а!зе; вариант з — — значение ггие. Вариант а — значение ип)г; вариант 6 — значение ип)г; вариант в в значение ггие; вариант г — значением)зе; вариант д — значение ип)г; вариант е — значение ггие; вариант ж — значение~а!зе. Это следует из приведенного ниже тождества. Так как, например, выражение ИАХВЕ КЕЯТК1СТ г ИНЕКЕ р аналогично выражению г ИНЕКЕ НАУКЕ(р). Четыре унарных оператора могут быть определены следуюшим образом (здесь А — единственный операнд).
)6 бинарных операторов могут быть определены следуюшим образом (здесь А и  — два возможных операнда). й ОК ЛОТ(й) ОК В ОК НОТ(В) А АИР ИОТ(й) АНР В АКР ИОТ(В) й КОТ(А) В ИОТ(В) А ОК В АйИР В А ОК ИОТ(В) А АИР ИОТ(В) Вот(л) ол в вот(л) лво в Вот(А) Ол Вот(В) Вот(А) лйо Вот(в) (Вот(А) Ол В) АБО (Вот(В) ОВ А) (вот(А) АКР В) Ол (вот(В) АВО А) Чтобы убедиться в том„ что одновременное использование операторов АБО и ОЛ не является необходимым, обратите внимание на следующее выражение. А Ол В =- Нот ( Вот ( А ) АБО ( Кот ( В ) ) 18.6.
См. комментарий к (!8.!1). 18.7. Корректен вариант е. Более подробная информация приводится в [! 8.8). Дополнительное упражнение. Для интерпретации варианта б предложите формулировку с использованием реляционного исчисления. 18.8. Опишем кратко представление, используемое в СУБД РВ2. В ней столбец таблицы, который может принимать неопределенные значения, физически представлен в хранимой базе данных двумя столбцами — столбцом непосредственно данных и скрытым столбцом индикатора (длиной 1 байт), сохраняемым как префикс для столбца фактических данных.
Значение в столбце индикатора, состоящее из двоичных единиц, указывает, что соответствующее значение в столбце данных должно игнорироваться (т.е. восприниматься как неопределенное значение); значение в столбце индикатора, состоящее из двоичных нулей, указывает, что соответствующее значение в столбце данных должно восприниматься, как реальное значение. Безусловно, столбец индикатора всегда скрыт от пользователя. 724 Часть р: дополнительные аспекты Глава 19 Наследование типов 19.1.
Введение В главе 13 уже рассматривались понятия подтипов и супертипов, а точнее — подтипов и супертипов сущностей. Там же отмечалось, что если, например, некоторые служащие являются программистами и все программисты являются служащими, то тип сущности РВООВАИИЕВ можно рассматривать как подтип сущности ЕИРЬОУЕЕ, а тип сущности ЕИРЕОУЕŠ— как супвртип сущности РВООВВИИЕВ. Но при этом подчеркивалось, что "тип сущности" не является типом в каком-либо формальном смысле, в частности поскольку само понятие "сущность" определено довольно нестрого. В этой главе мы познакомимся с понятиями подтипов и супертипов поближе, но термин "тип" будем употреблять в более формальном и точном смысле, как в главе 5.
Поэтому начнем с точного определения рассматриваемого термина. ° Тип — это ииенаваннае.инажества значений (т.е. все возможные значения рассматриваемого типа) вместе со связанным множеством операторов, которые могут применяться для значений и переменных данного типа. Кроме того, добавим следующее.
° Любой конкретный тип является либо системно определенным, либо пользовательским, ° В определении любого конкретного типа указывается множество всех допустимых его значений (для этого, безусловно, используются ограничения типа, как указывалось в главе 8). ° Значения типа могут быть сколь угодно сложными. ° Реальное или физическое представление каждого значения всегда скрыто от пользователя, т.е. типы отличаются от их реального представления.
Однако каждый тип имеет хотя бы одно возможное представление, которое явно доступно пользователю через соответствующие операторы ТНЕ или их эквиваленты. ° Значения и переменные каждого типа могут обрабатываться только с помощью операторов, определенных для этого типа. ° К числу таких операторов, кроме упомянутых операторов ТНЕ, относятся следующие операторы. а) По крайней мере один оператор выбора, точнее, один такой оператор для каждого предоставленного пользователю возможного представления. Он позволяет "выбрать" любое значение данного типа или указать его посредством соответствующего вызова операции выбора.
725 Глава 19. Наследование типов б) Оператор равенства, который позволяет проверить, являются яи два произвольных значения данного типа на самом деле одним и тем же значением. в) Оператор присвоения, позволяющий присвоить некоторое значение данного типа переменной, которая рассматривается как переменная данного типа. г) Определенные операторы проверки типа, которые будут рассмотрены в разделе 19.6. Замечание. Эти операторы могут оказаться ненужными, если отсутствует поддержка наследования. Ко всему сказанному выше необходимо добавить следующее. ° Одни типы могут являться подтипами других супертипов. Если  — это подтип типа й, то все операторы и ограничения типа, которые применимы к типу й, также применимы к типу В (наследование), но тип В в этом случае имеет еще и собственные операторы и ограничения типа, которые не применимы к типу й.
Например, предположим, что заданы два типа, ЕЬЫРЯЕ (Эллипс) и С1ЕСЬЕ (Окружность), понимаемые в их обычном толковании. Тогда можно сказать, что тип С1ЕСЬŠ— это подтип типа ЕЬЫРЯЕ (а тип ЕЬЫРЯŠ— это супертип типа С1ЕСЬЕ). При этом подразумевается следующее.
° Каждая окружность является эллипсом (т.е, множество всех окружностей является подмножеством всех эллипсов), однако обратное утверждение неверно. ° Следовательно, каждый оператор, который применим к эллипсам вообще, безусловно, применим и к окружностям (поскольку окружности являются эллипсами), однако обратное утверждение неверно. Например, оператор ТВЕ СТЕ (Определить центр) можно применять ко всем эллипсам, а значит, и к окружностям, но оператор ТВЕ Е (Определить радиус) можно применять только к окружностям. ° Кроме того, любое ограничение, которое применимо к эллипсам вообще, применимо и к окружностям в частности (опять же, поскольку окружности являются эллипсами), однако обратное утверждение неверно. Например, если эллипсы подчиняются ограничению а > Ь (где а и Ь вЂ” его большая и малая полуоси соответственно), то же самое ограничение должно выполняться и для окружностей.
Известно, что дяя окружностей полуоси а и Ь совпадают с радиусом г, а значит, указанное ограничение удовлетворяется тривиально, т.е. для окружностей на самом деле применимо более строгое ограничение а = Ь. Однако это ограничение не удовлетворяется для всех эллипсов в общем случае. Замечание. Везде в этой главе не уточненный дополнительно термин "ограничение" будет использоваться ддя обозначения именно ограничения типа. Кроме того, термины "радиус" и "полуось" здесь означают то, что точнее было бы назвать длиной радиуса или полуоси. Таким образом, говоря нестрого, тип СТЕСЬЕ наследует операторы и ограничения от типа ЕЬЫРЯЕ, а также имеет собственные операторы и ограничения, которые не применимы к типу Е1.ЫРЯЕ.
Обратите внимание„что подтип имеет подмножество значений, но в то же время — и супермножества свойств (этот аспект иногда служит источником путаницы!). Замечание. Здесь и далее в этой главе под термином "свойства" мы будем подразумевать удобное сокращение ддя "совокупности операторов и ограничений". 72б Часть г'.
Дополнительные аспекты Почему используется наследование типов Почему тема наследования типов заслуживает отдельного рассмотрения? Имеется по меньшей мере два ответа на этот вопрос. ° Во-первых, идеи выделения подтипов и наследования весьма широко распространены в реальном мире, т.е. нет ничего необычного в такой ситуации, когда все значения типа имеют определенные свойства вообще и в то же время некоторое подмножество этих значений имеет собственные дополнительные специфические свойства.
Поэтому выделение подтипов и использование механизма наследования представляются вполне полезными инструментами "моделирования реальности" (или семантического моделирования, как мы называли его в главе 13). ° Во-вторых, если имеется возможность распознавать такие шаблоны, т.е.
шаблоны выделения подтипов и наследования, то, включив информацию о них в программное обеспечение приложений и систем, можно будет получить определенную практическую выгоду. Например, программу, которая применима для эллипсов, можно будет использовать и для окружностей даже в том случае, если первоначально она создавалась без учета существования понятия окружностей (например, тнп С1ЕСЬЕ еше не был определен во время написания программы). Это так называемое преимущество повторного использования кода.
К сожалению, эти потенциальные возможности, как мы сейчас убедимся, не находят единодушной поддержки, поскольку нет единого мнения относительно формальной, строгой и абстрактной модели наследования типов, подтверждением чему может служить следуюшее высказывание из [19.10]. "Основная идея наследования довольно проста... 1тем не,менее, несмотря на1 ее ведущую роль в современных., системах, наследование — гиге довольно спорный механизм... Рчакого-либо1 исчерпывающего представления о наследовании пока нет.
" Обсуждение в этой главе основывается на модели, разработанной автором вместе с Хью Дарвеном и подробно описанной в 13.3). Поэтому предупредим читателя о том, что другие авторы в других текстах иногда вкладывают в такие термины, как "подтнп" и "наследование", смысл, который несколько отличается от трактовки, принятой в настоящей книге. Предварительные замечания Существует ряд вопросов, в которых нужно разобраться, прежде чем переходить к обсуждению аспектов, непосредственно связанных с самим наследованием. В данном подразделе этим мы и займемся. ° Значения имеют тип Воспользуемся рассуждениями из главы 5.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
