Abstract:Structured Query Language (SQL) remains the standard language used in Relational Database Management Systems (RDBMSs) and has found applications in healthcare (patient registries), businesses (inventories, trend analysis), military, education, etc. Although SQL statements are English-like, the process of writing SQL queries is often problematic for nontechnical end-users in the industry. Similarly, formulating and comprehending written queries can be confusing, especially for undergraduate students. One of the pivotal reasons given for these difficulties lies with the simple syntax of SQL, which is often misleading and hard to understand. An ideal solution is to present these two audiences: undergraduate students and nontechnical end-users with learning and practice tools. These tools are mostly electronic and can be used to aid their understanding, as well as enable them to write correct SQL queries. This work proposes a new approach aimed at understanding and writing correct SQL queries using principles from Formal Language and Automata Theory. We present algorithms based on: regular expressions for the recognition of simple query constructs, context-free grammars for the recognition of nested queries, and a jumping finite automaton for the synthesis of SQL queries from natural language descriptions. As proof of concept, these algorithms were further implemented into interactive software tools aimed at improving SQL comprehension. Evaluation of these tools showed that the majority of participants agreed that the tools were intuitive and aided their understanding of SQL queries. These tools should, therefore, find applications in aiding SQL comprehension at higher learning institutions and assist in the writing of correct queries in data-centered industries.

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries

A Tutorial on Visual Representations of Relational Queries

On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages

Relational Playground: Teaching the Duality of Relational Algebra and SQL

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations

Comprehending Queries

Toward Conceptual Modeling for Propositional Logic: Propositions as Events

Relational Grammars: Theory and Practice in a Visual Language Interface for Process Modeling

Ontological Queries: Rewriting and Optimization (Extended Version)

Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

PhD thesis: SQL Comprehension and Synthesis

Query by Drawing Examples of UML Model

A Diagram Is Worth A Dozen Images

Query Structure Modeling for Inductive Logical Reasoning Over Knowledge Graphs

Prolog Visualization System Using Logichart Diagrams

Interactive Query Formulation using Point to Point Queries

Thirty-seven years of relational Hoare logic: remarks on its principles and history

Query Rewriting and Optimization for Ontological Databases

Modeling Relational Patterns for Logical Query Answering over Knowledge Graphs

Constructing an interactive natural language interface for relational databases

Relational Expressions for Data Transformation and Computation