SQL Synthesis with Input-Output Example Based on Deep Learning

In recent years, an increasing number of people rely on data manipulation tasks to complete their work. However, many of these users lack programming background and find it challenging to write complex programs, especially SQL. As a result, the automatic synthesis of SQL has become a hot research to...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of ... International Joint Conference on Neural Networks pp. 1 - 8
Main Authors: Zhang, Shun, Dou, Quansheng, Tang, Huanling, Pan, Hao, Wang, Huixian
Format: Conference Proceeding
Language:English
Published: IEEE 18.06.2023
Subjects:
Artificial neural networks
Deep learning
Program Synthesis
Query Reverse Engineering
Reverse engineering
Search problems
Solids
SQL
Synthesizers
Training
ISSN:2161-4407
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In recent years, an increasing number of people rely on data manipulation tasks to complete their work. However, many of these users lack programming background and find it challenging to write complex programs, especially SQL. As a result, the automatic synthesis of SQL has become a hot research topic. This process, called Query Reverse Engineering (QRE), involves automatically synthesizing SQL based on input-output tables provided by users. While most SQL synthesizers focus on structures that do not use deep learning, we propose a new SQL synthesis method that lever-ages the superiority of deep learning. Our method uses a deep neural network (DNN) to predict the correlation between the input-output table and DSL operators, eliminate irrelevant operators, and improve the efficiency of SQL synthesis. We have implemented the SQL synthesis system, Solid, based on this method. The system introduces the Deep Neural Network (DNN) based on SQUARES, one of the best query synthesizers. To verify the effectiveness of our proposed method, we conducted experiments using a simple neural network structure. The results show that our method outperforms SQUARES, with an increased success rate of stereo synthesis from 80% to 89.1%, and a reduced average synthesis time from 251s to 130s.
ISSN:2161-4407
DOI:10.1109/IJCNN54540.2023.10191168