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 | |
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 |
|
Internet | Authorized users SPbPU |
|
Internet | Anonymous |
|
Access count: 47
Last 30 days: 0