PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 13

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  distributed databases
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Multi-valued Verification of Strategic Ability
Jamroga Wojciech, Konikowska Beata, Kurpiewski Damian, Penczek Wojciech
Fundamenta Informaticae
|
2020
|
Vol. 175, nr 1-4
207--251
EN
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.
2
Content available remote Using blockchain to access cloud services: a case of financial service application
Tseng Min-Han Ruby, Chang Shuchih Ernest, Kuo Tzu-Yin
Annals of Computer Science and Information Systems
|
2019
|
Vol. 18
565--568
EN
Most cloud providers use centralized servers to manage data. However, centralized servers still suffer the risks of single point of failure and data theft. We add a blockchain to the cloud service and propose a new architecture to manage data. Using blockchain as a connector to utilize the tamperproof, traceable, and data-sharing features of the blockchain to ensure that the transaction data are properly stored in each node. We use the stock simulation trading service to extend and divide the research design into two levels, namely, system and application services. First, we directly write the data into the blockchain. Second, we alternatively store the data in the cloud and then write it into the blockchain. Finally, the two versions are compared and analyzed to investigate their feasibility and performance. At the application service, we implement the smart contract for the existing stock transaction process to achieve real-time settlement.
3
Content available Methods of optimization of distributed databases in oracle. Part 2
Barczak A., Zacharczuk D., Pluta D.
Studia Informatica : systems and information technology
|
2017
|
Vol. 1-2(21)
15--46
EN
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.
4
Content available Methods of optimization of distributed databases in oracle. Part 1
Barczak A., Zacharczuk D., Pluta D.
Studia Informatica : systems and information technology
|
2016
|
Vol. 1-2(20)
5--15
EN
The paper presents actions required to tune a distributed database to obtain optimal the performance. Each method and its impact on the performance of a database depending on the environment or configuration is discussed. The last part of the paper describes the stages of the process and data to be collected to obtain positive results.
5
Metody optymalizacji rozproszonych baz danych w systemie Oracle
Barczak A., Zacharczuk D., Pluta D.
Studia Informatica
|
2015
|
Vol. 36, nr 1
113--129
EN
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.
PL
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.
6
Content available Application of correlation in the vertical fragmentation based on statistic of queries
Bernatowicz D., Bernatowicz A.
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
|
2014
|
Nr 6
77-87
EN
The main purpose of this paper is to describe an approach of using data input correlation based on both statistic of queries and their frequency of occurrence within distributed databases. This approach is an alternative technique for reducing count of edges in the graph. It also defines a direction and strength of dependence between particular elements and is used for determination of partitioning criterion. This paper also presents a short characteristic of vertical fragmentation process based on statistic of queries and development of a graphical partitioning algorithm which enable to solve the problem of disconnected graph.
PL
Celem poniższej pracy jest przedstawienie podejścia dotyczącego zastosowania korelacji danych wejściowych opartych na statystyce zapytań i częstości ich wystąpienia w rozproszonych bazach danych. Podejście to jest alternatywną techniką redukcji liczby gałęzi w grafie podziału. Określa także kierunek i siłę zależności pomiędzy poszczególnymi elementami, która jest wykorzystywana przy ustalaniu kryterium podziału. Zawarto również krótką charakterystykę procesu fragmentacji pionowej opartej na statystyce zapytań oraz rozwinięcie algorytmu graficznego umożliwiającego rozwiązanie problemu niespójności grafu.
7
Zastosowanie korelacji w procesie fragmentacji pionowej rozproszonych baz danych
Bernatowicz D., Bernatowicz A.
Studia Informatica
|
2013
|
Vol. 34, nr 3
209--221
PL
Celem poniższego artykułu jest przedstawienie podejścia dotyczącego zastosowania korelacji danych wejściowych opartych na statystyce zapytań i częstości ich wystąpienia w rozproszonych bazach danych. Podejście to stanowi alternatywną technikę redukcji liczby gałęzi w grafie podziału. Określa także kierunek i siłę zależności pomiędzy poszczególnymi elementami, która jest wykorzystywana przy ustalaniu kryterium podziału. Zawarto również krótką charakterystykę procesu fragmentacji pionowej opartej na statystyce zapytań oraz rozwinięcie algorytmu graficznego, umożliwiającego rozwiązanie problemu niespójności grafu.
EN
The main purpose of this paper is description of an approach of using data input correlation based on statistic of query and their frequency of occurrence in distributed databases. That approach is an alternative technique of reduction count of edges in graph. It also defines a direction and measure of dependence between particular elements. Described measure is used in determination of a partitioning criterium. This paper also presents a short characteristic a vertical fragmentation process based on statistic of query and development of a graphical partitioning algorithm which enable to solve disconnected graph problem.
8
Content available Badanie strategii rozmieszczenia elementów obiektowych baz danych
Koszela J., Nowicki T.
Biuletyn Wojskowej Akademii Technicznej
|
2008
|
Vol. 57, nr 4
39-58
PL
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.
EN
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.
9
Signal transduction in nanoprocess cells
Małysiak B., Mrozek D.
Archiwum Informatyki Teoretycznej i Stosowanej
|
2005
|
T. 17, z. 1
55-64
10
Decision making based on superfluous and/or logically inconsistent information
Kulikowski J. L.
Systems Science
|
2004
|
Vol. 30, no 4
61-69
EN
There is described a problem of decision making under overabundance of information available from a system of distributed databases, when most of information being relevant to the users' expectations does not fully satisfy other information quality requirements. It is assumed that a preliminary selection of available information improving its quality is connected with a cost and the information users must decide when the selection process should be continued or stopped. The methods of preliminary information selection are discussed and illustrated by examples concerning selection of car selling offers, one of the practical problem solving strategies, and the third one of searching synthetic information characterising a large population of objects. In the first case a stop-rule for the selection process is described, in the second one - a method of strategies assessment based on semi-ordering relations is proposed.
11
Efektywność realizacji transakcji rozproszonych z wykorzystaniem wirtualnie współdzielonej pamięci
Harężlak K.
Studia Informatica
|
2004
|
Vol. 25, nr 3
83-94
PL
W artykule przedstawiona została asynchroniczna metoda aktualizacji kopii danych w środowisku wirtualnie współdzielonej pamięci. W metodzie tej zaproponowano mechanizmy umożliwiające wykonanie transakcji rozproszonej tylko w jednej kopii danych, pozostałe uaktualnia się po jej zakończeniu. Dla zaproponowanych rozwiązań przeprowadzono analizę czynników wpływających na efektywność realizacji transakcji.
EN
The paper presents the new, asynchronous update method of replicated data in virtual shared memory environment. The method advantage is possibility of utilizing only one data copy for distributed transaction realization contemporarily guarding against replicated data update conflicts. The problem of distributed database transaction performing efficiency was also discussed.
12
Design problems of endoscopy recommendation system
Krawczyk H., Betlej L., Pielaszkiewicz T., Rutkowski S.
Journal of Medical Informatics & Technologies
|
2000
|
Vol. 1
IT 3--11
EN
A web-based medical system for supporting gastroentrology examination and diagnosis is presented. Its basic components are described and implementation problems are discussed.
13
Content available remote On the Equivalence of Problem-Oriented Databases
Lebiediewa S.
International Journal of Applied Mathematics and Computer Science
|
1999
|
Vol. 9, no 4
965-977
EN
A comparison is made between problem-oriented databases for multistage decision making and general-purpose databases. An exemplary problem-oriented database IDEN for supporting the process of multistage identification is discussed in detail. An equivalence condition for problem-oriented databases is formulated and then the equivalence with respect to data structures and operations is proved for hierarchical, network and relational models of the IDEN database.
first rewind previous Strona / 1 next fast forward last
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ć.