Complexity and Expressive Power of Deterministic Semantics for DATALOG