Изменения
→Семантическая оптимизация
**Неэквивалентные запросы
**Тот же результат
В частности , если, если нас просят спроецировать на имя студентов естественное соединение студентов и групп и мы знаем, что в Students GroupId является внешним ключом, то мы можем сделать вывод, что это просто проецирование на имя таблички студентов.
*Пример
**$π_{FirstName}(Students ⋈ Groups) ⇒ π_{FirstName}(Students)$, если $Students.GId ⊂ Groups.GId$
