Počet záznamů: 1
Algebra of data reconciliation
- 1.
SYSNO ASEP 0569846 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Algebra of data reconciliation Tvůrce(i) Csirmaz, E. P. (HU)
Csirmaz, Laszlo (UTIA-B) ORCIDCelkový počet autorů 2 Zdroj.dok. Studia Scientiarum Mathematicarum Hungarica. - : Akadémiai Kiadó - ISSN 0081-6906
Roč. 59, 3-4 (2022), s. 209-231Poč.str. 23 s. Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. HU - Maďarsko Klíč. slova file synchronization ; algebraic model ; confluence ; rewriting system Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GA19-04579S GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora UTIA-B - RVO:67985556 UT WOS 000903720300005 EID SCOPUS 85140367648 DOI 10.1556/012.2022.01529 Anotace With distributed computing and mobile applications becoming ever more prevalent, synchronizing diverging replicas of the same data is a common problem. Reconciliation – bringing two replicas of the same data structure as close as possible without overriding local changes – is investigated in an algebraic model. Our approach is to consider two sequences of simple commands that describe the changes in the replicas compared to the original structure, and then determine the maximal subsequences of each that can be propagated to the other. The proposed command set is shown to be functionally complete, and an update detection algorithm is presented which produces a command sequence transforming the original data structure into the replica while traversing both simultaneously. Syntactical characterization is provided in terms of a rewriting system for semantically equivalent command sequences. Algebraic properties of sequence pairs that are applicable to the same data structure are investigated. Based on these results the reconciliation problem is shown to have a unique maximal solution. In addition, syntactical properties of the maximal solution allow
for an efficient algorithm that produces it.Pracoviště Ústav teorie informace a automatizace Kontakt Markéta Votavová, votavova@utia.cas.cz, Tel.: 266 052 201. Rok sběru 2023 Elektronická adresa https://akjournals.com/view/journals/012/59/3-4/article-p209.xml
Počet záznamů: 1