Данный атрибут
Cтраница 4
Простейшим случаем использования ПЛ-программ в ISBL являются Кортежные процессоры, которые служат обобщенными операторами селекции. Если ответ положительный, то программа возвращает значение истина. LOWADDR к некоторому атрибуту в выражении языки ISBL таким образом, чтобы компонент, соответствующий данному атрибуту в каждом кортеже, передавался программе, и этот кортеж селектировался бы, если LOWADDR возвратит значение истина. Синтаксис ISBL предусматривает возможность использования оператора соединения для такой обобщенной селекции. [46]
 |
Организация моделей правил. [47] |
Третья и четвертая части модели предназначены для того, чтобы связать данную модель с другими более общими и более специфическими. Множество моделей организовано в некоторое число древовидных структур. Ниже корня на втором ярусе располагаются две модели, одна из которых включает все правила, подтверждающие данный атрибут, а другая - все правила, отрицающие его. Ниже второго яруса ( на третьем ярусе) размещаются модели, соответствующие правилам, которые подтверждают или отрицают специфическое значение данного атрибута. [48]
В некоторых случаях программисту необходимо в одной программе объявить две или более структур, имеющих не только одинаковое строение, но и одинаковые имена ее элементов. Для этого он может воспользоваться атрибутом LIKE, который указывает, что объявленная структура имеет одинаковое строение с той, имя которой стоит за данным атрибутом. При этом имя указанной в атрибуте LIKE структуры должно быть определено в том блоке, где используется данный атрибут. [49]
Правила в системе TEIRESIAS разбиты на непересекающиеся классы. Каждый класс соответствует определенному атрибуту и содержит все правила, которые делают заключение о данном атрибуте. Кроме того, каждому атрибуту соответствует множество метаправил, которые выполняют преобразования над списком правил, входящих в класс, соответствующий данному атрибуту. [50]
Атрибут Архивный в прошлом использовался для работы программ резервного копирования. Предполагалось, что любая программа, изменяющая файл, должна автоматически устанавливать этот атрибут, а средство резервного копирования должно его сбрасывать. Таким образом, очередному резервному копированию подлежали только те файлы, у которых этот атрибут был установлен. Современные программы резервного копирования используют другие средства для установления факта изменения файла, и данный атрибут во внимание не принимается, а его изменение вручную средствами операционной системы не имеет практического значения. [51]
Третья и четвертая части модели предназначены для того, чтобы связать данную модель с другими более общими и более специфическими. Множество моделей организовано в некоторое число древовидных структур. Ниже корня на втором ярусе располагаются две модели, одна из которых включает все правила, подтверждающие данный атрибут, а другая - все правила, отрицающие его. Ниже второго яруса ( на третьем ярусе) размещаются модели, соответствующие правилам, которые подтверждают или отрицают специфическое значение данного атрибута. [52]
Страницы: 1 2 3 4