Типы данных.
Типом называется некий предикат (математическая функция с одним аргументом возвращающее значение логического типа истина/ложь), который определен на множестве всевозможных значений. Значения удовлетворяют этому типу, если результат предиката - истина. Такие значения называются членами типа.
Объектным типом называется тип, членами которого являются объекты, удовлетворяющие данному типу.
Определены следующие основные (базовые) типы данных:
- 16 и 32 разрядные знаковые и беззнаковые целые типы;
- 32 и 64 разрядные типы с плавающей точкой в соответствии с IEEE;
- символьный тип в соответствии с ISO Latin-1 (8859.1);
- логический тип с множеством значений истина и ложь;
- 8 разрядный тип, который гарантированно не подвергается никаким изменениям при передаче между различными системами;
- перечислимые типы, состоящие из последовательности идентификаторов;
- строковый тип, состоящий из последовательности символов переменной длины, длина строки доступна во время выполнения программы;
- тип "any", который может принимать значения всех базовых и составных типов.
Также могут быть определены составные типы:
- структура, состоящая из упорядоченных пар (имя, значение);
- объединение, состоящее из дискриминатора и значения типа, связанного с дискриминатором;
- последовательность, которая является массивом переменной длины значений одного типа, длина последовательности доступна во время выполнения;
- массив фиксированной длины, элементами которого являются значения одного типа;
- тип интерфейс, который определяет множество операций, которое должен поддерживать экземпляр этого типа.
Параметры, представленные в запросе должны удовлетворять одному из перечисленных типов, за исключением типа интерфейс, как показано на рисунке 2-1.
Содержание Назад Вперед