Whenever Assertions are created, the predicate that the Assertion specifies must hold true at the time of assertion creation.
Now Whenever we make changes to any table in the database, do all the assertions present in the database are checked simultaneously after that change?
I mean to ask whenever there is any change in the database, then all Assertions are checked and executed (Even when some assertions are not related to the tables which have been changed)?