A predicate-calculus based language for semantic databases | IEEE Conference Publication | IEEE Xplore