Cтраница 1
Адаплекс предполагает компиляционную схему работы с базой данных. Это означает, что все подпрограммы модуля компилируются в соответствии с заданной схемой базы данных и затем используются прикладными программами в готовом виде. Точно так же и сами прикладные программы, содержащие операции над сущностями, компилируются согласно спецификации модуля базы данных и затем исполняются произвольное число раз в неизменном виде. В то же время база данных может периодически требовать реорганизации с целью отражения изменений, происходящих в предметной области. В таком случает текст модуля должен быть модифицирован и перекомпилирован. [1]
Язык Адаплекс представляет собой универсальный язык программирования баз данных. Он является результатом усиления языка программирования Ада подъязыком баз данных Датаплекс. [2]
Язык Адаплекс находится в процессе реализации. Этот проект использует способность функциональной модели отображать одно и то же абстрактное определение данных на кодасиловские и реляционные базы данных. [3]
В Адаплексе по отношению к сущностям этот факт выражен в явном виде. [4]
Даплекс, и Адаплекс используют понятие подтипа, введенное в гл. Здесь подразумевается, что некоторые объекты могут играть роли других объектов, и в этом случае для таких объектов определяются дополнительные функции. Например, все личности имеют имя и адрес, так как они являются личностями. Некоторые личности, которые являются студентами, имеют кураторов и изучают дисциплины. [5]
Пустое множество обозначается в Адаплексе литералом empty. Операция insert вставляет элемент в множество. Как и предыдущая, эта операция также не имеет в языке явного обозначения. [6]
Выражения Ады расширены в Адаплексе таким образом, чтобы они могли быть использованы для построения критериев отбора сущностей в базе данных. [7]
Задачу сохранения целостности базы данных Адаплекс возлагает на модуль базы данных, а не на прикладные программы. Основной угрозой целостности считаются ошибочные модификации данных прикладными программами и взаимные помехи между параллельно выполняющимися программами. Для обнаружения ошибочных модификаций в Адаплексе служат декларации целостности, специфицирующие некоторый инвариант базы данных, а взаимное вмешательство программ предотвращается путем заключения операций с базой данных в так называемые атомарные операторы ( некоторый аналог транзакций Тексиса - разд. [8]
Явление, противоположное встретившемуся в Адаплексе: там явное описание типа сущности приводит к образованию неявной переменной, здесь наоборот - явное описание переменной класса приводит к образованию неявцого типа класса. [9]
Точно так же как в Адаплексе существует понятие атомарного оператора, в Галилео есть понятие транзакции. Это означает по отношению к базе данных, что если транзакция заканчивается нормальным образом, то все совершенные ею модификации базы данных приобретают силу, в противном случае база данных остается незатронутой транзакцией. Снова, как и в Адаплексе, если не поставлено специальных скобок, каждое выражение верхнего уровня считается отдельной транзакцией. Если же необходимо объединить в транзакцию несколько выражений, они заключаются в скобки transaction и end transaction. Поскольку каждая доступная пользователю операция может быть употреблена как простая транзакция, администратор базы данных при построении ее схемы, по существу, конструирует транзакции. Таким образом, действие, кажущееся атомарным на верхнем уровне, может быть разложено на составляющие поддействия, осуществляющие, например, пошаговое обновление базы данных. Аварийное окончание внутренней транзакции может быть замечено, в результате чего может быть запущена альтернативная транзакция для получения желаемого результата. В качестве примера может служить заказ билета в системе резервирования авиабилетов. Если на заказанный рейс билетов нет, может быть сделана попытка заказать билет на другой рейс или даже на другое число. Все эти действия могут рассматриваться как альтернативные внутренние транзакции, и тогда внешняя транзакция может считаться не исполнившейся, если только не исполнились все ее внутренние транзакции. [10]
Это ограничение обратно декларации overlap в системе Адаплекс. [11]
Организация работы с базой данных во многом роднит Адаплекс с Боязом. [12]
Однако выше, при рассмотрении таких языков, как Тексис, Адаплекс и Галилео, отмечалось сходство основных парадигм семантических моделей этих и объектно-ориентированных языков. [13]
Возвращаясь к терминологии объектно-ориентированных языков, можно сказать, что в Адаплексе реализованы некоторые черты механизма кратного наследования ( см. разд. Это означает, что каждый объект включаемого типа приобретает все характеристики ( в данном случае - все функции доступа) каждого из супертипов. [14]
Множество созданных сущностей данного типа является его экстентом. По идеологии Адаплекса между типами сущностей можно устанавливать отношения таким образом, что их экстенты могут перекрываться. [15]