Algorithmic Properties of Sigma--definability over Positive Predicate Structures