The information tracked implicitly

The information tracked implicitly is useful in purging information explic- itly carried in other OMrr s and stored in LOG entries about “yet to be deliv- ered to” destinations for the same message Mi,a as well as for messages
Mi,ar , where ar < a. Thus, whenever oi,a in some OMr propagates to node
j, in line (2d), (i) the implicit information in oi,a.Dests is used to eliminate redundant information in li,a.Dests ∈ LOGj ; (ii) the implicit informa- tion in li,a.Dests ∈ LOGj is used to eliminate redundant information in
oi,a.Dests; (iii) the implicit information in oi,a is used to eliminate redun- dant information li,ar ∈ LOGj if • ∃ oi,ar ∈ OMr and ar < a; (iv) the implicit information in li,a is used to eliminate redundant information oi,ar ∈ OMr if • ∃ li,ar ∈ LOGj and ar < a; and (v) only non-redundant information
remains in OMr and LOGj ; this is merged together into an updated LOGj .

Kết quả (Việt) 1:

Thông tin theo dõi ngầm là hữu ích trong purging thông tin explic – itly thực hiện trong s OMrr khác và lưu trữ trong đăng nhập mục về "được nêu ra để là deliv-ered để" điểm đến cho cùng một thông điệp Mi, một cũng như cho tin nhắnMi, ar, nơi ar < một. Do đó, bất cứ khi nào oi, một trong một số OMr Lan truyền để nodej, trong dòng (2d), (i) các tiềm ẩn thông tin trong oi,a.Dests được sử dụng để loại bỏ các thông tin dự phòng trong li,a.Dests ∈ LOGj; (ii) tion informa tiềm ẩn trong li,a.Dests ∈ LOGj được sử dụng để loại bỏ các thông tin dự phòng trongOi,a.Dests; (iii) thông tin tiềm ẩn trong oi, một được sử dụng để loại bỏ redun-dant thông tin li, ar ∈ LOGj nếu • ∃ oi, ar ∈ OMr và ar < a; (iv) thông tin tiềm ẩn trong li, một được sử dụng để loại bỏ thông tin dự phòng oi, ar ∈ OMr nếu • ∃ li, ar ∈ LOGj và ar < a; và thông tin chỉ phòng không dự phòng (v)vẫn còn trong OMr và LOGj; Điều này hợp nhất với nhau thành một LOGj Cập Nhật.

Kết quả (Việt) 2:

Các thông tin theo dõi được ngầm định là hữu ích trong việc tẩy thông tin explic- itly thực tại khác OMrr s và lưu trữ trong mục LOG về "chưa đến khía cạnh deliv- để" khu cho cùng một thông điệp Mi, một cũng như thông điệp
Mi, ar, nơi ar <a. Vì vậy, bất cứ khi nào oi, một trong số OMR tuyên truyền đến nút
j, ở dòng (2d), (i) các thông tin ẩn trong oi, a.Dests được sử dụng để loại bỏ các thông tin dư thừa trong li, a.Dests ∈ LOGj; (ii) sự phân informa- tiềm ẩn trong li, a.Dests ∈ LOGj được sử dụng để loại bỏ các thông tin dư thừa trong
oi, a.Dests; (iii) các thông tin ẩn trong oi, một được sử dụng để loại bỏ redun- dant thông tin li, ar ∈ LOGj nếu • ∃ oi, ar ∈ OMR và ar <a; (iv) các thông tin ẩn trong li, một được sử dụng để loại bỏ các thông tin dư thừa oi, ar ∈ OMR nếu • ∃ li, ar ∈ LOGj và ar <a; và (v) chỉ thông tin không dự phòng
vẫn ở Seoul và LOGj; này được sáp nhập lại với nhau thành một LOGj cập nhật.