Cтраница 4
В графовых моделях данных отображения между типами представляются дугами. Дуги обычно сопровождаются метками, указывающими тип связи и его значение. На рис. 3.4.8 приведены интенсиональные характеристики и расширение ( М: Л /) - типа связи ПРОФКОНТИНГЕНТ. Реализации связанных типов сущностей СЛУЖАЩИЙ и ПРОФЕССИЯ показаны как вершины графа, идентифицированные значениями ключевых атрибутов, а экземпляры связи - как дуги. [46]
В RM / T выделяются различные категории отношений. Категории различаются зависимостью по существо-анию. Если реализация типа сущности может существовать не удучи связанной с какими-либо другими сущностями, то тип ущности называется стержневым ( kernel) типом сущности. Если реализация типа связи может существовать не зависимости от того, присутствуют соответствующие реализа-ии типов сущностей или нет, то такой тип носит название типа ас-оциативной сущности. В противном случае тип называется не-ущностной ассоциацией. Оба типа связи могут иметь атрибуты, днако типы характеристической сущности не могут выступать качестве атрибутов несущностной ассоциации. Стержневые, ха-актеристические и ассоциативные типы сущностей могут иметь одтипы. [47]
Первый вопрос, на который необходимо ответить, обсуждая эквивалентность типов - в каких случаях можно сравнивать два типовых значения. Чтобы ответить на вопрос, необходимо вспомнить, как образуются типовые значения. По общему определению функции две аппликации функции к своим аргументам вырабатывают один и тот же результат, если эти аргументы эквивалентны. Следовательно, чтобы установить эквивалентность двух типовых значений, необходимо установить эквивалентность двух пар спецификация типа, реализация типа. Поскольку реализация типа содержит в своем составе данные таких типов, как функции, необходимо уметь сравнивать между собой функции как значения. [48]
Первый вопрос, на который необходимо ответить, обсуждая эквивалентность типов - в каких случаях можно сравнивать два типовых значения. Чтобы ответить на вопрос, необходимо вспомнить, как образуются типовые значения. По общему определению функции две аппликации функции к своим аргументам вырабатывают один и тот же результат, если эти аргументы эквивалентны. Следовательно, чтобы установить эквивалентность двух типовых значений, необходимо установить эквивалентность двух пар спецификация типа, реализация типа. Поскольку реализация типа содержит в своем составе данные таких типов, как функции, необходимо уметь сравнивать между собой функции как значения. [49]
Расширение структурной диаграммы состоит из реализаций типов записей и типов наборов. В отличие от реляционной модели данных, где таблицам соответствовали множества, таблицы в сетевой модели данных РГБД КОДАСИЛ рассматриваются как расширенные множества. Это означает, что допускаются дубликаты строк и строки могут быть упорядочены. Каждая строка в таблице называется записью и соответствует реализации типа записи. [50]
Поскольку множество объектов любого типа определяется множеством его операций, то и множество типов данных должно определяться операциями типа данных тип. Исходными данными для этих операций являются стандартные типы данных, определяемые как константы типа тип. Именно набор этих констант определяет мощность языка программирования в части конструирования нужных пользователю типов данных. При достаточно широком наборе стандартных типов любой произвольный тип может быть получен посредством упомянутой операции конструирования типов. Другими операциями этого типа являются операции выделения спецификации и реализации типа ( возможно, для их использования при конструировании новых типов данных) и операция взятия операции типа данных, например, для ее исполнения. [51]
Чтобы создать тип данных, необходимо, согласно определению, построить спецификацию и связать с ней подходящую реализацию. При этом, естественно, необходимо убедиться, что предложенная реализация удовлетворяет данной спецификации. Процесс ручной проверки принято называть тестированием. В этом случае путем прогонки необходимого количества тестов программист убеждается, что в предложенной реализации выполняются все аксиомы данной спецификации. Вполне естественно, что при этом совсем не обязательно аксиомы спецификации формировать на некотором формальном языке. Примеры тому - описания языков программирования, в которых аксиомы ( семантика языка) излагаются неформально на естественном языке. В атом случае человека заменяет автомат - программа-верификатор, который, воспринимая в качестве аргументов спецификацию и реализацию типа данных, проверяет выполнение аксиом в данной реализации. [52]