Lately I'm interested in questions like this: - Given a set of commands, what all computation problems can be done? For e.g.: - SQL has a fixed set of instructions like select, from, where etc. You can only do a limited amount of things with this language. Since there are no for loops and stuff, you are constrained. So what area of computer science deals with questions like this?