I want to know the answer to the following question:
Can query languages be adjusted?
All the background I'm provided with is that "Static analysis techniques for software verification can be applied also in the scenario of query languages.". Is that enough to answer the question?