Inclusion dependency
Redirect to:
Referential integrity#Formalization