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 …
This handbook provides an up-to-date compendium of fundamental computer science topics, techniques, and applications. Along with updating and revising many of the existing …
Deciding query equivalence is an important problem in data management with many practical applications. Solving the problem, however, is not an easy task. While there has …
Every database system contains a query optimizer that performs query rewrites. Unfortunately, developing query optimizers remains a highly challenging task. Part of the …
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 …
TJ Green - Proceedings of the 12th international conference on …, 2009 - dl.acm.org
We study containment and equivalence of (unions of) conjunctive queries on relations annotated with elements of a commutative semiring. Such relations and the semantics of …
H Ding, Z Wang, Y Yang, D Zhang, Z Xu… - Proceedings of the …, 2023 - dl.acm.org
Proving the equivalence between SQL queries is a fundamental problem in database research. Existing solvers model queries using algebraic representations and convert such …
L Libkin - Proceedings of the twenty-fifth ACM SIGMOD-SIGACT …, 2006 - dl.acm.org
Data exchange is the problem of finding an instance of a target schema, given an instance of a source schema and a specification of the relationship between the source and the target …