Общая часть (часть 2) (2015) (by Кибитова) (1161598), страница 42

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 42)

этогоатрибутадоменаограниченияцелостности,на значенияСледует играетотметить такжесемантическуюнагрузку понятиядомена: данныесчитаютсяатрибутаатрибутаСледуетотметитьтакжесемантическуюнагрузкупонятиядомена:данныесчитаютсясравнимымитольков томслучае, когдаони относятсяк одномудомену.В нашемСледуетотметитьтакжесемантическуюнагрузкупонятиядомена:данныесчитаютсяЕсли некоторыйатрибутотношенияопределяетсяна некоторомдомене(как,например,Следуетотметитьтакжесемантическуюнагрузкупонятиядомена:данныесчитаютсясравнимымитольков томслучае,когдаони относятсяк одномудомену.В нашемпримерезначениядоменов"Номерапропусков"и"Номерагрупп"относятсяк типуСледуетотметитьтакжесемантическуюнагрузкупонятияданныесчитаютсясравнимымитольковв томслучае,когдаониимена),относятсяодномудомену.Внашемнашематрибутсотр_имяопределяетсянакогдадоменето кдомена:вкдомена:дальнейшемограничениесравнимымитолькотомслучае,ониотносятсяодномудомену.ВСледуетотметитьтакжесемантическуюнагрузкупонятияданныесчитаютсяпримерезначениядоменов"Номерапропусков"и"Номерагрупп"относятсяктипуцелых чисел,но недоменовявляютсясравнимыми.сравнимымитольков томслучае,когдаони относятсяк групп"одномудомену.Вк нашемпримерезначения"Номерапропусков"и "Номера"Номерагрупп"относятсяотносятсяктипутипудоменаиграетрольограниченияцелостности,накладываемогоназначенияэтогопримерезначениядоменов"Номерапропусков"исравнимымитольковтомслучае,когдаониотносятсякодномудомену.Внашемцелыхчисел,но не являютсясравнимыми.примерезначениядоменов"Номерапропусков"и"Номерагрупп"относятсяктипуцелыхчисел,нонеявляютсясравнимыми.атрибутацелыхчисел,но не являютсясравнимыми.примерезначениядоменов "Номерапропусков" и "Номера групп" относятся к типу Отношение.целыхчисел, но не являются сравнимыми.целыхчисел,нонеявляютсясравнимыми.Отношение.Отношение.Отношение.Следует отметить также семантическую нагрузку понятия домена: данные считаютсяОтношение.сравнимыми только в том случае, когда они относятся к одному домену.

В нашемОтношение.Дляуточнения термина отношение выделяются понятия заголовка отношения,примерезначениядоменов"Номерапропусков"и "Номерагрупп"относятся к типуДляуточнениятерминаотношениевыделяютсяпонятиязаголовкаотношения,значенияотношенияиотношениепеременнойотношения.Крометого, потребуетсяДляуточнениятерминаотношениевыделяютсяпонятиязаголовкаотношения,Дляуточнениятерминавыделяютсяпонятиязаголовкаотношения,целых чисел,но не являютсясравнимыми.значенияотношенияиотношениепеременнойКромезаголовкатого, потребуетсявспомогательноепонятиекортежавыделяются.отношения.Дляуточнениятерминапонятияотношения,значенияотношенияипеременнойотношения.Кромезаголовкатого,потребуетсяпотребуетсязначенияотношенияипеременнойотношения.Крометого,Для уточнения терминаотношениевыделяютсяпонятияотношения,вспомогательноепонятиекортежа.значенияотношенияи переменнойКроме того, потребуетсявспомогательноепонятиекортежа .

отношения.вспомогательноепонятиекортежаОтношение.значенияотношенияи переменнойотношения. Кроме того, потребуется вспомогательное понятие кортежа .вспомогательное.Заголовком (илипонятиесхемой)кортежаотношенияR (HR) называется конечное множествоЗаголовком(илисхемой)отношенияR(HR) называетсяконечноемножествоупорядоченныхпарвида <A,T>, где A называетсяименем конечноеатрибута,а T – имяЗаголовком(илисхемой)RЗаголовком(илисхемой)отношенияR (HR)(HR) называетсяназываетсяконечноемножествомножествоДляуточнениятерминаотношениевыделяютсяпонятиязаголовкаотношения,упорядоченныхпарвида<A,T>,гдеAназываетсяименематрибута,аTимятребуется,некоторогобазовоготипаилиранееопределенногодомена.Поопределениюупорядоченныхпарвида и<A,<A,T>, гдегде Aименематрибута,амножествоTT–––имяЗаголовком(илисхемой)отношенияR (HR) называетсяконечноеупорядоченныхпарвидаT>,A называетсяназываетсяименематрибута,амножествоимязначенияотношенияпеременнойотношения.Крометого,потребуетсяЗаголовком(илисхемой)отношенияR(HR)называетсяконечноенекоторогобазовоготипаилиранееопределенногодомена.Поопределениютребуется,чтобывсе именаатрибутоввранеезаголовкеотношениябылиразличны.Вимяпримеренекоторогобазовоготипаилиранееопределенногодомена.Поопределениютребуется,упорядоченныхпарвида<A,T>,гдеAназываетсяименематрибута,аT–некоторогобазовоготипаилиопределенногодомена.Поопределениютребуется,вспомогательноепонятиекортежа.упорядоченныхпарвида<A,T>,гдеAназываетсяименематрибута,аT–имячтобывсеименаатрибутовввранеезаголовкеотношениябыли различны.различны.ВпримерепримеречтобывсеименаатрибутовзаголовкеотношениябылиВнекоторогобазовоготипаилиопределенногодомена.Поопределениютребуется,чтобывсе именаатрибутовв заголовкеотношениябыли различны.В примеренекоторогобазовоготипа илиранее определенногодомена.По определениютребуется,чтобы все имена атрибутов в заголовке отношения были различны.

В примеречтобы все имена атрибутов в заголовке отношения были различны. В примереЗаголовком (или схемой) отношения R (HR) называется конечное множествоупорядоченных пар вида <A, T>, где A называется именем атрибута, а T – имянекоторого базового типа или ранее определенного домена. По определению требуется,чтобы все имена атрибутов в заголовке отношения были различны. В примере заголовкомотношения СЛУЖАЩИЕ является множество пар {<сотр_номер номераномераотделов>}.номера отделов>}.пропусков>,<сотр_имя,СЛУЖАЩИЕимена>, <сотр_зарп,Размерывыплат>,<сотр_отд_номер,заголовком отношенияявляетсямножествопар {<сотр_номерномеразаголовкомотношенияСЛУЖАЩИЕявляетсямножествопар{<сотр_номер номераномераотделов>}.пропусков>,<сотр_имя, имена>, <сотр_зарп, Размеры выплат>, <сотр_отд_номер,пропусков>,<сотр_имя,имена>,<сотр_зарп,Размерывыплат>,<сотр_отд_номер,заголовкомотношенияСЛУЖАЩИЕявляетсямножествопар {<сотр_номерномераЕсливсе отделов>}.атрибутызаголовкаотношенияопределенына разныхдоменах,то, чтобыненомераЕсливсеотделов>}.атрибутызаголовкаотношенияопределенынаразных <сотр_отд_номер,доменах, то, чтобы неномерапропусков>,<сотр_имя,имена>,<сотр_зарп,Размерывыплат>,плодитьлишнихимен,разумноиспользоватьдляименованияатрибутовименазаголовкомотношенияСЛУЖАЩИЕявляетсямножествопар{<сотр_номерномераплодитьлишнихимен,разумноиспользоватьдля именованияатрибутовименаЕсливсеотделов>}.атрибутызаголовкаотношенияопределенына разныхдоменах,то, чтобыненомерасоответствующихдоменов.заголовкомотношенияСЛУЖАЩИЕявляется множествопар {<сотр_номерномерапропусков>,<сотр_имя,имена>,<сотр_зарп,Размерывыплат>,<сотр_отд_номер,соответствующихдоменов.плодитьлишнихимен,разумноиспользоватьдляименованияатрибутовименаЕсливсе атрибутызаголовкаотношенияопределеныразных доменах, то, чтобы непропусков>,<сотр_имя,имена>,<сотр_зарп,Размерынавыплат>,номераотделов>}.Есливсе атрибутызаголовкаотношенияопределенына разных<сотр_отд_номер,доменах, то, чтобы несоответствующихдоменов.плодитьотделов>}.лишних имен, разумно использовать для именования атрибутов именаномераплодитьлишнихимен,разумноиспользоватьименованияатрибутовименаЕсливсе атрибутызаголовкаотношенияопределенына разныхдоменах,то,чтобы неКортежемtR, соответствующимзаголовкуHR,дляназываетсямножествоупорядоченных соответствующихдоменов.КортежемtR,соответствующимзаголовкуHR,называетсямножествоупорядоченныхсоответствующихдоменов.плодитьлишнихимен,разумноиспользоватьдляименованияатрибутовименатриплетоввида<A, T, v>,по одномутакому триплетудля накаждогоатрибутавто,HR.чтобы неЕсли всеатрибутыотношенияопределеныразныхдоменах,триплетоввида<A,доменов.T, заголовкаv>, по одномутакомуHR,триплетудля каждогоатрибутав HR.КортежемtR,соответствующимзаголовкуназываетсямножествоупорядоченныхсоответствующихТретийэлемент–v–триплета<A,T,v>долженявлятьсядопустимымзначениемЕсливсеэлементатрибутыотношенияна разныхдоменах,то,именачтобытипанеплодитьлишнихимен,разумноиспользоватьдляименованияатрибутовТретий– vзаголовка– триплета< A,T,v >определеныдолженявлятьсядопустимымзначениемтриплетоввида<A,T,v>,поодномутакомутриплетудлякаждогоатрибутавHR.

типаКортежемtR,соответствующимзаголовкуHR,называетсямножествоупорядоченныхданныхилидоменаT доменов.соответствующихплодитьлишнихимен,разумноиспользоватьдляименованияатрибутовименаКортежемtR, соответствующимHR, являтьсяназываетсямножествозначениемупорядоченных данныхиливидадоменаT триплетаТретийэлемент– v –T,< A,заголовкуT,такомуv > должендопустимымтриплетов<A,v>, по одномутриплетудля каждогоатрибута в HR.

типасоответствующихдоменов.триплетовtR,вида<A, T, v>, по одномутакомуHR,триплетудля каждогоатрибутав HR.КортежемсоответствующимзаголовкуназываетсямножествоупорядоченныхданныхдоменаТретий илиэлемент– v T– триплета < A,T, v > долженявляться допустимымзначением типаТретийэлемент–v–триплета<A,T,v>долженявлятьсядопустимымзначениемтриплетоввида<A, T,v>, по одному такомутриплетунапример,для каждогоатрибутакортеж:в HR. типаЗаголовкуотношениясоответствуют,следующиеданныхилидоменаT СЛУЖАЩИЕКортежемtR,соответствующимзаголовкуHR,называетсямножествоупорядоченныхЗаголовкуотношенияСЛУЖАЩИЕнапример,следующиекортеж:данныхэлементилидоменаТретий– v –Tтриплета< A,T, соответствуют,v ><сотр_имя,должен являтьсядопустимымзначениемтипа{<сотр_номер,номера2934>,имена,Иванов>,<сотр_зарп,триплетоввида<A,пропусков,T,v>, по одномутакомутриплетудлямножествокаждогоатрибутав HR.КортежемtR,соответствующимзаголовкуHR,называетсяупорядоченных{<сотр_номер,номерапропусков,2934>,<сотр_имя,имена,Иванов>,<сотр_зарп,Заголовкуотношениясоответствуют,например,следующие кортеж:данныхилидоменаT СЛУЖАЩИЕразмерывыплат,112.000>,Номераявлятьсяотделов,310>}Третийэлемент– vv>,– триплета< A,T, v >триплетудолжендопустимымзначениемтипа триплетоввида<A,T,по<сотр_отд_номер,одномутакомудлякаждогоатрибутав HR.размерывыплат,112.000>,<сотр_отд_номер,Номераотделов,310>}{<сотр_номер,номерапропусков,2934>,<сотр_имя,имена,Иванов>,<сотр_зарп,ЗаголовкуотношенияСЛУЖАЩИЕсоответствуют,например,следующиекортеж:данныхилидоменаTСЛУЖАЩИЕТретийэлемент– 112.000>,v – триплета< A, T, vсоответствуют,> долженявлятьсядопустимымзначениемтипаЗаголовкуотношениянапример,следующиекортеж:размерывыплат,<сотр_отд_номер,Номераотделов,310>}{<сотр_номер,номерапропусков,2934>,<сотр_имя,имена,Иванов>,<сотр_зарп,данныхилиотношениядоменаT СЛУЖАЩИЕ{<сотр_номер,номерапропусков,произвольное2934>,<сотр_имя,имена,кортежейИванов>,<сотр_зарп,Заголовкусоответствуют,например,следующиекортеж:ТеломBRвыплат,отношенияR называетсямножествоtR.Одноизразмеры112.000>,<сотр_отд_номер,Номераотделов,310>}размерывыплат,112.000>,<сотр_отд_номер,Номераотделов,310>}ТеломBRотношенияRназываетсяпроизвольноемножествокортежейtR.Одноиз{<сотр_номер,номерапропусков,2934>,<сотр_имя,имена,Иванов>,<сотр_зарп,возможныхтелотношенияСотрудникипоказанонарисунке.Заметим,чтовобщемЗаголовкутелотношенияСЛУЖАЩИЕсоответствуют,например,следующиекортеж: возможныхотношенияСотрудникипоказанонарисунке.Заметим,чтовобщемТеломмогутBRвыплат,отношенияR называетсяпроизвольноемножествокортежейHR,tR.ноОдноизразмеры112.000>,<сотр_отд_номер,Номераотделов,случаесуществоватьтакиекортежиtR,<сотр_имя,которыесоответствуютне входят{<сотр_номер,номерапропусков,2934>,имена,310>}Иванов>,<сотр_зарп,ЗаголовкуотношенияСЛУЖАЩИЕсоответствуют,например,следующиекортеж:случаемогутсуществоватьтакиекортежиtR,которыесоответствуютHR,ноневходятвозможныхтелотношенияСотрудникипоказанонарисунке.Заметим,чтовобщемТеломBR отношенияRназываетсяпроизвольноемножествокортежейtR.

Характеристики

Список файлов ответов (шпаргалок)