Zhengjie Miao
Zhengjie Miao
Description: In a world where data analytics skills have become an indispensable part of any education and modern workforce, are you still struggling with your relational queries? HNRQ is about automatically constructing small, simple database instances (counterexamples) to illustrate why queries return wrong results, allowing users to trace query execution over these instances, and leading users to generalize from specific counterexamples to semantic descriptions of what cause wrong results. HNRQ is still under constru
In a world where data analytics skills have become an indispensable part of any education and modern workforce, are you still struggling with your relational queries?
HNRQ is still under construction and we will release the prototype for SQL queries in the future.
HNRQ is being developed by a team of undergraduate and graduate students advised by Prof. Jun Yang , Prof. Sudeepa Roy , and Prof. Kristin Stephens-Martinez .
Zhengjie Miao
Zhengjie Miao