Referential Integrity

Isn't this the property of an RDBMS schema and its stored procedures that they never violate the constraints specified by the exported keys?

Yes. Got nothin' to do with ReferentialTransparency.