Введение в системы БД (542480), страница 71
Текст из файла (страница 71)
При вычислении суммы повторяющиеся значения в столбце ОТ? буду игнорироваться. 7.13.29.( ЯРЮХ.Р$, ЯРЮХ.Ю$, ЯОМ ( ЯРЮ? ИНЕКЕ ЯРЮ?.Р$ = ЯРЮХ.Р$ АМО ЯРЮ?.Ю$ = ЯРЮХ.Ю$, ОТУ ) йЯ О ) 7.13.30.ЯРЮХ.Р$ ИНЕКЕ АРО ( ЯРЮ? ИНЕКЕ ЯРЮХ.Р$ = ЯРЮХ.Р$ АМО БРЮТ.Ю$ = ЯРЮХ.Ю$, ОТ? ) > ОТУ ( 350 ) 290 Часть 11. Реляг(ионная модел~ ЯРНХ.Р$ = РХ.Р$ МП БРЛ.1$ =,тХ 1$ 7Л3.44ЛХЛ$ ННЕКЕ ГОКАПЬ ЯРЛ ( 1Г ЯРПХ.Б$ = Я$ ( 'Я1' ) ТНЕН ЕХ1ЯТЯ БРЛ ( БРЯХ.о$ = 1Х.Т$ МП БРЛ.Р$ = БРЛ.Р$ ) ЕНП 1Г 7.13.45. ВАНОЕЧАК ЧХ ВАНОЕЯ ОЧЕК ( ЯХ.С1ТХ ), ( РХ.С1ТХ ), ( ХХ.С1ТХ ) ) чх.сттх 7.13.46.ЯРЯХ.Р$ ННЕКЕ ЕХ1ЯТБ ЯХ ( ЯХ.Б$ = ЯРЯХ.Я$ АЮ ЯХ.С1ТХ = 'Попг)оп' ) ОК ЕХ1ЯТБ 1Х ( ЯХ.1$ = ЯРЯХ.1$ АНП 1Х.СХТХ = 'Попбоп' ) 7.13.47.( БХ.Б$, РХ.Р$ ) ННЕКЕ НОТ ЕХХБТЯ ЯРЯХ ( ЯРЯХ.Б$ = БХ.Я$ АЮ БР1Х.Р$ = РХ.Р$ ) 7.13.48.( ЯХ.Я$ АЯ ХЯ$, ЯХ.Я$ АЯ ХЯ$ ) ННЕКЕ ГОНЮТ РХ ( ( 1Г ЕХ1ЯТЯ ЯР1Х ( ЯРЯХ.Я$ = БХ.Б$ АЮ БРНХ.Р$ = РХ.Р$ ТНЕН ЕХ1ЯТЯ БРЯХ ( ЯРЛ.Я$ = БХ.Я$ МП ЯРНХ.Р$ = РХ.Р$ ) ЕЮ1Г ) АЮ ( 1Г ЕХ1ЯТЯ ЯРЯХ ( ЯРБХ.Б$ = ЯХ.Я$ АНП ЯРЛ.Р$ = РХ.Р$ ) ТНЕН ЕХ1БТЯ ЯРЯХ ( БРЯХ.Я$ = БХ.Я$ АЮ БР1Х.Р$ = РХ.Р$ ) ЕНП 1Г ) ) 7.13.49.( ЯРЯХ 8$~ ЯРБХ Р$с ( ЯРБХ 3$ю ЯРХХ ()ТХ ННЕКЕ ЯРЯХ.Я$ = ЯРНХ.Б$ МП ЯВЯХ.Р$ = ЯРЗХ.Р$ ) АБ 10 ) 7,13.50.
Пусть К вЂ” это результат вычисления выражения из ответа к предыдущему уп ражнению. Тогда имеем следующее. КАНБЕЧАК КХ КАНОНЕ ОЧЕК К КАНОЕЧАК КХ ВАНСЕН ОЧЕК КХ,ЯО (кх.я$, ВХ.Р$, кх.1$, кх.бтх ) Мы несколько расширили синтаксис и семантику параметра копредепеля переменной кортежа>. Идея состоит в том, что определение переменной КХ завн сит от переменной КХ (обратите внимание на то, что оба определения разделен~ запятыми, а не точками с запятыми, и поэтому связаны в одну операцию). Даль нейшее обсуждение этого вопроса приводится в (3.3). 292 Часть 11 Реляционная лзодел~ 7.14. Мы перенумеровали решения для этого пункта в виде 7Л4.и, где п — номер исходного упражнения в главе б, т,е. упр.
бла Относительно определения и именования переменных доменов будем следовать соглашениям, принятым в разделе 7.6. 7.14.13. ( БХ, МАНЯХ, С1ТУХ ) ИНЕАЕ 1 ( 1$ ьЯХ, ЛИАНЕ:МАНЯХ, С1ТУ:СУТУХ ) 7.14.14.( ЛХ, ИАМЕХ, 'Ьопбоп' АБ С1ТУ ) ИНЕЕЕ Л ( 0$гНХ, ЯМАМЕ:МАМЕХ, С1ТУ:'Ьопбоп' ) 7.14.15.8Х ИНЕВЕ ЯРО ( 8$:ЯХ, 0$ п1$ ( 'Л ' ) ) 7.14.16.( ЯХ, РХ, ЯХ, ОТУХ ) ИНЕСЕ БРБ ( 8$:ЯХ, Р$:РХ, 3$иТХ, РТУ:ОТУХ ) АИР ОТУХ > ОТУ ( 300 ) АЮ ОТУХ < ОТУ ( 750 ] 7.14.17.( СОЬОКХ, С1ТУХ ИНЕЕЕ Р ( СОЬОРиСОЬОВХ, С1ТУ:С1ТУХ ) ) 7.14.18.( ЯХ, РХ, БХ ) ИНЕНЕ ЕХ18ТЯ С1ТУХ ( Б ( 8$зБХ, С1ТУ~С1ТУХ ] АМР Р ( Р$:РХ, С1ТУ:С1ТУХ ) АМР .7 ( 1$пУХ, СУТУ1СУТУХ ) ) 7.14.19. ( ЯХ, РХ, ЛХ ] ИНЕВЕ ЕХ1ЯТБ С1ТУХ ЕХ1ЯТЯ С1ТУУ ЕХ18ТЯ С1ТУ2 ( Б ( 8$:ЯХ, С1ТУ~С1ТУХ ) АИР Р ( Р$:РХ, С1ТУ:С1ТУУ ) АЮ 1 ( 1$ пТХ, С1ТУ:С1ТУ2 ) АИР ( С1ТУХ и С1ТУУ ОА СУТУУ и СУТУ2 ОН С1ТУ2 я С1ТУХ ) ) 7.14.20.
( ЯХ, РХ, 7Х ) ИНЕЕЕ ЕХ1ЯТЯ С1ТУХ ЕХ1ЯТЯ С1ТУУ ЕХ18ТЯ С1ТУ2 ( Б ( 8$:БХ, СУТУ~СУТУХ ) АИР Р ( Р$:РХ, С1ТУ:С1ТУУ ) АЮ Ю ( 0$пТХ, СУТУ:СУТУ2 ) АМР ( С1ТУХ Ф СУТУУ АМР СУТУУ я СУТУХ АЮ СУТУ2 Ф С1ТУХ ) ) 7.14.21.РХ ИНЕАЕ ЕХ1ЯТБ ЯХ ( ЯРБ ( Р$:РХ, Я$:БХ ) АМР Я ( Я$:ЯХ, С1ТУ:'Ьопбоп' ) ) 7.14.22.РХ ИНЕВЕ ЕХ18ТЯ ЯХ ЕХ1БТЯ ЯХ ( ЯР7 ( Я$:ЯХ, Р$:РХ, Л~:7Х ) АЮ Я ( 8$:ЯХ, С1ТУ:'Ьопбоп' ) АЮ 7 ( Т$пУХ, С1ТУ:'Ьопбоп' ) 7.14.23.( С1ТУХ АЯ ЯС1ТУ, С1ТУУ АБ ЯС1ТУ ) ИНЕАЕ ЕХ18ТЯ ЯХ ЕХ1ЯТЯ БУ ( Я ( 8$:ЯХ, С1ТУ:С1ТУХ ) Глава 7. Реляционное исчисление 293 ЛИО Т ( Т№нТХ, СТХХ:СТХХХ ) лю БРЯ ( Я№:Ях, О№:тх ) ) 7.14.24.Рх инене ех1ятя Бх ех1ятя тх ех1ятя с1тхх ( я ( я№:ях, с1тх:сттхх ) АНО д ( 14:л, С1тх:С1тхх ) АЮ ЯРТ ( Я4:ЯХ, Р№:РХ, 1№ньх ) ) 7.14.25.тх инессе ех1ятя ях ех1ятя с1тхх ех1ятя с1тхх ( ЯРТ ( Б№:ЯХ, Т№:,ТХ ) лио я ( Б$:ях, с1тх:С1тхх ) лю г ( 04 итх, СТтх~сьтхх ) Аио с1тхх ~ с1тхх ) 7.14.26.( Рх Ая хР$, Рх Ая хР№ ) инене ех1ятя ях ( ЯРТ ( Я$:ЯХ, Р№:РХ ) йМО ЯРТ ( Б$:ЯХ, Р№:РХ ) АЮ РХ < РХ ) 7Л4.27-7Л4.30.
Решения опущены. 7.14.31.илнех инесе ех1ятя тх ( 1 ( 14 нтх, ЛЖНЕ1ИАНЕХ ) лио ЯРТ ( Б$:Я№ ( 'Я1' ), т№нтх ) ) 7.14.32.соьойх инеле ех1ятя Рх ( Р ( Р$:РХ, СОЬОН:СОТОНХ ) йво ЯРТ ( Я№:Я№ ( 'Я1' ), Р№сРХ ) ) 7.14,33.Рх инесе ех1ятя тх ( БРТ ( Р$:РХ, 14:ТХ ) АИО Т ( 1№нТХ, СТтХ Ьопаоп' ) ) 7.14.34.эх инесе ех1ятя Рх ( ЯРТ ( Р$:РХ, 14№ЯХ ) АЮ ЯРТ ( Р$:РХ, Б$:Я$( 'Б1' ) ) ) 7.14.35.ях инейе ех1ятя Рх ех1ятя ях ех1ятя Рх ( БРТ ( Я№:Ях, Р№:Рх ) йно ЯРО ( Р$:Рх, Я$:ЯХ ) АБО ЯРТ ( Я$:Ях, Р№:Рх ) лио Р ( Р№:РХ, СОЬОРнСОЬОН ( Неа' ) ) ) 7.14.36.Бх инене ех1ятя ятлтоях ех1ятя ятлтоях ( я ( я$:ях, ятлтоя~ятйтоях ) Ано ( я№:Я4 ( 'Я1' ), Бтлтоя1ятлтоях ) ятлтоях < ятлтоях ) 7.14.37.3х инесе ех1ятя с1тхх ( Т ( Д№нтх, С1тХ1С1тХХ ) АИО Гоельь с1тхх ( 1Г т ( с1тх:с1тхх ) тнен с1тхх > с1тхх ЕИО 1Г) ) 7.14.38-7.14.39.
Решения опущены. 294 Часть П. Реляционная модель 7.14.40.ЮХ ИНЕВЕ Ю ( Ю№:ЮХ ) йНР НОТ ЕХ1ЯТЯ ЯХ ЕХ1ЯТЯ РХ ( ЯРЛ ( Я4:БХ, Р$:РХ, 14 пТХ ) АНР Я ( Я4:ЯХ, С1ТТ:'Ьопс)оп' ) АНР Р ( Р№:РХ, СОЬОВ:СОЬОВ ( 'Вес)' ) ) ) 7.14.41.ЛХ ИНЕВЕ,Т (,Т№: ТХ ) АНР ГОВАЬЬ ЯХ ( 1Р ЯРЛ ( Я№:ЯХ, Л№иТХ ) ТНЕН БХ = Я№ ( 'Я1' ) ЕНР 1Р ) 7.14.42.РХ ИНЕВЕ Р ( Р№:РХ ) АНР ГОВАЬЬ Лх ( 1Р Л ( Ю№нТХ, С1ТУ:'Ьопбоп' ) ТНЕН БРЮ ( Р$:РХ, Т№ иТХ ) ЕНР 1Г ) 7.!4.43.ЯХ ИНЕВЕ Я ( Я$:ЯХ ) МР ЕХ1ЯТЯ РХ ГОВАЬЬ ЛХ ( ЯРТ ( Я4:ЯХ, Р№зРХ, 1$оТХ ) ) 7.14.44.ЛХ ИНЕВЕ,Т ( д№оТХ ) АИР ГОВльь Рх ( 1Г ЯРУ ( Я№~Я№ ( 'Я1' ), Р4:Рх ) ТНЕН ЯРЛ ( Р№:РХ, 34 иТХ ) ЕНР 1Г ) 7.14.45.С1ТХХ ИНЕВЕ ЕХ1ЯТЯ Б ( С1ТУгс1ТХХ ) ОВ Р ( С1ТУ:СТТУХ ) ОВ Т ( С1ТУ:С1ТУХ ) 7.14.46.РХ ИНЕВЕ ЕХ1ЯТЯ ЯХ ( ЯРЛ ( Б№:ЯХ, Р$:РХ ) МР Я ( Я№: Х, С1ТХ:'Ьопдоп' ) ) ОВ ЕХ1ЯТЯ ЮХ ( ЯРЮ ( Ю№ оНХ, Р4:РХ ) МР Ю ( 14: Х, СТТУ."'Ьопбоп' ) ) 7Л4.47. ( ЯХ, РХ ) ИНЕВЕ Я ( Я№:ЯХ ) ймо Р ( Р№:РХ ) АНР НОТ ЯРЮ ( Я$:ЯХ, Р№:РХ ) 7.14.48.
( ЯХ йя ХЯ$, ЯУ АЯ ТЯ№ ) ИНЕВЕ Я ( Я№:БХ ) АНР Я ( Б№:ЯТ ) АНР ГОВАЬЬ РХ ( ( 1Г ЯРЛ ( Я$:ЯХ, Р№:РХ ) ТНЕН ЯРЮ ( Я№:ЯУ, Р$:РХ ) ЕНР 1Г ) АНР ( 1Р ЯРЮ ( Б№:ЯУ, Р№:РЗ ) ТНЕН БРЮ ( Я№:ЯХ, Р$:РХ ) ЕНР 1Г ) ) 7.14.49-7.14.50. Решения опушены. 7.15. Мы перенумеровали решения этого пункта в виде 7 15.ц что соответствует номерам бш в исходных упражнениях главы 6.
7.15.13. ЯЕЬЕСТ * ГНОМ Ю ) или просто ТАЕЬЕ Ю Глава 7. Реляционное исчисление ( БЕЬЕСТ * РВОМ БРЮ АЯ БРЮТ ГНЕВЕ БРЮТ.Р() = БРЮХ.Р() ВНО ЯРЮХ.Ю( = Ю.Ю() ) ) ; 7.15.45.БЕЗВЕСТ Я.СХТХ РВОМ Я ОН1ОМ НЕВЕСТ Р.С1ТХ РВОМ Р ОМ108 ЯЕЬЕСТ Ю.СХТХ РВОМ Ю 7.15.46.ЯЕЬЕСТ Р1БТ1МСТ ЯРЮ.Р$ РВОМ ЯРЮ ИНЕВЕ ( БЕЬЕСТ Я,С1ТХ РВОМ Я ИНЕВЕ Я.Я() = ЯРЮ.Я() ) = 'Ьопбоп' ОВ ( ЯЕЬЕСТ Ю.С1ТХ РВОМ Ю ИНЕВЕ Ю.Ю$ = ЯРЮ.Ю() ) = 'Ьопс)оп' 7.15.47.ЯЕ1ЕСТ Я.Я1, Р.Р$ РВОМ Я СВОЯЯ ЮО18 Р ЕХСЕРТ ЯЕНЕСТ ЯРЮ.Я(), ЯРЮ.Р( РВОМ БРЮ 7.15.48. Решение опущено. 7.15.49-7.15.50. Решений не существует. зоо Часть П.
Релянионная модель Глава 8 Целостность данных 8.1. Введение Термин целостность данных используется для описания точности и корректности хранящейся в базе информации. Как отмечалось в главе 3, в базе данных может существовать любое количество ограничений целостности и в общем случае они могут быть произвольной сложности. Например, для базы данных поставщиков и деталей можно предположить, что номера поставщиков должны представляться в виде 'Ялллл' (где лллл — десятичное число, не превышающее 9999) и иметь уникальные значения; значения статуса поставщика должны находиться в диапазоне от 1 до !00, причем поставщики из Лондона должны иметь статус 20; количество поставляемых деталей должно быть кратно 50, причем красные детали должны храниться только в Лондоне; и т.д.
В общем случае можно сделать заключение, что СУБД должно быть известно о подобных ограничениях и, безусловно, необходимо, чтобы СУБД тем илн иным образом обеспечивала их выполнение (в основном, посредством отмены любых обновлений, нарушающих эти требования). Рассмотрим следующий пример (снова воспользуемся языком Тп(оПа! О). СОЕЯТЕА1ИТ ЯС3 1Я ЕМРТТ ( Я пЕЕЕЕ ЯТАТОЯ < 1 Ой ЯТАТОЯ > 100 ) Смысл этого выражения таков; "Значения статуса поставщика должны находиться в диапазоне от 1 до 100".
Обратите внимание на ция ограничения — ЯС3 !т.е. "Ограничение № 3 для поставщиков"). Под этим именем данное ограничение будет зарегистрировано в системном каталоге и именно это имя будет указываться в диагностических сообщениях системы при обнаружении попыток нарушения данного ограничения.
Само ограничение задается в виде логического выражения, результат вычисления которого не должен иметь значение ложь (Та(зе). Замечание. Для определенности здесь мы используем алгебраическую версию языка ТшоПа! )3, поэтому логическое выражение часто будет принимать форму 1Я ЕИРТТ( ... ), которая означает, что в базе данных нет данных, нарушающих указанное ограничение (см. раздел 6.9 главы б). Аналог приведенного выше примера в виде выражения реляционного исчисления может выглядеть следующим образом', СОЫЯТЕА1МТ ЯС3 РОЕАЕЕ ЯХ ( ЯЕ.ЯТАТОЯ > 1 АЕО ЯЕ.ЯТАТОЯ < 100 ) з ))а практике бытует мнение, что ограничения бособенно сложные) легче форлзулировать в терминах реляционного исчисления, а не посредством выражений реляционной алгебры.
Е этой главе лзы осзпановиззся на алгебраические аыраженинз в соответствии с принципаии изложения материиза в остальной части киззгзз, но читателю, несомненно, будет полезно поупражняться в преобразовании некоторых зо приводимых ниже приперев в аыражения реляционного исчисления. ЗО1 Глава 8. Целоспгность данных Здесь ЯХ вЂ” переменная кортежа, которая изменяется иа отношении поставщиков Я, По ходу отметим, что логическое выражение в ограничениях, представленных в виде выражений реляционного исчисления, должно быть закрытой формулой И'гг (см, раздел 7.2 главы 7) и чаще всего будет иметь форму РОВАТЬ х(...
). Следовательно, выражеиие в данном примере означает, что все значения статуса поставщиков должны находиться в указанном диапазоне, На практике, конечно, достаточно, чтобы система просто проверяла лишь вновь вводимые или обновляемые значения статуса поставщиков, а ие все те значения, которые уже хранятся в базе данных. После того как новое ограничение будет объявлено, необходимо, чтобы оио было проверено системой, т.е, нужно убедиться, что база данных в текущий момент удовлетворяет вновь установленному ограничению.
Если это ие так, новое ограничение отвергается; в противном случае оио принимается (т.е. сохраняется в каталоге) и с этого момента вступает в силу. Объявление в системе приведенного выше ограничения приведет к тому, что СУБД будет контролировать все операции, которые подразумевают вставку кортежа для нового поставщика или изменение статуса существующего поставщика. Конечно, дополнительно требуется, чтобы существовала возможность отмены устаиовлеииого ранее ограничения. ОМОР СОМЯТМА1МТ <ннн ограничения> ; Например: ОМОР СОМЯТЯА1МТ ЯСЭ Замечание. Как вы, наверное, уже заметили, наше обсуждение сосредоточено иа декларативной поддержке ограничений целостности.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
