82 citations · 160 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DB2017
Juggling Functions Inside a Database
Mahmoud Abo Khamis, Hung Q. Ngo, Atri Rudra
We define and study the Functional Aggregate Query (FAQ) problem, which captures common computational tasks across a very wide range of domains including relational databases, logi…
cs.DS2017
Implementation of Tetris as a Model Counter
Jimmy Dobler, Atri Rudra
Solving SharpSAT problems is an important area of work. In this paper, we discuss implementing Tetris, an algorithm originally designed for handling natural joins, as an exact mode…