Введение в системы БД (542480), страница 186
Текст из файла (страница 186)
Сооо Е.Г. апд Оаге С.). Мцсй Адо АЬоц! ЫогЬ!п8 я С.1. Оаге. Ке!абопа! Оа!аЬазе У!/г!1(п8з 1991-1994. — Кеапйп8, Маза.: Аг!г!1зоп-'и/ез!еу, 1995. Вероятно, именно Кодд является наиболее известным сторонником использования неопределенных значений и трехзначной логики для обработки отсутствующей информации. В этой статье содержится текст дискуссии по этому поводу между Коддом и автором.
В ней имеется следующее превосходное замечание: "Управление базой данных существенно упростилось бы, если бы отсутствующие значения не существовали" (Кодл). Оагзчеп Н. 1пго гйе (!пкпоьгп // С.3, Оаге. Ке!а!юпа! ОагаЬазе й/п!!пйз 1985-1989.— Кеайп8, Мазал Адг(!зоп-'й/ез!еу, 1990. В этой работе поднимается ряд дополнительных вопросов в отношении использова- ния неопределенных значений и трехзначной логики, наиболее сложным из которых является следующий: "Если (как показано в упр. 5.9 в главе 5) отношение ТЕВЬЕ 0ЕЕ соответствует значению г«ие, а отношение ТАВБЕ 00И вЂ” значению /а/зе и если отно- шения ТЬВЬЕ 0ЕЕ и ТаВБЕ 00М являются единственными возможными экземплярами отношения степени «нуль», то что же соответствует значению ипА?". Оагиеп Н.
Оцгег 1о!и зчйЬ !Чо Ыц!!з апг! геиег Теагз д СВ. Оа!е апг( Нцйй Оагягеп. Ке!азиопа! Оа!аЬазе Ьг!г!п8з ! 989 — ! 991. — Кем!п8, Мазал Адсйзоп-'1!(/ез!еу, 1992. В работе предложен простой вариант "внешнего соединения", в котором не ис- пользуются неопределенные значения и решается много других задач, которые должны были устраняться с помощью внешних соединений.
Оа!е С.). ТЬе Оцгег 1о1п // СдЬ Оаге. Ке(ацопа! Оа!аЬазе: Бе!ес!ед %г1!!п8з. — Кеас3- !п8, Мазал Аде!(зоп-%ез(еу, 1986. Здесь подробно обсуждается проблема внешнего соединения и приводятся не- которые предложения по поддержке этой операции в таких реляционных язы- ках, как БЯ(., 18.5. 18.6. 18.7. 18.8. Рагс С.1. НОТ В Ыог "Ыогй (Ыогеь оп ТЬгее-Ча!пег! $.о8!с апг$ Ке1агед Мапегь) д СгЬ Раге.
Ке!абопа! РагаЬаье Фпг!п8ь ! 985 — ! 989. — Кеайп8, Мазал АгЫ1ьоп-Феь1еу, 1990. Предположим, что выражение Х имеет тип ВООАЕАН. В этом случае оно должно иметь одно из значений ггие, 1а!ье или ип1. Тогда утверждение "Х не равно ггие" означает, что значением выражения Х является либо значение ипА, либо значение ГЬ!ье. В противоположность этому выражение Х = КОТ ггие имеет значение 1йье (см, таблицу истинности для операции НОТ). Таким образом, действие операции НОТ в языке трехзначной логики не соответствует частице "не" в обычном языке... Этот факт уже привел в замешательство многих (включая разработчиков стандарта языка БОЬ) и, несомненно, будет продолжать удивлять.
Расе СэЬ ЕХ!ЯТЯ В 1чо! "Ех!м"! (Яогпе Е.о8!са1 Г(ачгь !и Я Н ) П С.1. Рагс. Ке!агюпа1 РасаЬаье Фг!1!п8ь 1985 — 1989. — Кеайп8, Мазал АгЫ!ьоп-%еь1еу, 1990. В этой статье утверждается, что оператор ЕХ1ЯТЯ языка БОЬ не является идентичным квантору существования языка трехзначной логики, потому что он всегда равен либо ггие, либо ~аЬе и никогда не равен ипА, даже если ип1 является логически корректным ответом. Раге С.1.
ФассЬ Оцг Гог Оцгег 1о!п л' С.1. Рагс апг) НцЕЬ Рагггеп. Ке1абопа! РагаЬаье Фг!1!п8ь 1989-1991. — Кеайп8, Мазал АсЫ!ьоп-Ч!геь1еу, 1992. В разделе !8.5 утверждается, что внешнее соединение обладает несколькими "неприятными свойствами". В этой работе приводится перечень подобных свойств.
1. Внешнее О-соединение не является выборкой из результата декартова произведения. 2. Выборка не распространяется на операции внешнего О-соединения. 3. В трехзначной логике выражение А <  — это не то же самое, что выражение А < В ОК А = В. 4. В трехзначной логике операции О-сравнения не транзитивны. 5. Внешнее естественное соединение не является проекцией внешнего соединения по эквивалентности. В статье также рассматривается влияние, оказанное на конструкты НЕДОЕСТ-ГКОН- ИНЕКЕ в результате введения в язык БОЬ поддержки внешних соединений.
1. Операция расширения в предложении ИНЕКЕ не работает. 2. Оператор АНО, связывающий операции внешнего соединения и выборки, не работает. 3. Включение условия соединения в предложение ИНЕКЕ не работает. 4. Внешние соединения из более чем двух отношений не могут быть сформулированы без использования вложенных выражений.
5. Операция расширения в предложении ЯЕЕЕСТ (только) не работает. В этой статье также показано, что во многих существующих программных продуктах содержатся ошибки, вызванные указанными выше условиями. Ра1е С.1. Согпроьйе Гоге!Еп Кеуь апг! Ыц!!ь д С.1. Раге апд Нцйй Рати ел. Ке!айопа! РагаЬаье Фг!1!пйь 1989-! 991. — Кеайп8, Маььл АгЫ!ьоп-Феь1еу, 1992. 720 Часть !'. Дополнительные аспекты В этой статье рассматривается возможность полного и частичного присутствия не- определенных значений во внешних ключах.
18.9 Расе С.3. ТЬгее-Ча!цег! Ьой!с агк! 1Ье йеа! )чог!д // С.). Раге апг! Нцйй Рагчгеп йе!аг!опа! РагаЬазе (Чг!1!пйз 1989 — 1991. — йеайпй, Мазал АгЫ!зоп-(чея!еу, 1992. 18.10. Раге С.3. ОЬ Хо Хос Хц!!з Айа!и // С.3. Раге апд Нцйй Рагъчеп. йе!аг!опа! РагаЬазе юг!г!пйз 1989 — 1991. — Кеаг!!пй, Маза.: А<Ы!зоп-'эЧея!еу, 1992. В этой статье приводится дополнительная информация о неопределенных значениях. 18.11.Рагс С.3. А Хосе оп гйе Ьой!са! Орегагогз Ог" Б(НЬ // йе!аг!опа! РагаЬазе !чг!г!пйя 1991 — 1994. — йеаб!п8, Мазал Адйзоп-'1Гч'ез!еу, ! 995. В трехзначной логике (ЗЧЬ) используются три логических значения — ггие,/а/зе и ин/гноил (обозначенные здесь как г,/" и и соответственно).
Следовательно, в трехзначной логике может быть 3 * 3 * 3 = 27 возможных унарных операторов, так как каждое из трех возможных входных значений г,/ и и может отображать любое из трех возможных выходных значений г,/ и и. По той же причине в трехзначной логике может быть 3~=19 683 возможных бинарных оператора (см. таблицу, приведенную ниже). 1/п/Т 1/ц/з 1/ц/Т 1/ц/г 1/ц/т" с/ц/г 1/ц/г с/ц/г 1/ц/Т Фактически в более общем случае и-значная логика (пЧЬ) включает и в степени и унарных операторов и н в степени и' бинарных операторов (см. таблицу, приве- денную ниже).
Для любой и-значной логики, где н > 2, возникают следующие вопросы. ° Каков наиболее подходящий набор примитивных операторов? (Например, как множество операторов (йОТ, йИО), так и множество операторов (йОТ, Ой) являются подходящими примитивными наборами для двухзначной логики.) ° Каков подходящий набор нолезпых операторов? (Например, множество (йОТ, Ал0, Ой) — подходящий полезный набор для двухзначной логики.) В данной статье показано, что стандарт БОЬ (при очень вольной интерпретации) прямо нли косвенно поддерживает все 19 710 операторов трехзначной логики.
Тем не менее необходимо обратить внимание на то, что в логике операторы оперируют нредикатани и предложениями, в то время как в языке БОЬ (даже при вольной интерпретации) операторы оперируют только предложениями. 18.12.Раге С.3. гац!гз апг! Регац!гя (ьп Лче раггя) // С.3. Раге, Нцйй Рагччеп апг! РачЫ Мсбочегап. йе!айопа! РагаЬаяе 1чг!1!пйз ! 994 — 1997.
— йеайп8, Макал Адйзоп-'й/ея!еу, ! 998. Глава 18. Отсутствующая информация Разработан систематический подход к проблеме отсутствия информации, основанный на использовании значений по умолчанию и двухзначной логики вместо неопределенных значений и трехзначной логики. В статье аргументировано доказывается, что значения по умолчанию — это то, что мы используем в реальном мире св реальном мире такого понятия, как 80ЬЬ, не существует).
Таким образом, желательно, чтобы системы баз данных были максимально приближены к реальному миру. 18.13.РеЬаЬгаса Реу апс! 5цпнс 5аг1саг. А РгоЬаЬ~1!зс!с Ке1айопа! Моде! апд А18еЬга !! АСМ ТОР5 21, Хо. 3, 5ерсешЬег, 1996. В этой статье предлагается способ работы с "неопределенностью в значениях данных" на основе теории вероятности вместо неопределенных значений и трехзначной логики. "Вероятностная реляционная модель" является совместимым расширением обычной реляционной модели.
18.14.Сезаг А. ба!сидо-Ьейаиа. Оцсег)о!пз апд Р)з)цпсс!опз !! Ргос. 1994 АСМ 51бМОР!пс. СопГ. Оп Мапайешепс оГ Раса, Мшпеаро1В, Мспп., Мау, 1994. Внешнее соединение в общем случае не является ассоциативным оператором !18.4). Эта статья точно характеризует те внешние соединения, которые являются ассоциативными, и те, которые не являются таковыми. В ней также предлагаются стратегии реализации каждого случая.
18.15.Сезаг А. байпдо-Ьейапа апд Агпоп Козепсйа!. Ошег)осп 5!шрИсас!оп апд Кеогдейпй Гог Оцегу Орс!ш!хас!оп б АСМ ТОР5 22, 74о. 1, Мвгсй, 1997. В этой статье представлен "полный набор правил преобразования" для выражений, включающих внешние соединения. 18.16. Рсуцзй бое1 алд Ва!а 1уег. 5ОЬ Овесу Орспп!глсюп: Кеогдеппй Гог а бепега! С!азз оГ Оцепез У Ргос. 1996 АСМ 51ОМОР 1пс.
СопГ оп Мапайешепс оГ Раса, Мопсгеа!, Сапада, )цпе, 1996. Так же, как и в 118.151, в этой статье рассматриваются выражения преобразования с внешними соединениями; "!Мьс) предлагаем метод переупорядочения !произвольногос 5С СЬ-запроса с соединениями, внешними соединениями и... обобшаюшими функциями... !Мы] предлагаем мощное и простое средство !для упрощения такого переупорядочения, которое называется) обобисенная выборка". 18.17.НеасЛ 158 1ВМ !псегпа1 шепю. — АрП1, 1971. В статье впервые вводится термин (и концепция) "внешнее соединение*'. 18.18Л.ш К.-С., 5цпдеггашап К.
1пдебпйе апд МауЬе 1пГоппайоп сп Ке!айопас РасаЬазез б АСМ ТОР5. — Магсй, 1990. — 15, гсья 1. Содержит набор формальных предложений по расширению реляционной модели для работы с вазлгожнай инфарчалией (например, "деталь с номером 'Р7' может быть черной") и с неопределенной или дизьюнктивнай инфорчаиией !например, "деталь с номером 'Р8' или номером 'Р9' красная"). Представлены таблицы истинности (7-гаЫвв) для нормальной (определенной), возможной и неопределенной информации.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
