Московский государственный университет имени М.В.Ломоносова
Опубликован: 10.10.2005 | Доступ: свободный | Студентов: 7915 / 387 | Оценка: 3.85 / 3.50 | Длительность: 22:03:00
Лекция 1:

Общее введение, типы данных и средства определения доменов

Лекция 1: 123456 || Лекция 2 >

Неявные и явные преобразования типа или домена

В языке SQL обеспечивается возможность использования в различных операциях не только значений тех типов, для которых предопределена операция, но и значений типов, неявным или явным образом приводимых к требуемому типу.

Неявные преобразования типов в SQL

В SQL поддерживается совместимость некоторых типов данных за счет неявного преобразования значений одного типа к значениям другого типа данных (например, при необходимости FLOAT неявно приводится к DOUBLE ). Опишем наиболее важные правила совместимости типов, принятые в SQL:1999. Начнем с определения приводимости типов. Тип данных A приводим к типу данных B в том и только в том случае, когда в любом месте, где ожидается значение типа B, может быть использовано значение типа A.

Основные правила приводимости типов состоят в следующем.

  • Типы символьных строк. Тип CHARACTER (x) приводим к любому типу CHARACTER (y), если y>=x. Типы VARCHAR (x) и CHARACTER (x) приводимы к любому типу VARCHAR (y), если y>=x. Типы CHARACTER (x) и VARCHAR (x) приводимы к любому типу CLOB.
  • Типы битовых строк. Тип BIT (x) приводим к любому типу BIT (y), если y>=x. Типы BIT VARYING (x) и BIT (x) приводимы к любому типу BIT VARYING (y), если y>=x.
  • Типы BLOB. Тип BLOB (x) приводим к любому типу BLOB (y), если y>=x.
  • Типы точных чисел. Тип EN (p1, s1) приводим к любому типу EN (p2, s2), у которого s2>=s1 и p2 определяется в реализации. Тип EN (p, s) приводим к любому типу приблизительных чисел AN (p1), где p1 определяется в реализации.
  • Типы приблизительных чисел. Тип AN (p1) приводим к любому типу (p2), если p2>=p1.

Явные преобразования типов или доменов и оператор CAST

Неявные преобразования типов не всегда удобны, недостаточно гибки и иногда могут вызывать ошибки. Поэтому, как показывает предыдущий подраздел, число допустимых неявных преобразований типов в SQL весьма ограничено. Однако в SQL существует специальный оператор CAST , с помощью которого можно явно преобразовывать типы или домены в более широких пределах допускаемых преобразований. Конструкция имеет следующий синтаксис:

CAST ({scalar-expression | NULL } AS 
      {data_type | domain_name})

Оператор преобразует значение заданного скалярного выражения к указанному типу или к базовому типу указанного домена. Результатом применения оператора CAST к неопределенному значению является неопределенное значение. Для значений, отличных от неопределенных, в стандарте приводятся подробные правила выполнения преобразований, которые интуитивно понятны.

Поясним действие оператора CAST в наиболее важных случаях. Примем следующие обозначения типов данных:

ENточные числовые типы ( Exact Numeric )

ANприблизительные числовые типы ( Approximate Numeric )

Cтипы символьных строк ( Character )

FCтипы символьных строк постоянной длины ( Fixed-length Character )

VCтипы символьных строк переменной длины ( Variable-length Character )

Bтипы битовых строк ( Bit String )

FBтипы битовых строк постоянной длины ( Fixed-length Bit String )

VBтипы битовых строк переменной длины ( Variable-length Bit String )

D – тип Date

T – типы Time

TS – типы Timestamp

YM – типы Interval Year-Month

DT – типы Interval Day-Time

Пусть TD – это тип данных, к которому производится преобразование, а SD – тип данных операнда. Тогда допустимы следующие комбинации ("да" означает безусловную допустимость, "нет" – безусловную недопустимость и "?" – допустимость с оговорками).

SD TD
EN AN VC FC VB FB D T TS YM DT
EN Да Да Да Да Нет Нет Нет Нет Нет ? ?
AN Да Да Да Да Нет Нет Нет Нет Нет Нет Нет
C Да Да ? ? Да Да Да Да Да Да Да
B Нет Нет Да Да Да Да Нет Нет Нет Нет Нет
D Нет Нет Да Да Нет Нет Да Нет Да Нет Нет
T Нет Нет Да Да Нет Нет Нет Да Да Нет Нет
TS Нет Нет Да Да Нет Нет Да Да Да Нет Нет
YM ? Нет Да Да Нет Нет Нет Нет Нет Да Нет
DT ? Нет Да Да Нет Нет Нет Нет Нет Нет Да

По поводу ячеек таблицы, содержащих знак вопроса, необходимо сделать несколько оговорок:

  1. если TD – интервал и SD – тип точных чисел, то TD должен содержать единственное поле даты-времени;
  2. если TD – тип точных чисел и SD – интервал, то SD должен содержать единственное поле даты-времени;
  3. если SDтип символьных строк и TDтип символьных строк постоянной или переменной длины, то набор символов SD и TD должен быть одним и тем же.

Заключение

В этой лекции мы начали рассматривать средства языка SQL, позволяющие определять и динамически изменять схему базы данных. Наиболее важным для общего понимания языка является раздел "Типы данных SQL" – система типов языка SQL (и любой SQL -ориентированной базы данных). В последних стандартах языка SQL поддерживаются:

  • развитый набор предопределенных типов, включая ряд параметризованных типов;
  • генераторы типов массивов и мультимножеств, элементами которых могут быть значения предопределенных типов, типов коллекций, анонимных строчных типов строк и типов, определенных пользователями;
  • генератор анонимных строчных типов, в которых типом элемента строки может быть любой предопределенный тип, тип коллекции, анонимный строчный тип и тип, определенный пользователями;
  • определяемый пользователем структурный тип, в котором типом элемента структуры может быть любой предопределенный тип, тип коллекции, анонимный строчный тип и тип, определенный пользователями; для определяемых пользователем структурных и индивидуальных типов можно определять пользовательские операции.

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

Как должно быть ясно из этой лекции, механизм доменов в SQL играет вспомогательную роль. Это не совсем те (может быть, и совсем не те) домены, поддержка которых предполагается реляционной моделью. Фактически определение домена обеспечивает спецификацию ограничений и значений по умолчанию, выносимых за пределы определения столбца. В комитете по стандартизации SQL обсуждается идея полного отказа от поддержки механизма доменов и замены его на соответствующим образом адаптированный механизм индивидуальных типов (см. последнюю лекцию курса).

Лекция 1: 123456 || Лекция 2 >
Александра Каева
Александра Каева
Антон Честиков
Антон Честиков

Не вижу список тем из плана занятий. Проблема известна?

Марат Гаялиев
Марат Гаялиев
Россия, Республика Татарстан
Евгений Снегиренко
Евгений Снегиренко
Россия, г. Кемерово