Text this: Data independence with predicate symbols