100
правок
Изменения
→Зачем?
* Эквивалентность выражений алгоритмически неразрешима
===Зачем?Применимость===* Внутри БД для оптимизации упрощения запроса и оптимизации плана выполнения* Для запросов, невыразимых в SQL непосредственно(таких как деление и полусоединения)
==Реляционная алгебра и SQL==
