45
правок
Изменения
→Обработка условий
*Примеры правил
**$a = b ∧ b = c ⇒ a = b ∧ b = c ∧ a = c$
**$a > b ∧ b = c ⇒ a > b ∧ b = c ∧ a > c$
**$a > b ∧ b > c ⇒ a > b ∧ b > c ∧ a > c$
*Пример
**$σ_{P_1.p > P_2.p ∧ P_2.p ≥ 60}(P_1 ⋈_{P_1.SId = P_2.SId} P_2) ⇒$
**$σ_{P_1.p > P_2.p ∧ P_2.p ≥ 60 ∧ P_1.p > 60}(P_1 ⋈_{P_1.SId = P_2.SId} P_2) ⇒$
**$σ_{P_1.p > P_2.p}(σ_{p > 60}(P_1) ⋈_{P_1.SId = P_2.SId} σ_{p ≥ 60}(P_2))$
КНФ и ДНФ
*Преобразование предикатов **Конъюнктивная нормальная форма **Дизъюнктивная нормальная форма Вычисление КНФ Слева направо, до первой лжи Вычисление ДНФ
*Вычисление КНФ**Слева направо, до первой лжи*Вычисление ДНФ**Слева направо, до первой истины
=== Семантические оптимизации ===
