Tło: Przetwarzanie transakcji jest tradycyjnym tematem badań w teorii baz danych. Obecnie transakcje rozproszone są popularyzowane przez wielkoskalowe rozproszone systemy pamięci masowej, które zazwyczaj obejmują partycjonowanie danych (zwane także shardingiem) i replikację danych . Jakie są...
Edycja: teraz jest pytanie uzupełniające związane z tym postem. Definicje Niech i będą liczbami całkowitymi. Używamy notacji .ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} macierzy mówi się -to- barwiących matrycy , jeśli zachodzi:c×cc×cc \times cM=(mi,j)M=(mi,j)M =...
We wstępie tego artykułu Ostatecznie linearyzowalne obiekty wspólne (PODC'10) autorzy przedstawili następujące oświadczenie bez odniesień: Linearyzowalność można jednak osiągnąć tylko wtedy, gdy możliwe jest rozwiązanie konsensusu. Tutaj linearyzowalność jest najsilniejszą znaną właściwością...