Complexity Results on Dependence Logic