ПОИСК Статьи Чертежи Таблицы Формальное описание синтаксиса языка описания данных из "Теоретические основы построения базовых адаптируемых компонентов САПР МЭА " Опишем синтаксис используемого языка описания данных . помощью метаязыка [107]. [c.192] Язык описания данных. [c.192] Формальное описание языка используется при построении языка пользователя. С помощью абстрактного языка можно описать семантику языка манипулирования данными, от которой легко перейти к программной реализации. [c.193] Отношения записаны в упрощенной нотации опущено описание диниц измерения опущено описание доменов, несущественных для этого примера. Связи между отношением пленочный резистор и - материал , дискретный резистор и размеры резистора , модель резистора и отношениями дискретный резистор и пленочный резистор являются ассоциативными. [c.195] В соответствии с аксиомой синхронного нуля хотя бы одно ключевое поле в отношении должно быть определено. [c.195] Фрагмент базы данных, сформированной по указанной реляционной схеме, приведен на рис. 5.3. Штрихованными линиями обозначены ассоциативные связи, формируемые автоматически. [c.195] Отношение Резистор является примером аксиомы обобщения. [c.195] База данных обеспечивает индексный доступ к аспектам неключевых доменов, заданных отношений и ассоциативный доступ к кортежам отношения по заданному значению ключевого ас-пекта. [c.195] Можно считать, что существует функция доступа GET, определенная на множестве X -й асс множество ключей — индексов доменов, асс — множество ассоциативных ключей. [c.195] Здесь обозначает множество номеров кортежей, имеющих заданное значение аспекта. [c.195] Если Mq не является именем отношения, определенного в базе данных, то принимает значение JL. [c.197] С помощью этих функций можно определить множество истинности любого терма, записанного на языке Lq . [c.197] Введем в рассмотрение функции Соп и Dis, находящие объединение и пересечение соответственно. [c.197] Любую формулу на языке исчисления предикатов можно представить в виде композиций определенных выше примитивных функций. [c.197] Для схемы, описанной на рис. 5.3, приведем представление запроса в виде композиции функций. [c.197] Пусть текст исходного запроса имеет вид НАЙТИ РЕЗИСТОР МОЩНОСТЬЮ 1 ВТ И НОМИНАЛОМ 1 КОМ И НОМИНАЛОМ 12 КОМ И ДОПУСКОМ 10 % . [c.197] Найдем выражение для E(T ) — E(T ). [c.197] Здесь 0 обозначает пустое значение множества. [c.198] Таким образом, множество истинности для формулы R может быть реализовано процедурно. По опред слению языка формулы всех запросов содержат только операции сравнения и операции над множествами истинности термов. Поэтому ответ на любой запрос, допустимый на языке Lq , может быть выражен с помощью [определенных выше примитивных функций. [c.198] Вернуться к основной статье