mysql - 如何证明 SQL 查询数据的完整性和有效性？

Question

我正在寻找科学方法来证明 SQL 查询返回的数据的完整性和有效性。

例如，如果我查询满足 3 个定义条件的所有记录，我如何证明该查询确实返回了正确的记录以及所有记录？

数据量太大，无法手动证明。

Answer 1

您必须使用为此目的手动输入的记录来验证构建的数据库上的查询。您应该包括代表与此查询相关的所有可能的案例组合的记录。然后确定不同测试用例的查询的预期输出应该是什么，并将它们与实际结果进行比较。

对于 3 个条件，其中每个条件都可以是 TRUE 或 FALSE，您会得到 2^3 = 8 种可能的结果。如果某些字段可以为 NULL，请确保也测试这些情况。如果您测试 TRUE、FALSE 和 NULL，您可能会得到 3^3 = 27 个测试用例。如果包含更多极端情况，这个数字可能会迅速增加。

参见Three-valued logic - Application in SQL ,
MySQL Logical Operators ,
SQL-Server Nullability and Three-Value Logic比较

理想的情况是您从客户那里获得的规范包含示例。尝试重现这些示例。