You ask:
Is there a theory that says if something doesn't exist, it doesn't do anything, so, that is, existence is prerequisite to do something or have qualities?
This depends on your definition of existence, which is the heart of the undying controversy that pervades ontology. Meinong, Carnap, and Quine, for instance, had different takes on existence. So until you put forth a theory of existence (a metaontological theory), you'll find your answer open to attack from anyone who doesn't think like you. That being said...
Unicorns don't exist, but they do cast magic spells and use their horns to teleport. So, there is at least one form of existence where things don't really exist, but do do things: fictional existence (SEP). Thus, it's not unreasonable to say that unicorns don't exist, but they do magic, weigh upon the earth, drink water, etc. These are the sorts of convolutions of logic that make it necessary to define existence.
Generally, however, metaphysical realism (SEP) does require existent things to have properties of some sort. According to Alexander Miller in that article, there is a criterion for existence:
Generic Realism: a, b, and c and so on exist, and the fact that they exist and have properties such as F-ness, G-ness, and H-ness is (apart from mundane empirical dependencies of the sort sometimes encountered in everyday life) independent of anyone’s beliefs, linguistic practices, conceptual schemes, and so on. (emphasis mine)
Thus, under this term of "generic realism", two criteria present themselves: first, things that exist have properties; second, those properties are independent of any agent and their thought. In fact, George Hume created a bit of a stir by insisting that objects are nothing more than bundles of properties. Thus, a modern ontologist must go beyond the criterion set out by general realism, and define what objects are (SEP).