(Q5163219)

property of a database system ensuring that a transaction can only bring the database from one valid state to another, maintaining database invariants (constraints, cascades, triggers etc.)