Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: distributed databases

Sortuj według:

Ogranicz wyniki do:

Methods of optimization of distributed databases in oracle. Part 2

100%

Barczak A. , Zacharczuk D. , Pluta D.

Studia Informatica : systems and information technology

2017

tom Vol. 1-2(21)

15--46

The second part of the paper devoted to optimization of distributed databases. This part presents tests which confirm the efficiency of database tuning methods, described in part one. Analysis of tests results based on the developed database is presented.

Multi-valued Verification of Strategic Ability

100%

Jamroga W. , Konikowska B. , Kurpiewski D. , Penczek W.

Fundamenta Informaticae

2020

tom Vol. 175, nr 1-4

207--251

Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distributed databases, and verification methods that use incomplete anytime algorithms, such as bounded model checking. In this paper, we present multi-valued alternating-time temporal logic (mv-ATL→∗ ), an expressive logic to specify strategic abilities in multi-agent systems. It is well known that, for branching-time logics, a general method for model-independent translation from multi-valued to two-valued model checking exists. We show that the method cannot be directly extended to mv-ATL → ∗. We also propose two ways of overcoming the problem. Firstly, we identify constraints on formulas for which the model-independent translation can be suitably adapted. Secondly, we present a model-dependent reduction that can be applied to all formulas of mv-ATL→∗ . We show that, in all cases, the complexity of verification increases only linearly when new truth values are added to the evaluation domain. We also consider several examples that show possible applications of mv-ATL→∗ and motivate its use for model checking multi-agent systems.

Metody optymalizacji rozproszonych baz danych w systemie Oracle

75%

Barczak A. , Zacharczuk D. , Pluta D.

tom Vol. 36, nr 1

113--129

The article presents the procedures, which need be taken in order to maximize the performance of distributed database. Various methods are describe and their impact on performance depending on the environment and configuration. At the end of publication, author shows the path that one should take and data which should be collected, so that the whole process has given a positive result.

Artykuł przedstawia zabiegi, jakie należy podjąć w celu maksymalnego dostrojenia wydajności rozproszonej bazy danych. Zostały tu opisane poszczególne metody i ich wpływ na wydajność w zależności od środowiska czy też konfiguracji. Na zakończenie przedstawiono ścieżkę, którą należy przejść oraz dane, jakie należy zebrać, aby cały proces dał pozytywny rezultat.

Badanie strategii rozmieszczenia elementów obiektowych baz danych

63%

Koszela J. , Nowicki T.

tom Vol. 57, nr 4

39-58

W pracy przedstawiono metodę badania wydajności rozproszonej obiektowej bazy danych, a w szczególności jednego z podstawowych aspektów związanych ze zwiększaniem wydajności rozproszonego systemu - alokacji jej elementów. Przestawiono definicję modelu klas, obiektów, atrybutów, metod i powiązań w rozproszonej obiektowej bazie danych. Zdefiniowano model zapytania, strukturę systemu rozproszonego, model rozproszenia zasobów obiektowej bazy danych oraz oszacowano jednostkowy czas odpowiedzi systemu i koszt wykonania zapytania przez dany węzeł, jak i cały system rozproszony. Sformułowano zadanie wyznaczania zasobów obiektowej bazy danych. Praca opisuje metodę wyznaczania optymalnego rozmieszczenia atrybutów, metod i powiązań w rozproszonej obiektowej bazie danych, wykorzystując algorytmy genetyczne. Zaprezentowano zastosowane metody generowania kolejnych elementów populacji (alokacji zasobów) dla wyznaczenia rozwiązania optymalnego. Przedstawiono aplikację do wyznaczania rozmieszczenia elementów obiektowej bazy danych. Pokazano też wybrane własności uzyskanego rozwiązania.

In this work, the method of efficiency investigation of a distributed objective data base is presented, particularly in the aspect connected to the evolution of the efficiency of distributed data bases using an allocation of elements. This work contains the definitions of model of classes, objects, attributes, methods and the connections in a distributed object oriented database. The model question of the database, the structure of a distributed computer system, distribution model of resources of an object-oriented data base have been defined, as well as the response time of the realisation answer system question via a selected node in the computer network including the whole distributed computer system was estimated. The problem of resource allocation in an object-oriented database has been formulated. The method for the allocation of attributes, methods and connections of an objected database is described. The method is connected with well-known genetic algorithms. Several methods for the evolving population, in order to obtain optimal solutions, are presented. Soft ware application for determining the allocation of objected data base elements is also shown. Several characteristics of various solutions obtained are illustrated.