4 citations · 8 across the 9 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.DB2016
ZaliQL: A SQL-Based Framework for Drawing Causal Inference from Big Data
Babak Salimi, Dan Suciu
Causal inference from observational data is a subject of active research and development in statistics and computer science. Many toolkits have been developed for this purpose that…
cs.PL2016★ 3 cited
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Shumo Chu, Konstantin Weitz, Alvin Cheung +1
Every database system contains a query optimizer that performs query rewrites. Unfortunately, developing query optimizers remains a highly challenging task. Part of the challenges…