Văn bản này: Data independence with predicate symbols