title: ofl : a functional execution model for object query languages sigmod conference 1995. authors: georges gardarin , fernando machuca , philippe pucheral. venue: nan. year: nan
title: formal query languages for secure relational databases 1994. authors: marianne winslett , kenneth smith , xiaolei qian. venue: acm transactions on database systems ( tods ). year: nan