Abstract: Methods are disclosed for a RDMS to compile an SQL assertion into SQL statements. RDMS includes SQL assertions including an SQL assertion to be checked and relational tables fulfilling pre-update satisfaction of the SQL assertions. SQL update and SQL assertion affect relational tables having pre-update content. The methods include: creating triggers to simulate, at run-time, SQL update execution by providing prospective tables with differential content according to SQL update without altering the pre-update content of affected tables; converting the SQL assertion into SQL views to determine, at run-time, satisfaction or dissatisfaction of the SQL assertion depending on pre-update content of affected tables and differential content of prospective tables; and creating a procedure configured to commit or abort, at run-time, SQL update execution onto affected tables depending on whether SQL assertion has been determined satisfied or dissatisfied.