Wyniki wyszukiwania - BazTech

1

Performance analysis of write operations in IDENTITY and UUID ordered tables

Penar Maciej

Zeszyty Naukowe Politechniki Rzeszowskiej. Elektrotechnika

|

2020

|

z. 38 [301], nr 1-2

81--95

EN

Design of the database includes the decision about the physical storage. This is often overlooked as 1) this cannot be expressed in standard SQL and in result each Database Systems have their own way to specify the physical storage and 2) the decision is often made implicitly. This is dangerous situation as many of the databases use B+ trees as table implementation which stores the data physically sorted by some ordering attribute. The choice of the ordering attribute largely affects read and write operations. Commonly, IDENTITY/AUTO_INCREMENT constraint are being chosen as ordering attributes, due to their easy usage and monotonic nature. In some cases ordering tables by the attributes whose values are drawn from uniform distribution leads to better performance in terms of Transactions-Per-Second. Such cases includes situation when data does fit entirely in-memory or when we can limit the set of physical pages being accessed. In the end, however, We cannot entirely say that either monotonic or random attributes are superior. Both have their pros and cons. In this article We present (1) short description of the data structures in contemporary Database Systems, (2) the advantages and the disadvantages of the two common types which are used as the clustering attributes: GUID and IDENTITY, (3) performance analysis of write operation which compare both data types using B+ tree as primary storage and (4) evaluate the efficiency of these bulk load operation using heap files and B+ trees.

PL

Projektowanie bazy danych wymaga podjęcia decyzji o fizycznej strukturze przechowującej dane. Często wpływ tej decyzji jest niedoceniany ponieważ 1) standard SQL nie precyzuje tego ograniczenia, przez co każdy dostawca Bazy Danych implementuje je po swojemu 2) wybór struktury jest podejmowany niejawnie. Na ogół domyślnymi strukturami są B+ drzewa które są strukturami posortowanymi. Wybór tej konkretnej implementacji tabeli wpływa zarówno na wydajność operacji odczytu jak i zapisu. Ze względu że częstą praktyką jest stosowanie atrybutów IDENTITY/AUTO_INCREMENT jako kluczy głównych, według tych wartości atrybutów ustalany jest fizyczny porządek tabeli. W pewnych przypadkach warto jednak korzystać z atrybutów o wartościach losowych w celu zwiększania przepustowości Bazy Danych (liczonej jako liczba transakcji na sekundę). Takie przypadki obejmują sytuację gdy dane mieszczą się w pamięci operacyjnej lub gdy możemy ograniczyć zbiór fizycznych stron do których Baza Danych będzie się odwoływać. W ogólnym przypadku ani atrybuty monotoniczne, ani losowe nie są lepsze od swoich konkurentów. W tym artykule (1) opisujemy struktury wykorzystywane we współczesnych Bazach Danych, (2) opisujemy zalety i wady dwóch najczęściej wykorzystywanych typów: GUID oraz IDENTITY, (3) prezentujemy analizę wydajności operacji zapisu porównującą oba typy w tabelach implementowanych jako B+ drzewo, (4) analizujemy wydajność operacji wsadowego ładowania zarówno w plikach sekwencyjnych jak i B+ drzew.

2

Modeling and querying facts with period timestamps in data warehouses

Mahlknecht Giovanni, Dignös Anton, Kozmina Natalija

International Journal of Applied Mathematics and Computer Science

|

2019

|

Vol. 29, no. 1

31--49

EN

In this paper, we study various ways of representing and querying fact data that are time-stamped with a time period in a data warehouse. The main focus is on how to represent the time periods that are associated with the facts in order to support convenient and efficient aggregations over time. We propose three distinct logical models that represent time periods as sets of all time points in a period (instant model), as pairs of start and end time points of a period (period model), and as atomic units that are explicitly stored in a new period dimension (period∗ model). The period dimension is enriched with information about the days of each period, thereby combining the former two models. We use four different classes of aggregation queries to analyze query formulation, query execution, and query performance over the three models. An extensive empirical evaluation on synthetic and real-world datasets and the analysis of the query execution plans reveal that the period model is the best choice in terms of runtime and space for all four query classes.

3

Detection of pathological crisis processes in branches of economy (on the example of agriculture of Ukraine)

Pronoza P.

Acta Innovations

|

2015

|

no. 17

56--64

EN

The article is devoted to applying the concept of early detection of pathological crisis processes to analyze the dynamics of Ukrainian agriculture development in 2003-2011. The analysis is based on time series of the export, import, production volume, export and import prices for agricultural products, volume of loans and investments. Despite the fact that the only branch that demonstrated the growth of output in 2008-2009 was agriculture, there were observed four years of crisis in agriculture during the period under consideration. The built signal panel and structural and logical model of pathological crisis processes detection in agriculture of Ukraine showed that the leading role was played by the investment balance deficit, reduction of the technological level of exports compared to imports and growth of domestic production credit bubble.

4

Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV

Grobelna I., Grobelny M.

Pomiary Automatyka Robotyka

|

2013

|

R. 17, nr 10

188--192

PL

W artykule przedstawiono ideę zastosowania diagramów aktywności UML do specyfikacji wymagań dotyczących zachowania sterownika logicznego. Lista wymagań podlegających weryfikacji zwykle definiowana jest bezpośrednio za pomocą formuł logiki temporalnej. Użycie przyjaznych dla użytkownika, powszechnie znanych i wykorzystywanych diagramów pozwala na prostsze i bardziej intuicyjne zapisanie wymagań. Diagramy są następnie formalnie przekształcane do formuł liniowej logiki temporalnej (LTL).

EN

The article introduces an idea to use UML activity diagrams [1-5] for specification of requirements regarding logic controller behavior. Requirements list to be verified [14] (using model checking technique [6, 7]) is usually directly defined using temporal logic formulas [12, 15]. Using user-friendly, commonly known and practiced diagrams allows to easier and more intuitively write down the requirements easier and more intuitively. Activity diagrams are then formally transformed into linear temporal logic (LTL) formulas. In this paper some sample UML activity diagrams which specify global properties are presented, together with their interpretation using LTL logic. To perform model checking process, model description (based i.e. on a control interpreted Petri net [8] or indirectly on an UML activity diagram [11]), and requirements list are needed. Afterwards it is checked, whether defined properties are satisfied in specified model description. If a requirement cannot be fulfilled, appropriate counterexample is generated allowing to localize error source. The article is structured as follows. Section 1 is an introduction. Background of a logic controller specification and its verification is presented in section 2. A novel approach to logic controller requirements definition using activity diagrams is shown in section 3. The paper ends with a short summary.

5

Regułowy model logiczny rekonfigurowalnego sterownika logicznego do weryfikacji i syntezy

Grobelna I.

Studia Informatica

|

2012

|

Vol. 33, nr 1

59-75

PL

Artykuł przedstawia regułowy model logiczny rekonfigurowalnego sterownika logicznego opisanego za pomocą interpretowanej sieci Petriego, która jest formalną specyfikacją zachowania systemów dyskretnych. Model logiczny, jako abstrakcyjny opis, nadaje się zarówno do formalnej weryfikacji, jak i syntezy logicznej. W pracy są rozpatrywane różne warianty opisu reguł.

EN

The article presents rule-based logical model of reconfigurable logic controller, by means of Control Interpreted Petri Nets, which are formal specification of discrete systems behavior. Logical model, as an abstract description, is easy to formally verify and to synthesize. In the paper, various rules notations are discussed.

6

Probabilistic Analysis of Marine Binary Technical Systems Represented by Boolean Models

Chybowski L., Matuszak Z.

Zeszyty Naukowe / Akademia Morska w Szczecinie

|

2006

|

nr 10 (82)

161-172

EN

Basic relations useful in the reduction of Boolean models of technical systems have been presented. Elementary logical gates used in a coherent fault tree and their probabilistic evaluations have been pointed out. A marine system (sea water cooling system) has been analyzed with the use of the presented methodology.

PL

Przedstawiono podstawowe zależności przydatne przy redukcji boolowskich modeli systemów technicznych. Wyszczególniono podstawowe operatory logiczne wykorzystywane w koherentnych drzewach niezdatności i ich analizie probabilistycznej. Przykładowy system okrętowy (system chłodzenia wodą morską) został przeanalizowany z użyciem przedstawionej metodologii.