Слайд 21. Тип данных и сущность
Пояснения
И тип данных, и сущность задают некоторые множества элементов. Основным отличием типа от сущности является то, что сущность представляет существенное для моделируемой предметной области понятие, а тип данных является лишь вспомогательным средством для задания сущностей. С другой стороны, т.к. сущность также задает множество элементов, то она тоже может быть использована для задания области допустимых значений атрибута некоторой сущности и, следовательно, может выступать в качестве типа данных. Например, сущность «Line», выражающая отрезок, имеет атрибуты «start» (начало отрезка) и «end» (конец отрезка), область значений которых представлена другой сущностью «Point», выражающей геометрическую точку. Таким образом, при определении в информационной модели некоторой сущности (объявлении сущности), одновременно автоматически определяется и соответствующий тип данных, который может быть использован для представления атрибутов сущностей информационной модели.
По аналогии с экземпляром сущности, экземпляром типа данных является значение, входящее в область значений типа данных. В языке EXPRESS существует литерал, входящий в область значений любого типа данных. Этот литерал выражает отсутствие достаточной информации, обозначается символом «?» и называется неопределенным значением.
Слайд 22. Простой тип
Пояснения
Простой тип представляет собой встроенный тип данных языка EXPRESS, элементами области значений которого являются литералы. Употребление слова «встроенный» означает, что понятие простого типа данных встроено в язык (как и понятие сущности) и может быть использовано без предварительного объявления. Тип называется простым, т.к. его элементы (литералы) не могут быть разложены на более мелкие элементы, имеющие смысл в языке (они могут быть разложены только на символы из алфавита языка). В языке EXPRESS существует семь простых типов данных:
Числовой;
Вещественный;
Целочисленный;
Логический;
Булевский;
Строковый;
Двоичный.
Слайд 23. Числовой тип (NUMBER)
Пояснения
Область значений числового типа NUMBER – все числа, т.е. все числовые литералы, включающие вещественные и целочисленные.
Слайд 24. Вещественный тип (REAL)
Пояснения
Область значений вещественного типа – все вещественные (нецелые) числа (вещественные литералы). Вещественный тип без ограничения на точность объявляется ключевым словом REAL. Точность вещественного числа определяется количеством значащих цифр в мантиссе. При объявлении типа с ограничением на точность, соответствующее значение точности указывается после ключевого слова в круглых скобках. В общем случае значение точности вещественного числа записывается как числовое выражение, результат которого – целое положительное число.
Слайд 25. Целочисленный тип (INTEGER)
Пояснения
Целочисленный тип INTEGER. Область значений – все целые числа (целочисленные литералы).
Слайд 26. Логический тип (LOGICAL)
Пояснения
Область значений логического типа LOGICAL – логические литералы TRUE, FALSE и UNKNOWN. Старшинство значений логических литералов принято в соответствии с неравенством: FALSE < UNKNOWN< TRUE.
Слайд 27. Булевский тип (BOOLEAN)
Пояснения
Булевский тип BOOLEAN. Область значений – логические литералы TRUE и FALSE. Старшинство значений логических литералов принято в соответствии с неравенством: FALSE < TRUE.
Слайд 28. Строковый тип (STRING)
Пояснения
Область значений строкового типа – последовательности символов (строковые литералы). Строковый тип без ограничений на длину последовательности символов объявляется ключевым словом STRING. Если последовательность символов имеет ограниченную длину (например, не более 10-ти символов), соответствующее значение длины указывается после ключевого слова в круглых скобках. В общем случае значение длины строки записывается как числовое выражение, результат которого – целое положительное число. Как частный случай в качестве выражения может выступать само число (например, число 10). Если последовательность символов имеет фиксированную длину, то после объявления типа должно присутствовать ключевое слово FIXED.