Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: tentative transactions

Sortuj według:

Ogranicz wyniki do:

Inteligentni agenci realizujący próbne transakcje

Zygmunt M.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

1999

T. 3, z. 1

361-369

W tradycyjnych systemach obsługi rozproszonych, zreplikowanych baz danych stosuje się opóźnioną wymianę wiadomości ze sprawdzaniem znaczników czasowych. Może to prowadzić do utraty niektórych uaktualnień, albo do konieczności wielu ingerencji operatora przy rozwiązywaniu konfliktów. Takie systemy dobrze działają przy małej ilości węzłów i małej ilości danych. Praktycznie oznacza to fakt, że wersja pokazywana w czasie demonstracji może wspaniale działać, podczas gdy wraz ze wzrostem ilości danych system może stać się trudny lub niemożliwy do utrzymania. Wydaje się, że sposobem na uniknięcie takich sytuacji może być odpowiednie zastosowanie metod formalnych. Głównym zamierzeniem niniejszej pracy, jest skonstruowanie formalnego opisu agentowego systemu obsługi baz danych, z modelem próbnych transakcji, który może zapewnić większy stopień współbieżności, a co za tym idzie większą efektywność realizowanych transakcji.

In traditional replicated database systems the delayed message passingwith validation of timestamps are used. It may lead to missing of someupdates, or to many operator interventions for conflicts solving. Thesekind of systems usually work with few nodes and little amount ofdata. In practice it means that demonstration version might work goodwhile with growing number of data system might be difficult or evenimpossible to manage. It looks that the way to avoid such a situation may be the proper usageof formal methods. The main goal of this paper is the construction of formal specification of database agent system with tentative transaction model, witch might provide better concurrency and therefore higheravaila-bility of the system.