Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Intelligent agents relizing tentative transactions
Języki publikacji
Abstrakty
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.
Wydawca
Rocznik
Tom
Strony
361--369
Opis fizyczny
Bibliogr. 9 poz., rys.
Twórcy
autor
- Katedra Informatyki, Akademia Górniczo-Hutnicza
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-AGH1-0032-0036
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.