Я только что создал вашу функцию и таблицу в 11G (11.1) и могу подтвердить ваши выводы. Я не мог найти ничего в документах Oracle.
Если вы отбросите функцию, состояние таблицы останется «VALID», но при выборе из таблицы вы получите ORA-00904: «CHAMP». «CONSTFUNC»: неверный идентификатор Это говорит о том, что сам Oracle не знает о зависимости.
Возможно, стоит задать этот вопрос на asktom.oracle.com, потому что у Тома Кайта будет доступ к дополнительной информации - он может даже вызвать ошибку об этом, если потребуется.