Details

Title Исследование и разработка системы автоматизированной проверки эквивалентности SQL-запросов: выпускная квалификационная работа бакалавра: направление 02.03.03 «Математическое обеспечение и администрирование информационных систем» ; образовательная программа 02.03.03_01 «Информационные системы и базы данных»
Creators Репин Эльман Александрович
Scientific adviser Андрианова Екатерина Евгеньевна
Other creators Пархоменко Владимир Андреевич; Сабинин Олег Юрьевич
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint Санкт-Петербург, 2021
Collection Выпускные квалификационные работы; Общая коллекция
Subjects базы данных; SQL; эквивалентность запросов; нормализация; выполнимость формул в теориях; databases; query equivalence; normalization; satisfiability modulo theories
Document type Bachelor graduation qualification work
File type PDF
Language Russian
Level of education Bachelor
Speciality code (FGOS) 02.03.03
Speciality group (FGOS) 020000 - Компьютерные и информационные науки
Links Отзыв руководителя; Отчет о проверке на объем и корректность внешних заимствований
DOI 10.18720/SPBPU/3/2021/vr/vr21-1783
Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key ru\spstu\vkr\14133
Record create date 9/7/2021

Allowed Actions

Action 'Read' will be available if you login or access site from another network

Action 'Download' will be available if you login or access site from another network

Group Anonymous
Network Internet

Данная работа полностью посвящена задаче проверки эквивалентности 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.

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet Authorized users SPbPU
Read Print Download
Internet Anonymous

Access count: 47 
Last 30 days: 0

Detailed usage statistics