Пояснения
Слайд 20. Тип данных
Пояснения
Слайд 19. Логический литерал
Логический литерал предназначен для представления встроенных в EXPRESS констант TRUE (истина), FALSE (ложь) и UNKNOWN (неопределенность).
Сущность выражает множество объектов реального мира, имеющих общие характеристики (например, геометрические точки). Атрибут сущности выражает некоторую конкретную характеристику, объединяющую объекты в множество (например, координату точки). Для отдельного объекта из множества эта характеристика может быть измерена и ей может быть присвоено некоторое значение (например, число, выражающее координату точки). Таким образом, атрибуту экземпляра сущности также может быть поставлено в соответствие некоторое значение. Но обычно характеристика может принимать не любое произвольное значение, а значение из некоторой области допустимых значений, ведь, например, координаты точки принято измерять числами, а не строковыми литералами. Следовательно, для каждого атрибута сущности необходимо указывать область его допустимых значений. Именно для этих целей в языке EXPRESS используются типы данных.
Тип данных представляет собой область значений, т.е. область, содержащую значения. Значит, если атрибуту сущности поставлен в соответствие некоторый тип данных, то в экземпляре этой сущности значением этого атрибута может быть только значение, входящее в область значений типа данных. Основным предназначением типа данных, как уже говорилось, является задание области допустимых значений атрибута сущности.
Всего в EXPRESS существует пять категорий типов данных:
· Простые;
· Агрегированные;
· Поименованные;
· Составные;
· Обобщенные.
Первые четыре категории будут рассмотрены более подробно.