С.Д. Кузнецов - Основы баз данных (1121716), страница 47
Текст из файла (страница 47)
е. каждое значение задает некоторую абсолютную временную метку — отсюда название типа ттмьвтАмр). число десятичных цифр в значениях-компонентах и ограничения этих значений такие же, как у значений типов ОАтк и ттмк. При определении столбца типа ттмкятАмр может указываться ттмьэтАмр (р( (значение р залает точность долей секунды) или просто ттмкятлмр (в этом случае, в отличие от типа данных ттмк, по умолчанию принимается, что в доли секунды используются шесть десятичных цифр). Максимально допустимое значение р определяется в реализации. ° Литералы типа ттмк9ТАмр представляются в виде строки ттмквтАмр 'уууу-пкп-сЪ) ММ: ппп-аа: 1...
! ', где символы у, ш, д, Ь, н, а и 1 должны изображать десятичные числа. Например, литерал т1мкятАМР '1949- 04-09 16: 33-20: 333 ' представляет временную метку 1б часов 33 минуты 20 и 333 тысячных секунды 8 апреля 1949 г. Тйпы времени н временной метки с временной зоной ° Тип ттмк иттн ттмк хоме. Этот тип данных похож на тип ттмк с тем лишь отличием, что значения типа ттмм (лттн ттмк комм включаютдополнительный компонент — значение, характеризующее смешение соответствующего времени относительно гринвичского времени (теперь его называют 1 (ТС вЂ” ил! ехза! (иле соогк(!наге4. Деталей представления этого дополнительного компонента мы касаться не будем.
° Тип ттме9ТАмр итти ттме хомк. Этот тип данных отличается от типа ттмввтАМГ тем, что значения типа ТТМК9ТАМр (Лттн ттмк 2ОМК включают дополнительный компонент-значение, характеризующее смещение соответствующего времени относительно гринвичского. Типы временных интерввлов Вообше говоря, временным интервалом называется разность между двумя значениями даты или времени.
В Я.Н. определены две категории типов временных интервалов: «год-месяц» и «день-время суток». Временные интервалы языка Я)) не привязываются к начальному и/или конечному значению даты/времени, а описывают только протяженносп, во времени. В обшем случае при определении столбца типа временного интервала указывает- сятмтекуАО аеагс (р) ( то епд (с(( ),гдевкачестве«асагс»и«епд»могут залаваться УВАВ, Монти, САу, Ноов, мтмцтк и 9ксогш. Параметр р задает требуемую точность лидирующего поля интервала (число десятичных цифр).
219 Основы ба» данных Курс Параметр с? может задаваться только в том случае, когда в качестве епб ис- пользуется 5ЕСОМР, и указывает точность долей секунды. Если говорить бо- лее точно, возможны следующие вариации типов временных интервалов. ° Типы категории «год-месяц». Можно определить столбцы следующих типов: 1МТЕКЧАЬ МЕАК, ?КТЕКЧАЬ уБ)К (р) (значения этихтипов — временные интервалы в годах), 1ктекчль монти, ТмтеГ:Аь мсктк (р) (значения этих типов — временные интервалы в месяцах), 1НТЕКЧАЬ УЕАК то Монти,?нтЕКЕАЬ уЕАК (р) то МСКТК(значенияэтихтипов — временные интервалы в годах и месяцах). Если значение параметра р не указывается явно, по умолчанию принимается его значение «2».
° Типы категории «день-время суток». При определении столбца можно использовать следующие комбинации (для полноты перечислим все): ?ИТЕКЧАЬ РАУ (р), 1КТЕВЧАЬ РАУ, ?МТЕКУАЬ РАУ (р) то кСОК, ?ИТЕК»АЬ РАУ ТО КОРЕ, 1ИТЕРУАЬ РА Г (р) ТО М1МРТЕ, ?ИТЕРА?АЬ РАУ ТО М1КРТЕ 1нтЕКул? РАУ (р) тО 5ЕСОКР (с~), 1ИТЕК??АЬ РАУ ТО ЯЕСОИР (с?), 1ИТЕРУА?„ РАУ (р) ТО 5ЕССИР 1ИТЕКЧАЬ РАУ ТО 5ЕСОНР, 1КТЕКЧАЬ КОРР (Р), 1НТЕГ»А1 КО(Ж, 1ИТЕВЧАЬ НОСК (р) ТС МТМРТЕ, 1ИТЕКЧАЬ НОЬ)В ТО М1МРТЕ, 1ИТЕВЧАЬ КОРЕ (р) ТО 5ЕССИР (ф, 1МТЕКЧАЬ КОРЕ ТС 5ЕСОМР (с?), 1ИТЕКЧАЬ КОРЕ ТО 5ЕСОИР, ?КТЕК??АЬ М1МРТЕ (р), 1МТЕК??АЬ М1КРТЕ, 1ИТЕК»АЬ М1МРТЕ (р) ТО 5ЕСОНР (с?), 1МТЕВ??АЬ М1КБТЕ ТО ЕЕСОИР (г?), ?НТЕКЧАЬ МТНРТЕ (р) то 5еССМР, ?ИТЕРУА? М1ИРТЕ ТО 5ЕСОИ?), 1ИТЕГЛ~Ь 5ЕСОНР (Р, г?) 1ИТЕВ??АЬ 5ЕСОИР (р), 1ИТЕВЧАЬ 5ЕСОИР.
Если значение параметра р не указывается явно, по умолчанию прини- мается его значение «2». Значением параметра о по умолчанию является «6». ° Приведем только один пример литерала одной из разновидностей типа 1нтекуль: тнтекчль 10:20 мтмпте то 5есОМР— временнойинтервал в ?О минут и 20 секунд. 220 Лекция 11 Общее введение, типы данных н средства определения доменов ° Над значениями темпоральных типов могут выполняться арифметические операции„смысл которых определяется следующей таблицей: Значения типов данных временных интервалов образуются при вычитании одного значения типа даты или времени суток из другого значения соответствующего типа.
При добавлении интервального значения к значению типа даты/времени образуется новое значение типа датыггвремени. Кроме того, значение интервального типа можно умножать и делить на числовые значения, получая новое значение интервального типа. Булевский тип При определении столбца булевского типа указывается просто спецификация вооьейн. Булевский тип состоит из трех значений: ггие, го1де и иМпогуп (соответствующие литералы обозначаются ТЕПЕ, ЕАЬБЕ и апаоу1Ы). Поддерживается возможность построения булевских выражений, которые вычисляются в трехзначной логике. Таблицы истинности основных логических операций показаны на рис.
11.2. Типы коллекций Начиная с БЦ1.:1999, в языке поддерживается возможность использования типов данных, значения которых являются коллекциями значений некоторых других типов. Обычно под термином коллекция понимается одно из следующих образований: массив, список, множество и мульти- множество. В варианте Я)1.:1999, принятом в 1999 г., были специфицированы только типы массивов. В новом стандарте БО1.:2003 появилась спецификация типа мультимножества. Т1ииц массивов Любой возможный тип массива получается путем применения конструкторо типов йеелу.
При определении столбца, значения которого * В сгпвырте БОО2003 имсетая следующее угочнение: «В этой спецификации не проводится рлзлнчне между ьлл ь-знвченнем булевского типа дянных н нстинностным значением цкнонн, являющимся результатом вычисления предихлтв, условия поиска или булевскопэ выражения; онн могут наполыоввтьая взаимозаменяемо н означают в точности адно н то жек С маей точки зрения такой пцвход во многом являегая некорректным, но я не буду здесь нв этом осганавлнвытая. 221 Основы баз данных Курс Рис.
11.2. Таблицы истинности основных логических операций в трехзначной логике должны принадлежать некоторому типу массива, используется конструкция с[с ллллу [ вю 1, где с1г специфицирует некоторый допустимый в Я 1Е тип данных, а вс является литералом некоторого точного числового типа с нулевой длиной шкалы и определяет максимальное число элементов в значении типа массива (в терминологии Я;П:1999 это значение называется максимальной кардональиостью массива). В стандарте Я)1.:1999 многомерные массивы и массивы массивов не поддерживались. Однако в стандарте Я )Е:2003 это ограничение было снято, и теперь типом элементов любого типа коллекций может быть любой допустимый в КОЕ тип данных, кроме самого конструируемого типа коллекции.
Элементам каждого значения типа массива соответствуют их порядковые номера, называемые индексами. Значение индекса всегда должно принадлежать отрезку [1, пс1. Значениями типа массива ос ллллу [вс] являются все массивы, состоящие из элементов типа ос, максимальное значение индекса которых сз не превосходит значения жс. При сохранении в базе данных значения типа массива занимает столько памяти, сколько требуется для сохранения сэ элементов.
Обеспечивается доступ к элементам массива по их индексам. В частности, можно объявить столбец типа тнтвскв лврлу [101 и при вставке строки в соответствующую таблицу задать значение только пятого элемента массива. Тогда в строку будет занесен массив из пяти элементов, причем первые четыре элемента будут содержать неопределенное значение (НПЬЬ). 222 Лекция 11 Общее введение, типы данных и средства определения доменов Основными операциями над массивами являются выборка значения элемента массива по его индексу, изменение некоторого элемента массива нли массива целиком и конкатенация (сцепление) двух массивов.
Кроме того, для любого значения типа массива можно узнать значение его се. Ъгиы мультимиожеств При определении столбца таблицы типа мультимножеств используется конструкция ж игл.т1якт, где ж задает тип данных элементов конструируемого типа мультимножеств.
Значениями типа мультимножеств являются мультимножества, т. е. неупорядоченные коллекции элементов одного и того же типа, среди которых допускаются дубликаты. Например, значениями типа 1итяакК и))ьттякт являются мультимножества, элементами которых — целые числа. Примером такого значения может быть мультимножество (12, 34, 12, 45, -64). В отличие от массива, мультимножество является неограниченной коллекцией; при конструировании типа мультимножеств не указывается предельная кардинальность значений этого типа.
Однако это не означает, что возможность вставки элементов в мультимножество действительно не ограничена; стандарт всего лишь не требует явного объявления границы. Ситуация аналогична той, которая возникает при работе с таблицами, для которых в ВО) не объявляется максимально допустимое число строк.* Для типов мультимножеств поддерживаются операции преобразования типа значения-мультимножества к типу массивов или другому типу мультимножеств с совместимым типом элементов (операция слят), для удаления дубликатов из мультимножества (функция якт), лля определения числа элементов в заданном мультимножестве (функция слкзтиугьтту), для выборки элемента мультимножества, содержащего в точности один элемент (функция кккмкг)т).
Кроме того, для мультимножеств обеспечиваются операции объединения (И))кттяят ))И1ОИ), пересечения (Мцкттяят 1итккякст) и определения разности (ипьттякт кхскрт). Каждая из операций может выполняться в режиме с сохранением дубликатов (режим лыс) или с устранением дубликатов (режим птяттист). Расширенные в ЯО(.:2003 возможности работы с типами коллекций являются принципиально важными. Даже при наличии определяемых пользователями типов данных (см.
ниже) и типов массивов Я)):1999 не предоставлял полных возможностей для преодоления исторически присущего реляционной модели данных вообще и 9.)1. в частности ограничения «плоских таблиц». После появления конструктора типов мульти- множеств и устранения ограничений на тип данных элементов коллекции это историческое ограничение полностью ликвидировано. Мультимно- * Конечно, на практике такие ограничения устанавливаются в документации конкретной используемой СУБД, либо даже администратором конкретной базы данных. 223 Основы баз даинык курс жество, типом элементов которого является анонимный строчный тип (см.
ниже), представляет собой полный аналог таблицы. Тем самым, в базе данных допускается произвольная вложенность таблиц. Возможности выбора структуры базы данных безгранично расширяются. Анонимные строчные типы Анонимный строчный тип* — это конструктор типов дОХ, позволяющий производить безымянные типы строк (кортежей). Любой возможный строчный тип получается путем использования конструктора доу). При определении столбца, значения которого должны принадлежать некоторому строчному типу используется конструкция КОИ ( т1д1, 11д2, ..., г1с)п ), где каждый элемент г1Ж, определяющий поле строчного типа, задается в виде тройки г1с)паше, г1Журе, г1дорг1опн. Подэлемент г1с)нагло задает имя соответствующего поля строчного типа.
Подэлемент г1с)гуре специфицирует тип данных этого поля. В качестве типа данных поля строчного типа можно использовать любой допустимый в Б(.) тип данных, включая типы коллекций, определяемые пользователями типы и другие строчные типы. Необязательный подэлемент г1с)орг.(опн может задаваться для указания применяемого по умолчанию порядка сортировки, если соответствующий подэлемент г1Журе указывает на тип символьных строк, а также должен задаваться, если 11с)суре указывает на ссылочный тип (см.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
