title: algebraic query optimisation for database programming languages. authors: carol small , alexandra poulovassilis. venue: vldb j.. year: 1996
title: themis : a database programming language handling integrity constraints. authors: v &#233; ronique benzaken , anne doucet. venue: the vldb journal -- the international journal on very large data bases. year: 1995