add integrity constraints