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 -