Tutoring Tool for Formulating Database Queries with Complex Quantifiers
Jalal Kawash · 2009
QuantX is an interactive tool that is dedicated to helping students learn how to formulate complex query conditions that require complex universal and existential quantification. Preliminary evaluation results of the tool are encouraging.