title: formal query languages for secure relational databases. authors: marianne winslett , kenneth smith , xiaolei qian. venue: acm trans . database syst .. year: 1994
title: algebraic query optimisation for database programming languages. authors: alexandra poulovassilis , carol small. venue: the vldb journal -- the international journal on very large data bases. year: 1996