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: algebraic query optimisation for database programming languages a poulovassilis , c small 1996.0. authors: nan. venue: the vldb journal the international journal on very large & hellip ; ,. year: nan