Коллекции с ограниченной мощностью - часть 2
Тогда дельты, вычисленные путем сравнения модифицированных версий с базовой, представляются как
,
. Операции
и
эквивалентны, поэтому в результирующую дельту следует включить любую из них. Операция
не конфликтует ни с одной другой операцией, поэтому переносится в результат без изменений. Наконец, операции
и
конфликтуют друг с другом. Согласно рассмотренным выше методам согласования изменений для мультимножеств, конфликт можно разрешить выбором кратности вхождения элемента e из интервала [2, 4]. Однако выбор значения кратности, равного 4, приводит к нарушению ограничения мощности результирующего мультимножества, в которое в таком случае войдет 7 элементов. Следовательно, допустимыми значениями кратности вхождения элемента e
в итоговую коллекцию являются 2 и 3. В случае принятия второго значения результирующая дельта приобретает вид:
, а итоговое семантически корректное представление мультимножества —
.
Содержание Назад
