title: the role of integrity constraints in database interoperation. authors: m vermeer , p apers. venue: vldb. year: 1996
title: thã © mis : a database programming language with integrity constraints .. authors: acms anthology. venue: nan. year: nan