title: thщmis : a database programming language handling integrity constraints v benzaken , a doucet vldb j.. authors: nan. venue: nan. year: 1995.0
title: data sharing analysis for a database programming language via abstract interpretation. authors: g amato , f giannotti , g mainetto. venue: nan. year: nan