С.Д. Кузнецов - Основы баз данных (1121716), страница 80
Текст из файла (страница 80)
Если имеются два множества столбцов 52 и 52, такие, что 51~52, 51 52, и 52 являешься Вггс-множеством, то и 51 является Вбсмножеством. Могут существовать таблицы, у которых вцс-множество является пустым. Такая таблица может содержать не более одной строки*. С другой стороны, могут существовать таблицы, у которых вообще отсутствуют ВВС-множества*а. ° Множество столбцов, составляющих первичный ключ таблицы, называется ее Врк-множеством (акроним Врк происходит от Вале гаЫе Рггтагу Кеу).
Понятно, что каждое ВРК-множество является ВПС-множеством. Если имеются два множества столбцов 51 и 52, такие, что 51~52, 5з 52, и 52 является ВРК-множеством, то и 51 является ВРК-множеством. Подобно ВУС-множествам, ВРК-множества могут быть пустыми. На основе этих определений в стандарте Я.)1.:1999 устанавливаются правила функциональных зависимостей для 11 компонентов языка. ° Базовые таблицы. Если у таблицы имеется первичный ключ, то соответствующее множество столбцов образует Врк-множество этой таблицы.
Если у таблицы имеется не откладываемое ограничение уникальности, и ни у одного столбца, указанного в этом ограничении, не допускается наличие неопределенных значений, то соответствующее множество столбцов является вцс-множеством. Если множество столбцов 1кь базовой таблицы — ВВО-множество, а От обозначает все множество столбцов этой таблицы, то ГТ) ось-Ст представляет собой известную функциональную зависимость базовой таблицы.
° Конструкторы табличных значений. Поскольку для конструкторов табличных значений невозможно определять ограничения, в стандарте Я >Е:!999 для них не специфицированы вцс- и врк-множества. В стандарте не определяются известные функциональные зависимости для такого рода конструкций, отличные от аксиоматических. Однако стандарт допускает, чтобы реализации Я21. включали дополнительные механизмы определения известных функциональных зависимостей. ' Множество, элементы которого невозможно различить, может быть либо пустым, либо содержать только один элемент. '" В этом случае таблица соответствует понятию мультимно:кества.
Звб Лекция 17 Язык баз данных ЯОЫ средства маннпупироввння данными и Соединенные таблицы. Если говорить о соединенных таблицах, получаемых в результате применения операций естественного соединения (млтсАЕАь ОО1н) или соединения с заданием списка имен столбцов, значения которых должны совпадать ())Я1ИО), то понятно, что соединенная таблица будет содержать двойников из одной или двух исходных таблиц.
Если обозначить через Я некоторое множество столбцов результирующей таблицы, а через ст — все множество столбцов этой таблицы, то Я является Ярк-множеством в том и только в том случае, когда имеет двойника в одной или обеих исходных таблицах. В таком случае во всех столбцах Я не допускаются неопределенные значения, и ГР Я ст является известной функциональной зависимостью. В стандарте определяется несколько правил, на основе которых устанавливаются известные функциональные зависиыости соединенных таблиц, но здесь мы приведем только простейшее из этих правил. Если соединенная таблица производится на основе одной из двух указанных выше операций, то в первой таблице-источнике присутствует один или более столбцов, соответствующих одноименным столбцам второй таблицы-источника.
Обозначим через Яьсс список следуюших выражений (элемент списка соответствует обшему столбцу); СОАЬЕЯСЕ (С1.со1пазпе, 12.со1пазде) АЯ со1пааев Пусть йт обозначает ключевые слова, определяющие тип соединения (1ммее, ьеет, Л1смт, есьь и т. д.), и пусть тм1 и ти2 обозначают имена таблиц или (если они заданы) имена псевдонимов лвух таблиц-источников соответственно. Обозначим через 1Л результат вычисления следующего выражения запросов: ЯЕЬЕСТ ЯЬСС, Т1*, Т2* ЕЕОМ Т1 оТ ЭО1И Т2; Тогда, в соответствии с правилами ЯОЕ, дополнительными известными функциональными зависимостями являются следующие: ° если гтзадает 1нмее или ьеет, то действует НЭ сОАьеЯсе (т1.
сз, т2.с() т1. с( для всех 1 от единицы до числа столбцов в 1Е; ° если стзадает 1ММЕЕ или Е1ОНТ, то действует НЭ сОАЬЕЯСЕ (т1.С1, т2. сз ) т2.с(для всех 1 от единицы до числа столбцов в 1Л. Обозначим через Яь некоторый список выборки. Пусть: ° если все столбцы первой и второй таблиц-источников являются общими, то Яь совпадает с Яьсс; ' Определение выражения соь" гаса (ш, и2) ем. в разделе «Средства определения, изменения н ликвидации базовых таблиц» лекции ! 2.
387 Основы баз данных Курс ° если среди столбцов таблиц-источников нет общих столбцов, то Вь состоит из списка столбцов первой таблицы-источника, за которым следует список столбцов второй таблицы-источника; ° если все столбцы первой таблицы-источника являются общими, но у второй таблицы-источника имеются необщие столбцы, то яь состоит из Вьсс, за которым следует список необщих столбцов второй таблицы-источника; ° аналогично, если все столбцы второй таблицы-источника являются общими, но у первой таблицы-источника имеются не общие столбцы, то ьь состоит из Вьсс, за которым следует список не общих столбцов первой таблицы-источника; ° наконец, если среди столбцов первой таблицы-источника и среди столбцов второй таблицы-источника имеются необщие столбцы, то Вь состоит из Вьсс, за которым следует список необщих столбцов первой таблицы-источника, а далее располагается список не общих столбцов второй таблицы-источника. Тогда, в соответствии со стандартом, известными функциональными зависимостями виртуальной таблицы, получаемой путем соединения, являются известные функциональные зависимости выражения ВЕЬЕСТ БЬ РВОМ ЬЕ; ° Ссьики на таблицы, Столбцы виртуальной таблицы, производимой по ссылке на таблицу, являются естественными двойниками столбцов таблицы, которая идентифицируется ссылкой.
Поэтому ВВС- и ВРК-множества результирующей таблицы являются двойниками вис- и ВРК- множеств исходной таблицы, и известные функциональные зависимости результирующей таблицы получаются путем замены имен столбцов исходной таблицы на имена столбцов результирующей таблицы в известных функциональных зависимостях исходной таблицы. ° Раздел РВОЧ. Описывая в лекции 13 общую семантику оператора выборки, мы отмечали, что на первом шаге выполнения этого оператора производится (виртуальная) таблица, являющаяся расширенным декартовым произведением всех таблиц, специфицированных в разделе РВОМ.
Поэтому в стандарте 59Е естественным образом формулируются следующие правила. Если в списке ссылок на таблицы раздела Реом содержится всего одна ссылка, то ВУс- и ВРК-множества результирующей таблицы являются двойниками ВВС- и ВРК-множеств исходной таблицы. Если в списке раздела Рксм содержатся две или более ссылки на таблицы, то, в соответствии со стандартом, ВВС- и ВРК-множества результирующей таблицы не определены. Известные функциональные зависимо- 388 Лекция з7 Язык баэ данных 80Ы средства манипулирования данными сти результируюшей таблицы состоят из известных функциональных зависимостей каждой таблицы, специфицированной в разделе ряон.
° Раздел взгядом. В стандарте содержится набор правил, позволяюших определить вцс- и врк-множества результирующей таблицы этого раздела", а также известные функциональные зависимости результирукнцей таблицы. Правила основываются на особенностях поведения предиката сравнения по равенству и логической операции !гни. ° Раздел алло!гр вк Для определения в(!с- и врк-множеств и известных функциональных зависимостей результирующей таблицы раздела аноцр ву требуется фактическое образование в результирующей таблице нового столбца, значения которого могли бы каким-то образом идентифицировать строки исходной таблицы, образующие группы сгруппированной таблицы.
° Раздел нтгж вцс- и врк-множества и известные функциональные зависимости результирующей таблицы раздела ндутнс получаются нз соответствуюших множеств и ЕО таблицы, к которой применяется этот раздел"*, на основе правил, связанных с условным выражением раздела н)гутна (как и в случае условия раздела ынкяв, в данных правилах учитываются операции сравнения по равенству и логические операции ггНП). ° Раздел л~кст. На определение вцс- и врк-множеств и известных функциональных зависимостей результата спецификации запроса влияет наличие в списке выборки выражений (ча)це ехргеээз эп), отличных от ссылок на столбцы.
° Выражение запроса. На определение вг)с- и врк-множеств и известных функциональных зависимостей результата выражения запроса влияет наличие в этом выражении операций питон, тнткявяст и яхсерт. В стандарте отсутствуют какие-либо правила для определения функционачьных зависимостей в результатах рекурсивных запросов. Отмечается лишь возможность введения таких правил в реализациях. Раздел яттн снвск ортегом определения представления Пусть в базе данных имеется упрощенная таблица днр, содержащая следующее множество строк (как в примере с сяоир ву яоььцр разделе «Возможности формулирования аналитических запросов» лекции 16). Предположим, что в базе данных имеется представление ятсн кнр, определенное следукнцим образом: " Напомним из яекции !3, что в соответствии с семантикой оператора выборки в результат раздела ннейе входят все строки результата раздела гаем, для которых результатом вычисле- ния логического условия раздела юнгах является ггие, " Напомним из лекции ! 3, что на вход раздела илу!на подается результат раздела пас ар ау, если этот раздел присугствует в специфика|гни запроса, иначе — результат раздела ннейе, ес- ли этот раздел присутствует в спецификации запроса, иначе — результат раздела гкох.
звв Основы баз данных Курс ЕМР ЕМР ЯА1 ЕМР ВРАТЕ ОЕРТ МО ЕМР ИО 15000.00 2440 1950 16000.00 1950 2441 2442 1960 14000.00 1960 19000,00 17000.00 1950 16000.00 1950 1960 2446 14000.00 1960 2447 20000.00 18000.00 1950 1960 2450 21000.00 22000.00 1960 2451 СЕЕАТЕ Ч1ЕХ 81СН ЕМР АЯ ЯЕЬЕСТ * РВОМ ЕМР ХНЕЕЕ ЕМР ЯАЬ > 18000.00; Понятно, что в соответствии с правилами Я2Е (и здравым смыслом) над этим представлением можно выполнять операции обновления.
Как видно, в таблице емр содержится строка, которая соответствует служащему с номером 2447, получающему зарплату в размере 20000 руб. Естественно, эта строка будет присутствовать в виртуальной таблице 81сн емР. Поэтому можно было бы выполнить, например, операцию НРОАТЕ 81СН ЕМР ЯЕТ ЕМР ЯА1 = ЕМР ЯАЬ вЂ” 3000 ХНЕЕЕ ЕМР ИО = 4452; Но если выполнение такой операции действительно допускается, то в результате строка, соответствующая служащему с номером 2447, исчезнет из виртуальной таблицы 81СН ЕМР! Аналогичный эффект возникнет при выполнении операции вставки 1ИЯЕЕТ 1МТО 81СН ЕМР (ЕМР МО1 2452; 390 Лекция 17 Язык баэ данных ЯОЫ средства манипулирования данными В базовой таблице еиР появится строка, в которой значением столбца ЕНР НО будет 2452, а значения остальных столбцов будут установлены по умолчанию.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
