title: formal query languages for secure relational databases acm trans . database syst .. authors: m winslett , k smith , x qian. venue: nan. year: 1994.0
title: implementation of logical languages for databases. authors: j ullman. venue: acm trans . database syst ,. year: nan