codice_1 está definida como la siguiente expresión SQL codice_2: