Declarative Referential Integrity