title: algebraic query optimisation for database programming languages. authors: a poulovassilis , c small. venue: vldb j.. year: 1996
title: formal query languages for secure relational databases. authors: m winslett , k smith , x qian. venue: acm transactions on database systems ,. year: 1994.0