9 citations · 9 across the 3 of their papers we have counts for
Showing cs.DBShow all
3 papers · 1 filter
cs.DB2026
Compiling Linear Datalog to SQL for Program Analysis
Amir Shaikhha, Anna Herlihy, Hung Ngo
Datalog is a declarative query language that has proven highly effective for expressing static program analyses. Although Datalog has deep roots in database theory, most recent adv…
cs.DB2025
Raqlet: Cross-Paradigm Compilation for Recursive Queries
Amir Shaikhha, Youning Xia, Meisam Tarabkhah +2
We introduce Raqlet, a source-to-source compilation framework that addresses the fragmentation of recursive querying engines spanning relational (recursive SQL), graph (Cypher, GQL…
cs.DB2020★ 9 cited
BayesCard: Revitilizing Bayesian Frameworks for Cardinality Estimation
Ziniu Wu, Amir Shaikhha, Rong Zhu +3
Cardinality estimation (CardEst) is an essential component in query optimizers and a fundamental problem in DBMS. A desired CardEst method should attain good algorithm performance,…