Inclusion dependency

Redirect to:

• Referential integrity#Formalization