CREATE ASSERTION [ IF NOT EXISTS ] [ owner .]assertion_name CHECK ( { existential_expression | universal_expression } ) [ assertions_constraint_state ]
