Введение в системы БД (542480), страница 273
Текст из файла (страница 273)
Пусть указанный список ссылается на таблицы А, В, ... С. Тогда результат вычисления предложения РВОМ будет представлять таблицу, которая равна декартову произведению таблиц А, В, ... С. 1ОЗ1 Лриложение А. Выражения языка ооз', Зачечаиив. Напомним, что декартово произведение одной таблицы Т совпадает с самой таблицей Т (см. упр, 6.12 в главе 6). Иначе говоря, в предложении РКОИ допускается наличие лишь одного параметра <ссипка иа таблицу>. Предложение %НЕКЕ Предложение ИНЕКЕ имеет следующий вид.
ИНЕКЕ <усповиое виракеиие> Пусть таблица Т представляет собой результат вычисления непосредственно предшествукнцего предложения РКОИ. Тогда результат вычисления предложения ИНЕКЕ является таблицей, производной от таблицы Т. Результирующая таблица формируется путем исключения нз таблицы Т всех строк, для которых вычисление выражения, заданного параметром <условное выражение>, дает ложь. Если предложение ИНЕКЕ опущено, результатом будет просто таблица Т. Предложение СКОЮР ВУ Предложение 6КООР ВУ имеет следующий вид.
6КООР ВУ <список имен столбцов> Параметр <список инеи столбцов> не должен быть пустым. Пусть таблица Т представляет собой результат вычисления непосредственно предшествующих предложений РКОН и ИНЕКЕ (если такие имеются). Каждый параметр <иия столбца>, указанный в предложении 6КООР ВУ, должен являться именем столбца (необязательно уточненным) таблицы Т.
Результат вычисления предложения 6КООР ВУ представляет собой сгруппированную таблицу, т.е. множество групп строк, производных от строк таблицы Т, посредством ее концептуального переупорядочения в минимальное количество групп, в которых все строки имеют одно и то же значение для сочетания столбцов, определяемых предложением 6КООР ВУ. Полчеркнем, что результат будет "ненастоящей таблицей", поскольку он представляет таблицу групп, а не таблицу строк. Однако предложение 6КООР ВУ никогда не используется без соответствующего предложения НЕВЕСТ, назначение которо~о заключается в получении настоящей таблицы (т.е.
таблицы строк) из таблицы групп, так что такое временное отклонение от реляционных правил является лишь небольшим изъяном. Если параметр <выражение выборки> включает предложение 6КООР ВХ, то на вид соответствующего прелложения НЕВЕСТ накладываются определенные ограничения. А именно, каждый параметр <вибираеиий элемент> в предложении НЕВЕСТ, включая любой элемент, который подразумевается под сокращением "ы', должен принимать единственное значение в пределах каждой группы. Поэтому параметры <вибираеиий эпеивит> не должны включать никаких ссылок на столбцы таблицы Т, ко~орые не указаны в самом предложении 6КООР ВУ, за исключенишг такой ссылки, которая представляет собой аргумент, или часть аргумента, в вызове оператора обобщения (поскольку в результате такого вызова некоторое множество скалярных значений в группе сводится к одному скалярному значению).
1032 Приложения Предложение НАУА( (С Предложение НАЧ1Н6 имеет следующий вид. НАЧ1Н6 <условвое заражение> Пусть 6 в сгруппированная таблица, полученная в результате вычисления непосредственно предшествующих предложений РВОМ, ИНЕКЕ (если оно задано) и 6КООР ВУ (если они заданы). Если предложение 6КОУР ВУ не указано, то таблица 6 будет результатом вычисления только предложений УКОМ и ИНЕКЕ и будет рассматриваться как сгруппированная таблица, которая содержит ровно одну группу'. Другими словами, в этом случае имеется неявное концептуальное прелложение 6КОЧР ВУ, в котором не указано никаких группируемых столбцов.
Результат вычисления предложения НАЧ1Н6 является таблицей, производной от таблицы 6 путем исключения всех групп, для которых вычисление выражения, заданного параметром <условное вирвженле>, дает в результате значение ложь. Приведем некоторые особенности использования предложения НАЧ1Н6. ° Если предложение НАЧ1Н6 опущено, а предложение 6КООР ВТ указано, результатом будет просто таблица 6. Если оба предложения, НАЧ1Н6 и 6КООР ВУ, опушены, результатом будет просто "настоящая", т.е, не сгруппированная, таблица Т, которая будет получена в результате вычисления предложений ГНОМ и ИНЕКЕ. ° Любое выражение типа <сквлярлое лиражение> в предложении НАЧ1Н6 должно иметь одно значение в группе (как и скалярное выражение в предложении ЯЕЬЕСТ, если имеется предложение 6КОУР ВУ).
Подробный пример В заключение нашего обсуждения выражений типа <лиражвлве виборкл> рассмотрим достаточно сложный пример. С его помощью будут проиллюстрированы некоторые (но отнюдь не все) особенности, объяснявшиеся выше. Сформулируем запрос: "Для каждой красной и синей депзачи, которы» в сумме поставлено более 350 ьчтук (искчючая из всех поставок детали, количество которых теззыие изи равно 200 штук), определить номер, вес в граммах, цвет и максимальное количество ". Приведем возможную формулировку этого запроса на языке Я(.Н..
ЯЕЬЕСТ Р.Р$, 'Вес в граммах =' АЯ ТЕХТ1, Р.ИЕ16НТ * 454 АЯ 6МИТ, Р.СОЬОК, 'Максимальное количество =' АЯ ТЕХТ2, МАХ ( ЯР.ОТУ ) АЯ МХОТУ РКОМ Р, ЯР ИНЕКЕ Р.Р4 = ЯР.Р4 АНВ ( Р.СОЬОК = 'Кеб' ОК Р.СОЬОК = 'В1це' ) З Так говорится в стандарте, «отя логичнее следовало бы сказать "самое большее одну группу", поскольку групп.моисею не быть совсем, если в результате вычисления предло>гений ЕВОН и ИНЕВЕ получится пустая таблица. 1ОЗЗ Приложение А.
Выражения языка ВДС 2. ИНЕКЕ. Результат выполнения шага 1 преобразуется путем исключения всех строк, которые не удовлетворяют условию, указанному в предложении ИНЕКЕ. В данном примере это строки, которые не удовлетворяют следующему условному выражению. Р.Р0 = ЯР.Р$ АКО ( Р.СОЬОК = 'Кег)' ОК Р.СОЬОК = 'В1це' ) АМР ЯР.ОТУ > 200 3.
6КООР ВТ. Результат выполнения шага 2 группируется по значениям столбцов, которые указаны в предложении 6КООР ВУ. В данном примере это столбцы Р.Р$, Р.ИЕ16НТ и Р.СОЬОК. Замечание. Теоретически здесь для группирования было бы достаточно одного столбца Р.РЕ, поскольку столбцы Р.ИЕ16НТ и Р.СОЬОК имеют лишь одно значение для каждого номера детали, т.е, онн функционально зависимы от номера детали. Однако язык БС)Ь "не знает" об этом факте, и возникнет ошибка, если в предложении 6КООР ВТ столбцы Р.ИЕ16НТ и Р.СОЬОК будут опущены, поскольку они упомянуты в предложении БЕЬЕСТ.
(См. статью [1О.б], где обсуждается этот вопрос.) 4. НА)Г1Н6. Из результата выполнения шага 3 исключаются группы, которые не удовлетворяют заданному условному выражению. ЯОИ ( ЯР.ОТУ ) > 350 5. ЯЕЬЕСТ. Каждая образованная в результате выполнения шага 4 группа порождает одну итоговую строку, причем следующим образом. Во-первых, из группы извлекаются атрибуты "номер детали", "вес", "цвет" и "максимальное количество". Вовторых, значение веса преобразуется в граммы по заданной формуле. В-третьих, в соответствующие места в строке вставляются две символьные строки: 'Вес в граммах =' и 'Максимальное количество ='. В отношении фразы "вставляются в соответствующие места в строке" заметим, что мы полагаемся здесь на принятую в языке БС)Ь упорядоченность столбцов таблицы слева направо.
Эти текстовые строки потеряют всякий смысл, если не будут помещены в "соответствующие места". Конечный результат будет подобен приведенному ниже. Р№ ТЕХТ1 ОМУ(гТ СОЬОВ ТЕХТ2 МХ ТУ Вес в г аммах = 5448 Вес в г аммах = 5448 Кес( Макс. количество = Макс. количество = 800 Р5 В1це 400 Вес в г аммах = 7718 В1це Макс. количество = 400 1034 Приложения АКО БР.ОТУ > 200 6КООР Ву Р.Р$, Р.ИЕ16НТ, Р.СОЬОК НАУТИ6 ЯУМ ( БР.ОТУ ) > 350 1 Пояснения. Прежде всего необходимо отметить, что (как объяснялось в предыдущем подразделе) предложения типа <вмраженяе вмборкя> концептуально вычисляются в том порядке, в котором пишутся, за исключением самого предложения БЕЬЕСТ, которое вычисляется последним.
Поэтому можно считать, что результат нашего примера будет формироваться следующим образом. 1. РВОМ. Вычислив предложение ГКОМ, получим новую таблицу, которая является декартовым произведением таблиц Р и ЯР. Не забывайте, что описанный выше алгоритм был приведен исключительно как концептуальное объяснение того, как в языке БО). должно вычисляться выражение типа <выражение выборки>. Этот алгоритм, безусловно, корректен, в том смысле, что он гарантирует получение правильного результата.
Однако буквальное следование данному алгоритму при его реализации было бы неэффективным. Например, необходимо считать очень неудачным решением реальное вычисление в системе декартова произведения таблиц на шаге 1. Именно соображения, подобные приведенному, послужили причиной появления в реляционных системах оптимизаторов, обсуждавшихся в главе 17. Фактически основная задача оптимизатора в ЗО[.-системе заключается в том, чтобы найти такую процедуру реализации, которая давала бы тот же результат, что и концептуальный алгоритм, кратко описанный выше, но была бы эффективнее его.
А.З. Условные выражения Подобно выражениям типа <табличное вырвиение>, выражения типа <условное выражение> используются в различных контекстах языка Я )., в частности в прешюженни ННЕНЕ при определении требуемых или исключаемых строк для последующей обработкиз. В этом разделе будут рассмотрены некоторые наиболее важные особенности данного типа выражений. Заметим, однако, что здесь, разумеется, не ставилась задача исчерпывающе осветить этот вопрос. В частности, не рассмотрены особенности обработки НБ[.).-значений. Как указывалось в главе 18, если учитывать наличие )ч[1)Ы.- значений, то для выражений типа <условное выраиение> потребуется существенно более расширенное толкование. Некоторые форматы условного выражения, которые не приводятся в этом приложении, относятся исключительно к аспектам, связанным с поддержкой Х)31.).-значений.
Однако данные аспекты обсуящались в главе 18. Как и в предыдущем разделе, начнем с ВХГ-грамматики. Затем перейдем к обсуждению некоторых специфических случаев, а именно — параметров <условие 11)се>, <условие иассЛ>, <условие а11 или алу> и <услоние цл1дпе>, которые будут рассмотрены более подробно [все другие случаи или обсуждались ранее в этой книге, илн настолько просты и понятны, что не требуют разъяснений). <условное выражение> <терм условия> [ <условное выражение> ОН <терм условия> <терм условия> <фактор условии> [ <терм условия> йНО <фактор условии> <фактор условия> [ НОТ ) <первичное условие> <первичное условие> <лростое условие> [ [<условное выраиение> ) л напомнив< что, как укаэывалось в главе 8, условные выражения представляют в языке 5дА аналог того, что в книге мы называли булевыми или логическилт выражениями.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
