Предикатные синхронизационные захваты.
Гранулированный синхронизационный захват не решает проблему фантомов в отличии от предикатного. Для решения этой проблемы надо перейти от захватов индивидуальных объектов базы данных к захвату условий, которым удовлетворяют эти объекты. Проблема фантомов не возникают при использовании для синхронизации уровня отношений потому, что отношения как логический объект представляют собой неявное условие для входящих в него кортежей.
R – отношение с атрибутами a1…aп; m1…mп – множества допустимых значений соответствующих атрибутов. Можно сопоставить R конечное п-мерное пространство возможных значений кортежей R. Любое простое условие вырезает m-мерный прямоугольник в этом пространстве(m<=n). Если эти прямоугольники не пересекаются, то предикатные захваты от разных транзакций совместимы.
Предикат. Любой запрос - выбрать фамилии всех студентов у которых цвет глаз голубой. Запрос компилируется системой памяти, она выбирает адреса, как должны представить таблицу - в виде системы координат (плоской), по горизонтали атрибуты, по вертикали - кортежи. Атрибуты в виде чисел. Графически изобразить запрос (фактически)
Гранулированная. Было назначено shared, предваряющий эксклюзивный (предупреждение транзакций о будущих изменений в определенном диапазоне)
IX (предвещающий эксклюзивную)
IS (предвещающий shared)
SIX
