Declarative referential integrity