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 construction and we will release the prototype for SQL queries in the future.
Acknowledgement: This work is partially supported by the NSF Award IIS-2008107: "III: Small: Helping Novices Learn and Debug Relational Queries". Jun Yang (PI), Sudeepa Roy (co-PI), and Kristin Stephens-Martinez (co-PI). Duke University. 2020-2023. $499,972.