Оценочная оптимизация для магии алгебра и реализация

Оценочная оптимизация для магии: алгебра и реализация
Аннотация
Введение
Мотивация
Альтернативы перезаписи

Оценочное решение
Магические множества и оптимизация соединений
Букварь по оптимизации соединений
Упорядочение соединений и SIPS
Перезапись на основе магических множеств как метод соединения


Определение 3.1 (R Filter-Join S)
Ограничение пространства поиска

Предположение 1:
Оценка стоимости и мощности
Оценивание FilterCostRk
Пространственная сложность оптимизации
Как исчезает сложность?
Реализация в DB2 C/S V2
Осуществимость
Эффективность
Практический опыт

Оценочная оптимизация для магии: алгебра и реализация
Измерение производительности
Экспериментальная методология
Сравниваемые алгоритмы
Общие результаты
Фиксированные варианты SIPS
Результаты времени компиляции
Вариации экспериментов
Оценочная оптимизация для магии: алгебра и реализация
Алгебра ?-полусоединений

Нотация
Определение 7.1 (Мультимножественное
Правила преобразований для ?-полусоединения
Проталкивание
Упрощение:
Устранение
Оценочная модель для ?-полусоединения
Применение правил эквивалентности ?-полусоединения

Оценочная оптимизация для магии: алгебра и реализация
?-полусоединения и ограничительная магическая перезапись
Шаг CM-преобразования с использованием
Шаг CMT и CM-перезапись:
CM-преобразование SQL-блока с использованием
CM-преобразование SQL-запросов с представлениями:
Обсуждение
Родственные работы
Заключение
Acknowledgements

References

---

---