Данная работа посвящена задаче проверки правильности запросов на языке PgSQL. Целью работы является создание прототипа системы, способной эффективно анализировать правильность и оптимальность запросов на языке pgSQL, повышая тем самым качество обучения. В результате исследования данной темы были изучены особенности языка PgSQL, был разработан прототип автоматизированной системы проверки правильности написания запросов на языке PgSQL. Более того, были рассмотрены методы проверки правильности запросов и создан собственный алгоритм, учитывающий недостатки предыдущих альтернативных алгоритмов и позволяющий осуществить проверку SQL-запросов на правильность.

This work is devoted to the task of verifying the correctness of queries in the PgSQL language. The aim of the work is to create a prototype system capable of effectively analyzing the correctness and optimality of queries in the pgSQL language, thereby improving the quality of learning. As a result of the research on this topic, the features of the PgSQL language were studied, and a prototype of an automated system for verifying the correctness of writing queries in the PgSQL language was developed. Moreover, methods for verifying the correctness of queries were considered and a proprietary algorithm was created that takes into account the shortcomings of previous alternative algorithms and allows for checking SQL queries for correctness.