About DeciDB
A research collaboration between the HUDA Lab at NYU Abu Dhabi and UMass Amherst, bringing optimization directly into SQL.
Research Foundation
DeciDB builds on a decade of research into in-database constrained optimization:
DeciDB: In-Database Processing of Decision Queries
Anh L. Mai, Filip Milisov, Hatim Rehmanjee, Azza Abouzied, Peter J. Haas, Alexandra Meliou
Submitted to CIDR 2027
Read PaperScaling Package Queries to a Billion Tuples
Anh L. Mai, Pengyu Wang, Azza Abouzied, Matteo Brucato, Peter J. Haas, Alexandra Meliou
Accepted to VLDB 2024
Read PaperScalable Computation of High-Order Optimization Queries
Matteo Brucato, Azza Abouzied, Alexandra Meliou
Accepted to ACM, 2019
Read PaperScalable Package Queries in Relational Database Systems
Matteo Brucato, Azza Abouzied, Alexandra Meliou
Accepted to VLDB 2016
Read PaperThe Team
NYU Abu Dhabi
Professor of Computer Science
Anh Mai
PhD Student
Filip Milisov
Research Scientist
Hatim Rehmanjee
Research Scientist
UMass Amherst
Professor of Information and Computer Sciences
Professor of Information and Computer Sciences
HUDA Lab
Human Data Interaction Lab
The HUDA Lab focuses on making data systems more accessible, interactive, and intelligent.
Research Areas:
- • Query interfaces for non-experts
- • Visual data exploration
- • Automated data analysis
- • Optimization in databases
Technical Details
Built With
-
•
DuckDB — Embeddable analytical database engine
-
•
Gurobi — Primary MILP/QP/QCQP solver, auto-detected at runtime (commercial; recommended for performance)
-
•
HiGHS — Bundled open-source LP/MIP solver, used as fallback when Gurobi is unavailable
-
•
SymbolicC++ — Computer algebra for constraint linearization
Current Status
master (working)
Future Development
-
•
Sketch-Refine Algorithm
Scale beyond exact solving to very large datasets with bounded approximation error
-
•
Python Bindings
pip install decidb— in-process Python package for embedding optimization queries in data pipelines -
•
Broader Non-Linear Coverage
Extend automatic linearization beyond the current ABS, MIN/MAX,
<>,IN, and McCormick bilinear forms; full QCQP/SOCP on HiGHS