Граф - зависимость
Cтраница 1
Увеличенный расширенный граф зависимостей УРГЗ ( Р) LDL-программы Р получается из РГЗ ( Р) следующим образом: каждая дуга р, q РГЗ ( Р) помечена знаком тогда и только тогда, когда в Р существует правило, предикатным символом головного предиката которого есть р, в голове имеется конструкция вида Х и q входит в тело этого правила. [1]
 |
Граф зависимостей для системы из примера 8. Зб. [2] |
Говорят, что Р рекурсивна, если ее граф зависимостей содержит по меньшей мере один цикл. [3]
Предикаты объединены в сильно связанные компоненты в соответствии с графом зависимостей. [4]
 |
Графы зависимостей для рекурсивных программ. [5] |
Говорят, что р является рекурсивным, если соответствующая вершина графа зависимостей программы Р входит в цикл. [6]
Система является редуцируемой подстановкой тогда и только тогда, когда ее граф зависимостей редуцируем подстановкой. Задача поиска правильной последовательности подстановок ( если такая существует) при решении системы уравнений сводится к задаче теории графов. Существует несколько достаточных условий, которые гарантируют редуцируемость графа. [7]
К числу наиболее удачных попыток формализации постановки задачи распределения ресурсов следует отнести разработанную в Институте проблем управления АН СССР сетевую модель комплекса операций, которая включала граф технологических зависимостей операции, совмещенной с графом перемещений ресурсов. [8]
При оптимизации запроса каждый сильно связанный компонент рассматривается изолированно. Порядок вычислений определяется графом зависимостей сильно связанных компонент. Вычисления выполняются с помощью процедуры запрос-подзапрос: если данный сильно связанный компонент содержит вычисляемый предикат, определенный в нижестоящем сильно связанном компоненте, то вычисление самого верхнего сильно связанного компонента приостанавливается и запускается вычисление нижестоящего. [9]
Выполнимость Т - зависимости на отношении можно выразить в терминах пс - гомоморфизмов между их графами. В следующей теореме GT - означает граф зависимости GT после удаления вершины и всех связанных с ней ребер. [10]
Любой предикат из каждой группы взаимно рекурсивных предикатов рассматривается отдельно. Эти группы образуют сильно связанные компоненты графа зависимостей, описанного в гл. С точки зрения пользователя система генерирует размеченную цель, состоящую из имени предиката цели со строкой верхних индексов. Буквы Ь и f верхних индексов указывают, связан ли данный аргумент или свободен соответственно. [11]
Страницы: 1