Question: Can query languages be adjusted?
Sentence: Static analysis techniques for software verification can be applied also in the scenario of query languages.
Answer in sentence: no