Database metatheory: asking the big queries