title: formal query languages for secure relational databases. authors: m winslett , k smith , x qian. venue: acm trans . database syst .. year: 1994
title: theseus -- a programming language for relational databeses. authors: je shopiro. venue: acm transactions on database systems ,. year: 1979.0