Логический фрагмент
Cтраница 1
 |
Логический фрагмент и эквивалентная формула.| Пример пустого ( а. [1] |
Логический фрагмент Ф называется свободным, если всякий конечный путь от начала в Ф задается некоторым распределением значений истинности переменных из X. В примере на рис. 8.12 фрагмент S2 свободен a Si - нет. Фрагмент пуст, если при любом / путь w, бесконечен. [2]
По заданному свободному логическому фрагменту, к каждой вершине которого ведет не более одной стрелки, построить эквивалентный упорядоченный фрагмент. [3]
Пусть задан логический фрагмент Ф, в котором нет циклов. Пару вершин а, Ъ в Ф назовем близнецами, если их пометки совпадают и ( в случае, когда а и 6 - невисячие вершины, a a, а - и &, Ь - - вершины, к которым ведут плюс - и минус-стрелки от а и Ь соответственно) вершины а, а -, а также &, Ь - - близнецы. Определить, есть ли в Ф хотя бы одна пара близнецов. [4]
Вершину а в логическом фрагменте Ф назовем несущественной, если существует вершина Ь, отличная от а, к которой ведут обе стрелки, выходящие из а. Если такую вершину удалить из Ф, направляя все стрелки, которые вели к ней в Ф, к вершине Ь, то получим новый логический фрагмент, эквивалентный исходному. [5]
Тотальный логический фрагмент преобразовать в свободный логический фрагмент, к каждой вершине которого ведет не более одной дуги. [6]
 |
Логический фрагмент и эквивалентная формула.| Пример пустого ( а. [7] |
На рис. 8.13 приведены примеры пустого и тотального логических фрагментов. [8]
Каждое отношение базы данных с помощью вертикального и горизонтального разбиений расчленяется на фрагменты, называемые логическими фрагментами. Каждый логический фрагмент может храниться на одном или нескольких участках системы. Хранимая копия логического фрагмента называется хранимым сегментом. [9]
По заданному логическому фрагменту, к каждой вершине которого ведет не более одной дуги, построить эквивалентный свободный логический фрагмент. [10]
 |
Примеры логических фрагментов. [11] |
Два логических фрагмента эквивалентны, если при любом распределении / пути w / и Wj в первом и во втором логических фрагментах либо одновременно бесконечны, либо кончаются висячими вершинами с одинаковыми пометками. Например, логические фрагменты Si и S2 на рис. 8.12 эквивалентны. [12]
Каждое отношение базы данных с помощью вертикального и горизонтального разбиений расчленяется на фрагменты, называемые логическими фрагментами. Каждый логический фрагмент может храниться на одном или нескольких участках системы. Хранимая копия логического фрагмента называется хранимым сегментом. [13]
Два логических фрагмента эквивалентны, если при любом распределении / пути w / и Wj в первом и во втором логических фрагментах либо одновременно бесконечны, либо кончаются висячими вершинами с одинаковыми пометками. Например, логические фрагменты Si и S2 на рис. 8.12 эквивалентны. [14]
Вершину а в логическом фрагменте Ф назовем несущественной, если существует вершина Ь, отличная от а, к которой ведут обе стрелки, выходящие из а. Если такую вершину удалить из Ф, направляя все стрелки, которые вели к ней в Ф, к вершине Ь, то получим новый логический фрагмент, эквивалентный исходному. [15]
Страницы: 1 2