624 search results - page 1 / 125 » Mutant Query Plans |
INFSOF
2002
13 years 4 months ago
2002
ICDE
2010
IEEE
14 years 3 days ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
ICDE
2011
IEEE
12 years 9 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
INFSOF
2007
13 years 5 months ago
2007
A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Sui...
TKDE
2012
11 years 7 months ago
2012
—Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of som...