If a database’s construction, expression, operation, and method of query is in form of descriptive complexity that can be resolved in time, expressing a question ends up checking / proving / answering it at the same time?