Na definição do cursor T1Cursor a query SELECT-FROM-WHERE seleciona as tuplas de T1 onde o primeiro componente é menor que o segundo. A declaração do FOR UPDATE é obrigatória na declaração do cursor, mesmo que não haja nenhuma mudança no mesmo.
