SQL查询安全性验证

很多程序需要访问关系型数据库中的数据，这一般通过SQL写的查询来实现的。虽然SQL语言是描述式的语言，但是某些运行时错误还是会发生。由于这些错误的出现往往与数据有关，在测试的阶段发现这些错误并不容易。一个查询是否安全的问题可以归结为一致性检查。众所周知，一致性是一般不可判定的，并且这也同样适用于SQL查询。不过，在这篇论文中，我们倡导一个能处理超大SQL子集的一致性检查（它运用有序Skolem方法来Skolemi..