Изменения
→Рекурсивные запросы
==Рекурсивные запросы==
Синтаксис Datalog позволяет написать рекурсивный запрос, но может быть не очевидно, какой смысл придавать такой конструкции.
Далее будет рассмотрен пример и приведены некоторые рассуждения о семантике рекурсивных запросов.
===Смысл===
Пусть есть некоторое отношение "потомок-родитель"
Пусть $P$ - множество всех людей, у которых есть хотя бы один родитель.
Очевидно, что $P \times P$ есть неподвижная точка, то есть правая часть отношения совпадает с левой, но найденное отношение не является транзитивным замыканиемисходного.
Поэтому, следует уточнить, что мы ищем '''минимальную по включению неподвижную точку''', начиная с пустого множества.
===Алгоритм поиска минимальной неподвижной точки===
