DataPlay

Interactive tweaking and example-driven correction of graphical database queries

Azza Abouzied, Joseph M. Hellerstein, Avi Silberschatz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Writing complex queries in SQL is a challenge for users. Prior work has developed several techniques to ease query specification but none of these techniques are applicable to a particularly difficult class of queries: quantified queries. Our hypothesis is that users prefer to specify quantified queries interactively by trial-and-error. We identify two impediments to this form of interactive trial-and-error query specification in SQL: (i) changing quantifiers often requires global syntactical query restructuring, and (ii) the absence of non-answers from SQL's results makes verifying query correctness difficult. We remedy these issues with DataPlay, a query tool with an underlying graphical query language, a unique data model and a graphical interface. DataPlay provides two interaction features that support trial-and-error query specification. First, DataPlay allows users to directly manipulate a graphical query by changing quantifiers and modifying dependencies between constraints. Users receive real-time feedback in the form of updated answers and non-answers. Second, DataPlay can auto-correct a user's query, based on user feedback about which tuples to keep or drop from the answers and non-answers. We evaluated the effectiveness of each interaction feature with a user study and we found that direct query manipulation is more effective than auto-correction for simple queries but auto-correction is more effective than direct query manipulation for more complex queries.

Original languageEnglish (US)
Title of host publicationUIST'12 - Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology
Pages207-217
Number of pages11
StatePublished - Nov 19 2012
Event25th Annual ACM Symposium on User Interface Software and Technology, UIST 2012 - Cambridge, MA, United States
Duration: Oct 7 2012Oct 10 2012

Other

Other25th Annual ACM Symposium on User Interface Software and Technology, UIST 2012
CountryUnited States
CityCambridge, MA
Period10/7/1210/10/12

Fingerprint

Specifications
Feedback
Query languages
Data structures

Keywords

  • Quantification
  • Query correction
  • Query specification
  • Semantic fine-tuning

ASJC Scopus subject areas

  • Human-Computer Interaction
  • Software

Cite this

Abouzied, A., Hellerstein, J. M., & Silberschatz, A. (2012). DataPlay: Interactive tweaking and example-driven correction of graphical database queries. In UIST'12 - Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology (pp. 207-217)

DataPlay : Interactive tweaking and example-driven correction of graphical database queries. / Abouzied, Azza; Hellerstein, Joseph M.; Silberschatz, Avi.

UIST'12 - Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology. 2012. p. 207-217.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abouzied, A, Hellerstein, JM & Silberschatz, A 2012, DataPlay: Interactive tweaking and example-driven correction of graphical database queries. in UIST'12 - Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology. pp. 207-217, 25th Annual ACM Symposium on User Interface Software and Technology, UIST 2012, Cambridge, MA, United States, 10/7/12.
Abouzied A, Hellerstein JM, Silberschatz A. DataPlay: Interactive tweaking and example-driven correction of graphical database queries. In UIST'12 - Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology. 2012. p. 207-217
Abouzied, Azza ; Hellerstein, Joseph M. ; Silberschatz, Avi. / DataPlay : Interactive tweaking and example-driven correction of graphical database queries. UIST'12 - Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology. 2012. pp. 207-217
@inproceedings{11477ba8809d4e2eb3f448cc86d658a2,
title = "DataPlay: Interactive tweaking and example-driven correction of graphical database queries",
abstract = "Writing complex queries in SQL is a challenge for users. Prior work has developed several techniques to ease query specification but none of these techniques are applicable to a particularly difficult class of queries: quantified queries. Our hypothesis is that users prefer to specify quantified queries interactively by trial-and-error. We identify two impediments to this form of interactive trial-and-error query specification in SQL: (i) changing quantifiers often requires global syntactical query restructuring, and (ii) the absence of non-answers from SQL's results makes verifying query correctness difficult. We remedy these issues with DataPlay, a query tool with an underlying graphical query language, a unique data model and a graphical interface. DataPlay provides two interaction features that support trial-and-error query specification. First, DataPlay allows users to directly manipulate a graphical query by changing quantifiers and modifying dependencies between constraints. Users receive real-time feedback in the form of updated answers and non-answers. Second, DataPlay can auto-correct a user's query, based on user feedback about which tuples to keep or drop from the answers and non-answers. We evaluated the effectiveness of each interaction feature with a user study and we found that direct query manipulation is more effective than auto-correction for simple queries but auto-correction is more effective than direct query manipulation for more complex queries.",
keywords = "Quantification, Query correction, Query specification, Semantic fine-tuning",
author = "Azza Abouzied and Hellerstein, {Joseph M.} and Avi Silberschatz",
year = "2012",
month = "11",
day = "19",
language = "English (US)",
isbn = "9781450315807",
pages = "207--217",
booktitle = "UIST'12 - Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology",

}

TY - GEN

T1 - DataPlay

T2 - Interactive tweaking and example-driven correction of graphical database queries

AU - Abouzied, Azza

AU - Hellerstein, Joseph M.

AU - Silberschatz, Avi

PY - 2012/11/19

Y1 - 2012/11/19

N2 - Writing complex queries in SQL is a challenge for users. Prior work has developed several techniques to ease query specification but none of these techniques are applicable to a particularly difficult class of queries: quantified queries. Our hypothesis is that users prefer to specify quantified queries interactively by trial-and-error. We identify two impediments to this form of interactive trial-and-error query specification in SQL: (i) changing quantifiers often requires global syntactical query restructuring, and (ii) the absence of non-answers from SQL's results makes verifying query correctness difficult. We remedy these issues with DataPlay, a query tool with an underlying graphical query language, a unique data model and a graphical interface. DataPlay provides two interaction features that support trial-and-error query specification. First, DataPlay allows users to directly manipulate a graphical query by changing quantifiers and modifying dependencies between constraints. Users receive real-time feedback in the form of updated answers and non-answers. Second, DataPlay can auto-correct a user's query, based on user feedback about which tuples to keep or drop from the answers and non-answers. We evaluated the effectiveness of each interaction feature with a user study and we found that direct query manipulation is more effective than auto-correction for simple queries but auto-correction is more effective than direct query manipulation for more complex queries.

AB - Writing complex queries in SQL is a challenge for users. Prior work has developed several techniques to ease query specification but none of these techniques are applicable to a particularly difficult class of queries: quantified queries. Our hypothesis is that users prefer to specify quantified queries interactively by trial-and-error. We identify two impediments to this form of interactive trial-and-error query specification in SQL: (i) changing quantifiers often requires global syntactical query restructuring, and (ii) the absence of non-answers from SQL's results makes verifying query correctness difficult. We remedy these issues with DataPlay, a query tool with an underlying graphical query language, a unique data model and a graphical interface. DataPlay provides two interaction features that support trial-and-error query specification. First, DataPlay allows users to directly manipulate a graphical query by changing quantifiers and modifying dependencies between constraints. Users receive real-time feedback in the form of updated answers and non-answers. Second, DataPlay can auto-correct a user's query, based on user feedback about which tuples to keep or drop from the answers and non-answers. We evaluated the effectiveness of each interaction feature with a user study and we found that direct query manipulation is more effective than auto-correction for simple queries but auto-correction is more effective than direct query manipulation for more complex queries.

KW - Quantification

KW - Query correction

KW - Query specification

KW - Semantic fine-tuning

UR - http://www.scopus.com/inward/record.url?scp=84869075295&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84869075295&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9781450315807

SP - 207

EP - 217

BT - UIST'12 - Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology

ER -