Данная работа полностью посвящена задаче проверки эквивалентности SQL– запросов. Целью работы является разработка программной системы, позволяющей проверять эквивалентность SELECT-запросов, содержащих различные элементы и конструкции языка SQL, свойственные применению SQL в промышленной практике. Вклад в структуризацию информации о современном состоянии проблемы вносит обзор и сравнительный анализ современных решений. В рамках предлагаемого подхода описываются новые способы преобразования деревьев запросов, используемые для их нормализации. Кроме того, отличие от аналогов заключается в использовании в рамках системы планировщика СУБД PostgreSQL. Методика тестирования системы заключается в использовании того же тестового набора, что использовался при тестировании современных решений. В конечном итоге разработанная система проверки по основному критерию, числу поддерживаемых запросов, показала сравнимые с аналогами результаты, что говорит о применимости предложенного подхода. Результаты работы могут быть применены для оптимизации производительности в сфере больших данных, а также для помощи разработчикам и администраторам баз данных.

This research work is fully devoted to the problem of verifying the equivalence of SQL queries. The purpose of this work is to develop a software that allows you to check the equivalence of SELECT-queries containing various elements of SQL language, inherent to the use of SQL in industrial practice. A review and comparative analysis of recent solutions contributes to the structuring of information on the current state of the problem. The proposed approach describes new ways to transform query trees used for their normalization. Another distinctive feature is the use of PostgreSQL DBMS planner. The methodology for testing the system is to use the same test suite that was used to test recent solutions. Eventually, the developed verification system showed comparable results with the analogues, which proves the applicability of the proposed approach. The results of the work may be applied to optimize performance in the field of big data, as well as to help database developers and administrators.

• Исследование и разработка системы автоматизированной проверки эквивалентности SQL-запросов
  • Введение
  • 1. Обзор предметной области
  • 2. Архитектура системы и используемые алгоритмы
  • 3. Реализация системы проверки эквивалентности
  • 4. Тестирование системы проверки эквивалентности
  • Заключение
  • Список сокращений и условных обозначений
  • Список использованных источников
  • Приложение 1. Исходный код системы проверки
  • Приложение 2. Тестовый набор оптимизатора запросов Apache Calcite