Запрос Oracle Top-N: результаты гарантируются при заказе?

Question

Большинство источников, в том числе собственной Top-N Queries статье Oracle, дают синтаксис, подобный следующему для выполнения Top-N запрос:

SELECT val 
FROM (
    SELECT val 
    FROM rownum_order_test 
    ORDER BY val DESC 
) 
WHERE ROWNUM <= 5; 

Это гарантированно дать 5 лучших значений; однако, гарантировано ли это в правильном порядке? This question, ссылаясь на Wikipedia, указывает на иное:

Хотя некоторые системы баз данных позволяют спецификацию с ORDER BY в операторе подзапросы или определения представлений, наличие не имеет никакого эффекта.

Означает ли это, что вышеупомянутый код не гарантирует порядок, и требует дополнительной ORDER BY, или это исключительный случай?

SELECT val 
FROM (
    SELECT val 
    FROM rownum_order_test 
    ORDER BY val DESC 
) 
WHERE ROWNUM <= 5 
ORDER BY val; -- Is this line necessary? 

Edit: Предположим, что внешний запрос будет выполняться непосредственно (не вложен в другом запросе). Я задаю этот вопрос, потому что это похоже на вопиющее упущение, что ни один из источников (включая Oracle) не стал упоминать о необходимости для ORDER BY, несмотря на то, что заказы будут интуитивно ожидаться от таких первоклассных запросов.

Answer 1

Порядок явно проявляется здесь, потому что если бы это не так, запрос просто не работал бы, чтобы обеспечить значения top-n.

Возможно, могут быть случаи, когда оптимизатор может обнаружить, что эффект ORDER BY отсутствует, и в таких случаях он может преобразовать запрос для удаления ORDER BY, но это не один из этих случаев.

Если ваш внешний запрос не переупорядочивает строки, явно или неявно (через объединение, возможно), то я был бы уверен, что в этом случае порядок будет сохранен.