Skip to main content

Characterizing and Verifying Queries Via CINSGEN

Publication ,  Conference
Meng, H; Miao, Z; Gilad, A; Roy, S; Yang, J
Published in: Proceedings of the ACM SIGMOD International Conference on Management of Data
June 4, 2023

Example database instances can be very helpful in understanding complex queries. Different examples may illustrate alternative situations in which answers emerge in the query results and can be useful for testing. Examples can also help reveal semantic differences between queries that are supposed to be equivalent, e.g., when students try to understand how their queries behave differently from a reference solution, or when programmers try to pinpoint mistakes inadvertently introduced by rewrites meant to improve readability or performance. In this paper, we propose to demonstrate CinsGen, a system that can characterize queries and help distinguish between two queries. Given a query, CinsGen generates minimal conditional instances (c-instances) that satisfy it. In turn, each c-instance is a generalization of multiple database instances, yielding a compact representation. Thus, using CinsGen enables users to obtain a comprehensive and compact view of all scenarios that satisfy a specified query, allowing for query characterization or distinction between two queries.

Duke Scholars

Published In

Proceedings of the ACM SIGMOD International Conference on Management of Data

DOI

ISSN

0730-8078

Publication Date

June 4, 2023

Start / End Page

143 / 146
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Meng, H., Miao, Z., Gilad, A., Roy, S., & Yang, J. (2023). Characterizing and Verifying Queries Via CINSGEN. In Proceedings of the ACM SIGMOD International Conference on Management of Data (pp. 143–146). https://doi.org/10.1145/3555041.3589721
Meng, H., Z. Miao, A. Gilad, S. Roy, and J. Yang. “Characterizing and Verifying Queries Via CINSGEN.” In Proceedings of the ACM SIGMOD International Conference on Management of Data, 143–46, 2023. https://doi.org/10.1145/3555041.3589721.
Meng H, Miao Z, Gilad A, Roy S, Yang J. Characterizing and Verifying Queries Via CINSGEN. In: Proceedings of the ACM SIGMOD International Conference on Management of Data. 2023. p. 143–6.
Meng, H., et al. “Characterizing and Verifying Queries Via CINSGEN.” Proceedings of the ACM SIGMOD International Conference on Management of Data, 2023, pp. 143–46. Scopus, doi:10.1145/3555041.3589721.
Meng H, Miao Z, Gilad A, Roy S, Yang J. Characterizing and Verifying Queries Via CINSGEN. Proceedings of the ACM SIGMOD International Conference on Management of Data. 2023. p. 143–146.

Published In

Proceedings of the ACM SIGMOD International Conference on Management of Data

DOI

ISSN

0730-8078

Publication Date

June 4, 2023

Start / End Page

143 / 146