deterministic используется, чтобы указать, что для одинаковых значений аргументов функция всегда будет возвращать одинаковые выходные значения. Это необходимо для создания индексов на написанные пользовательские функции, т.е. Ораклу указывается, что функция является детерминистической, т.е. всегда дает один и тот же результат для одинаковых входных значений. Не больше и не меньше. Слово сессия не упоминается.
Т.о. если функция f(10) вернет 1 в одном случае (сессии, не сессии), а в другом 2, то она не является deterministic.