Abstract:We study the query version of the approximate heavy hitter and quantile problems. In the former problem, the input is a parameter $\varepsilon$ and a set $P$ of $n$ points in $\mathbb{R}^d$ where each point is assigned a color from a set $C$, and we want to build a structure s.t. given any geometric range $\gamma$, we can efficiently find a list of approximate heavy hitters in $\gamma\cap P$, i.e., colors that appear at least $\varepsilon |\gamma \cap P|$ times in $\gamma \cap P$, as well as their frequencies with an additive error of $\varepsilon |\gamma \cap P|$. In the latter problem, each point is assigned a weight from a totally ordered universe and the query must output a sequence $S$ of $1+1/\varepsilon$ weights s.t. the $i$-th weight in $S$ has approximate rank $i\varepsilon|\gamma\cap P|$, meaning, rank $i\varepsilon|\gamma\cap P|$ up to an additive error of $\varepsilon|\gamma\cap P|$. Previously, optimal results were only known in 1D [WY11] but a few sub-optimal methods were available in higher dimensions [AW17, ACH+12]. We study the problems for 3D halfspace and dominance queries. We consider the real RAM model with integer registers of size $w=\Theta(\log n)$ bits. For dominance queries, we show optimal solutions for both heavy hitter and quantile problems: using linear space, we can answer both queries in time $O(\log n + 1/\varepsilon)$. Note that as the output size is $\frac{1}{\varepsilon}$, after investing the initial $O(\log n)$ searching time, our structure takes on average $O(1)$ time to find a heavy hitter or a quantile! For more general halfspace heavy hitter queries, the same optimal query time can be achieved by increasing the space by an extra $\log_w\frac{1}{\varepsilon}$ (resp. $\log\log_w\frac{1}{\varepsilon}$) factor in 3D (resp. 2D). By spending extra $\log^{O(1)}\frac{1}{\varepsilon}$ factors in time and space, we can also support quantile queries.

The tractability frontier of well-designed SPARQL queries

Semantics and complexity of SPARQL

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions

Left Bit Right: For SPARQL Join Queries with OPTIONAL Patterns (Left-outer-joins)

Efficient Execution of SPARQL Queries with OPTIONAL and UNION Expressions

Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results

Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries

General Space-Time Tradeoffs via Relational Queries

Distributed processing of regular path queries in RDF graphs

Relational Perspective on Graph Query Languages

Enumeration Problems for Regular Path Queries

Making problems tractable on big data via preprocessing with polylog-size output

Answer Graph: Factorization Matters in Large Graphs

Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF

Treewidth via Spined Categories (extended abstract)

Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings

Advanced Tools and Methods for Treewidth-Based Problem Solving -- Extended Abstract

Query Workload-based RDF Graph Fragmentation and Allocation

On Range Summary Queries

Opportunities for Shape-based Optimization of Link Traversal Queries