Robust face recognition via sparse representation

J Wright, AY Yang, A Ganesh… - IEEE transactions on …, 2008 - ieeexplore.ieee.org
We consider the problem of automatically recognizing human faces from frontal views with
varying expression and illumination, as well as occlusion and disguise. We cast the …

Query-based workload forecasting for self-driving database management systems

L Ma, D Van Aken, A Hefny, G Mezerhane… - Proceedings of the …, 2018 - dl.acm.org
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 …

[图书][B] Algorithms and theory of computation handbook, volume 2: special topics and techniques

MJ Atallah, M Blanton - 2009 - books.google.com
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 …

[PDF][PDF] Cosette: An Automated Prover for SQL.

S Chu, C Wang, K Weitz, A Cheung - CIDR, 2017 - cidrdb.org
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 …

HoTTSQL: Proving query rewrites with univalent SQL semantics

S Chu, K Weitz, A Cheung, D Suciu - ACM SIGPLAN Notices, 2017 - dl.acm.org
Every database system contains a query optimizer that performs query rewrites.
Unfortunately, developing query optimizers remains a highly challenging task. Part of the …

Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries

S Chu, B Murphy, J Roesch, A Cheung… - arXiv preprint arXiv …, 2018 - arxiv.org
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 …

Automated verification of query equivalence using satisfiability modulo theories

Q Zhou, J Arulraj, S Navathe, W Harris… - Proceedings of the VLDB …, 2019 - dl.acm.org
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 …

Containment of conjunctive queries on annotated relations

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 …

Proving query equivalence using linear integer arithmetic

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 …

Data exchange and incomplete information

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 …