SMS: Data independence with predicate symbols