Static analysis techniques for software verification can be applied also in the scenario of query languages. What is a security measure that no longer uses a relational database system?