Se o saldo já está negativo é porque já existe um empréstimo, então a quantia do empréstimo pode ser modificada. Ou podem ser incluídas várias tuplas em empréstimo para a mesma conta, mas tem que haver um controle sobre o saldo negativo.
cada vez que há alteração no saldo de um cliente, a trigger verifica o saldo. Se ficou negativo, é incluída uma tupla na tabela Empréstimo para essa conta, com a quantia em débito. (Essa trigger pode ser mais sofisticada, para que haja um controle sobre a inclusão de empréstimos para uma mesma conta.