If a Dbms Enforces in the Happy Insurance Database a Delete