> Сори, если что-то пропустил - уже столько всего тут написали. А как еще
> действовать если не так???

Да никак, никак.
Успокойся и делай уже.
Posted via ActualForum NNTP Server 1.5

> Но привести доказательство его ложности Вы, конечно же, откажетесь...
>

Я тебе уже говорил -- хочешь доказать, что это истино -- доказывай.

Ну, если хочешь, изволь.

Как извесно, хэш-функция является отображением множества исходных ключей(записей
с ключами), мощность которого большая (M) на множество целых чисел в заданном
диапазоне, мощность которого (m) много меньше, чем M.

M >> m.

Допустим, две различные записи R1 и R2 отображаются данной хэш-функцией в
соотв. в h1 и h2 (числа). h1 и h2 по определению хэш-функции могут быть:

-- h1 != h2
---- h1 < h2
---- h1 > h2
-- h1 == h2
((1))

Предположим, что R1 < R2 в смысле порядка следования ключа.

но по ((1)) мы можем попасть на случай, когда

h1 == h2 и тогда при R1 < R2 мы получим, что Fh(R1) == Fh(R2), т.е.
в то время, как записи по порядку ключа следуют в R1,R2 , хэш-функции
от этих записей по порядку равновелики.

Рассмотрим другой случай, когда

h1 != h2 и h1 > h2

тогда при R1 < R2 мы получим, что Fh(R1) > Fh(R2), т.е.
в то время, как записи по порядку ключа следуют в R1,R2 , хэш-функции
от этих записей по порядку следуют Fh(R2), Fh(R1).

Третий случай даст сохранение порядка. R1,R2 => Fh(R1), Fh(R2)

Как выбираются один из трёх вариантов ((1)) ? Это зависит от хэш-функции.
Путём выбора функции мы можем исключать какие-то случаи из трёх.
Но очевидно, что случай h1 == h2 исключён быть не может, поскольку исходя из
определения хэш-функции M >> m. Следовательно, частичный порядок
исходных записей не может быть сохранён в виде порядка их хэш-функций --
часть записей, которые были не равны друг другу в порядке, могут стать
равными друг другу в порядке следования их хэш-функций.












Posted via ActualForum NNTP Server 1.5

> Представьте себе, например, что мы вставили в некую таблицу 100 записей и затем
> выбираем
> их select-ом. Мы увидим их в каком-то порядке, но отсортирована ли выборка?

> rownum в ней монотонно возрастает, нет?..

О, это ж новый математический закон. Предлагаю назвать его законом
Сибирякова-Звягина. (поскольку я его сейчас сформулирую).

Для любой конечной последовательности взаимно различных элементов некоего
множества можно найти такую функцию, которая задаст на этом множестве
полный порядок (не частичный). Такую функцию можно называть функцией
порядка конечного множества.

(под множеством понимается множество элементов данной последовательности,
конечное, а не множество всех возможных элементов, существующих в природе).

Блин, жалко, что эти зануды-математики уже давно придумали этот закон...
Эту теорему, что любое конечное множество является счётным.


Posted via ActualForum NNTP Server 1.5

> rownum в ней монотонно возрастает, нет?..
>
>
> Дмитрий, тут Вы перегинаете палку - отсортированный, это не тот который в
> определенном порядке, это тот, который отсортировали.

Да нет, тут он как раз абсолютно прав.
Posted via ActualForum NNTP Server 1.5