Watch this video on YouTube
Which integrity model defines a constrained data item, an integrity verification procedure and a transformation procedure?