Leksykon IT › Bazy danych › Spójność przyczynowa

Spójność przyczynowa

Bazy danych Svenska → Zaktualizowano: 2026-10-06

Model spójności gwarantujący kolejność tylko między operacjami powiązanymi przyczynowo (jeśli A spowodowało B, wszyscy widzą A przed B), podczas gdy operacje niezwiązane mogą być widoczne w różnej kolejności na różnych węzłach. Najsilniejszy model zgodny z wysoką dostępnością przy podziale sieci.

Idea: nie każde zdarzenie potrzebuje globalnego porządku — tylko te, między którymi zachodzi relacja przyczyny i skutku. Jeśli ktoś opublikuje wpis (A), a ktoś inny odpowie (B), wszyscy muszą zobaczyć A przed B (inaczej odpowiedź pojawi się bez pytania). Dwa niezwiązane wpisy (współbieżne) mogą jednak być wyświetlane różnym użytkownikom w dowolnej kolejności — nie ma to znaczenia. Śledzenie odbywa się przez zegary wektorowe lub śledzenie zależności. Zysk: model jest dość silny, by uniknąć najbardziej mylących anomalii („widzę odpowiedź, ale nie pytanie”), a jednocześnie dość słaby, by system pozostał dostępny przy podziale sieci (inaczej niż linearyzowalność, którą wtedy zabrania twierdzenie CAP). Stosowany w COPS, w sesjach przyczynowych MongoDB i jako domyślny w wielu nowoczesnych systemach. Pokrewny spójności sekwencyjnej i spójności ostatecznej.

← Wróć do leksykonu