Advances in deep learning have led to a resurgence of interest in video analytics. In an
exploratory video analytics pipeline, a data scientist often starts by searching for a global …

Query processing over big data is ubiquitous in modern clouds, where the system takes care
of picking both the physical query execution plans and the resources needed to run those …

Materializing views is an important method to reduce redundant computations in DBMS,
especially for processing large scale analytical queries. However, many existing methods …

Query rewriting transforms a relational database query into an equivalent but more efficient
one, which is crucial for the performance of database-backed applications. Such rewriting …

Because modern data-intensive applications rely heavily on database systems (DBMSs),
developers extensively test these systems to eliminate bugs that negatively affect …

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 …

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 …

Dashboards are vital in modern business intelligence tools, providing non-technical users
with an interface to access comprehensive business data. With the rise of cloud technology …

ABSTRACT Stream Processing Engines (SPEs) execute long-running queries on
unbounded data streams. They mainly focus on achieving high throughput and low-latency …