Safety and Translation of Relational Calculus Queries (1991)

by A V Gelder, R W Topor
Venue:ACM Transactions on Database Systems