PERDÓN: Ya he encontrado el error: ahora el operador para NULL es "IS NULL", no "= NULL", en conformidad al estandard SQL. Gracias