The first step towards an autonomous database management system (DBMS) is the ability to
model the target application's workload. This is necessary to allow the system to anticipate …

Deciding the equivalence of SQL queries is a fundamental problem in data management. As
prior work has mainly focused on studying the theoretical limitations of the problem, very few …

Database-as-a-service offerings enable users to quickly create and deploy complex data
processing pipelines. In practice, these pipelines often exhibit significant overlap of …

Proving the equivalence between SQL queries is a fundamental problem in database
research. Existing solvers model queries using algebraic representations and convert such …

Predicate pushdown is a widely adopted query optimization. Existing systems and prior work
mostly use pattern-matching rules to decide when a predicate can be pushed through …

Humans reason about the world around them by seeking to understand why and how
something occurs. The same principle extends to the technology that so many of human …

Procedural extensions of SQL have been in existence for many decades now. However, little
is known about their magnitude of usage and their complexity in real-world workloads …

The task of generating SQL queries from natural language questions has long been a
challenge for researchers, particularly in the context of teaching and tutoring database …

Checking query equivalence is of great significance in database systems. Prior work in
automated query equivalence checking sets the first steps in formally modeling and …

A simple way to assess the correctness of a student's SQL query is to compare results with a
correct query for equality. Technically, the two queries will produce identical responses only …