Анализ типизированных зависимостей включения с неопределенными значениями

Null values have become an urgent problem since the creation of the relational data model. The impact of the uncertainty affects all types of dependencies used in the design and operation of the database. This fully applies to the inclusion dependencies, which are the theoretical basis for referential integrity on the data. Attempts to solve this problem contain inaccuracy in the statement of the problem and its solution. The errors in formulation of the problem can be associated with the use in the definition of untyped inclusion dependencies, which leads to permutations of the attributes, although, the attributes in database technology are identified by name and not by their place. In addition, linking with the use of the inclusion dependencies of heterogeneous attributes, even of the same type, is a sign of lost functional dependencies and leads to interaction of inclusion dependencies and non-trivial functional dependencies. Inaccuracies in the solution of the problem are contained in the statements of axioms and the proof of their properties, including completeness. In this paper we propose an original solution of this problem only for typed inclusion dependencies in the presence of Null values: a new axiom system is proposed, its completeness and soundness are proved. On the basis of inference rules we developed an algorithm for the construction of a not surplus set of typed inclusion dependencies. The correctness of the algorithm is proved.Неопределенные значения стали актуальной проблемой с момента создания реляционной модели данных. Влияние неопределенностей сказывается на всех видах зависимостей, используемых при проектировании и эксплуатации базы данных. В полной мере это относится и к зависимостям включения, которые являются теоретической основой ссылочной целостности на данные. Попытки решения указанной проблемы содержат неточности как в постановке задачи, так и в самом ее решении. К постановочным ошибкам можно отнести использование в определении нетипизированных зависимостей включения, что приводит к перестановкам атрибутов, хотя в технологиях баз данных атрибуты идентифицируются по имени, а не по их позиции. Кроме того, связывание зависимостью включения разнородных, пусть даже однотипных, атрибутов является признаком потерянной функциональной зависимости и приводит к взаимодействию нетривиальных зависимостей включения и функциональных зависимостей. Зависимости включения должны определять количественное соотнесение объектов друг с другом, а не значений атрибутов. Неточности в решении указанной проблемы содержатся в формулировках аксиом и доказательстве их свойств, в том числе полноты. В этой статье предлагается оригинальное решение этой проблемы только для типизированных зависимостей включения при наличии неопределенных значений: предложена система аксиом, доказана ее полнота и непротиворечивость. На основе правил вывода разработан алгоритм построения не избыточного множества типизированных зависимостей включения. Доказана корректность этого алгоритма

Обобщение правил вывода для зависимостей соединения в базах данных

In this paper a generalisation of the inference rules of the join dependencies that are used in the design of database schemas that meets the requirements of the fifth normal form is considered. In the previous works devoted to this problem, attempts to construct systems of the axioms of such dependencies based on inference rules are made. However, while the justification for the consistency (soundness) of the obtained axioms does not cause difficulties, the proof of completeness in general has not been satisfactorily resolved. First of all, this is due to the limitations of the inference rules themselves. This work focuses on two original axiom systems presented in the works of Sciore and Malvestuto. For the inclusion dependencies a system of rules that generalises existing systems and has fewer restrictions has been obtained. The paper presents a proof of the derivability of known systems of axioms from the presented inference rules. In addition, evidence of the consistency (soundness) of these rules is provided. The question of the completeness of the formal system based on the presented rules did not find a positive solution. In conclusion, the theoretical and practical significance of the inference rules for the join dependencies is noted.В работе рассматривается обобщение правил вывода зависимостей соединения, которые используются при проектировании схемы базы данных, удовлетворяющей требованиям пятой нормальной формы. В предшествующих работах, посвященных данной проблематике, делаются попытки построить системы аксиом таких зависимостей, основанных на правилах вывода. Однако, если обоснование непротиворечивости (надежности) полученных аксиом не вызывает затруднений, то доказательство полноты в общем случае не получило удовлетворительного решения. Прежде всего, это связано с ограниченностью самих правил вывода. В данной работе акцентировано внимание на двух оригинальных системах аксиом, представленных в работах Sciore и Malvestuto. Для зависимостей включения получена система правил, которая обобщает существующие системы и при этом имеет меньше ограничений. В работе представлено доказательство выводимости известных систем аксиом из представленных правил вывода. Кроме того, приводится доказательство непротиворечивости (надежности) этих правил. Вопрос о полноте формальной системы, основанной на представленных правилах, не нашел положительного решения. В заключение отмечена теоретическая и практическая значимость правил вывода для зависимостей соединения

Тестирование зависимостей и правил вывода в базах данных

The process of testing dependencies and inference rules can be used in two ways. First, testing allows verification hypotheses about unknown inference rules. The main goal, in this case, is to search for the relation - a counterexample that illustrates the feasibility of the initial dependencies and contradicts the consequence. The found counterexample refutes the hypothesis, the absence of a counterexample allows searching for a generalization of the rule and conditions for its feasibility (logically imply). Testing cannot be used as a proof of the feasibility of inference rules, since the process of generalization requires the search for universal inference conditions for each rule, which cannot be programmed, since even the form of these conditions is unknown. Secondly, when designing a particular database, it may be necessary to test the feasibility of a rule for which there is no theoretical justification. Such a situation can take place in the presence of anomalies in the superkey. The solution to this problem is based on using join dependency inference rules. For these dependencies, a complete system of rules (axioms) has not yet been found. This paper discusses: 1) a technique for testing inference rules using the example of join dependencies, 2) a scheme of a testing algorithm is proposed, 3) some hypotheses are considered for which there are no counterexamples and inference rules, 4) an example of using testing when searching for a correct decomposition of a superkey is proposed.Процесс тестирования зависимостей и правил вывода может быть использован в двух направлениях. Во-первых, тестирование позволяет проверить гипотезы относительно неизвестных правил вывода. Основная цель при этом поиск реализации отношения - контрпримера, который удовлетворяет исходным зависимостям и противоречит следствию. Найденный контрпример опровергает гипотезу, отсутствие контрпримера позволяет приступить к поиску обобщения правила и условий его выполнимости (logically imply). Тестирование не может служить доказательством выполнимости правил вывода, поскольку процесс обобщения требует поиска универсальных условий выводимости для каждого правила, что невозможно запрограммировать, поскольку даже вид этих условий неизвестен. Во-вторых, при проектировании конкретной базы данных может потребоваться проверка выполнимости правила, для которого отсутствует теоретическое обоснование. Такая ситуация может проявиться при наличии аномалий в суперключе. Решение этой проблемы основывается на использовании правил вывода зависимостей соединения. Для этих зависимостей пока не найдена полная система правил (аксиом). В данной статье рассматривается: 1) методика проведения тестирования правил вывода на примере зависимостей соединения, 2) предложена схема алгоритма тестирования, 3) рассмотрены некоторые гипотезы, для которых отсутствуют контрпримеры и правила вывода, 4) предложен пример использования тестирования при поиске корректной декомпозиции суперключа

“Following a Simplified Scheme”: Project Development and Launch of Production at the Solikamsk Sulphite Pulp Mill

Поступила в редакцию: 15.09.2021. Принята к печати: 29.12.2022.Submitted: 15.09.2021. Accepted: 29.12.2022.В годы реализации первых советских пятилетних планов было уделено большое внимание целлюлозно-бумажной отрасли. В структуре лесопромышленного комплекса этот компонент отличался слабым уровнем развития. Ставка была сделана на создание средних и крупных целлюлозно-бумажных производств. В Предуралье, где имелись крупные запасы лесных ресурсов и реки, было возведено несколько комбинатов. Сформировался крупнейший на Урале и в восточных районах СССР центр целлюлозно-бумажной отрасли. Целью статьи является изучение размещения, проектирования и начала работы Соликамского сульфитно-целлюлозного комбината. В середине 1930-х гг. было принято решение о строительстве предприятия. Его проект предполагал инновационные для целлюлозно-бумажной отрасли технологические решения. Сроки пуска комбината несколько раз переносились, проект перерабатывался, строительство было передано от Наркомлеса СССР в ведение НКВД СССР. В 1940 г. Соликамский сульфитно-целлюлозный комбинат выделился в самостоятельное предприятие, однако его сооружение продолжалось. В марте 1941 г., за три месяца до начала Великой Отечественной войны, предприятие начало выработку целлюлозы. Пуск комбината стал возможен только по упрощенной схеме — из-за отсутствия или неисправностей части оборудования. Производительность предприятия была установлена в незначительных объемах. К тому же не хватало рабочей силы, поскольку оплата труда почти не отличалась от других целлюлозно-бумажных предприятий Предуралья. С началом войны партийно-государственные органы и хозяйственные ведомства продолжили сооружение и дооснащение Соликамского сульфитно-целлюлозного комбината. Положительно сказались на развитии предприятия эвакуация ряда производств, начало работы сульфитно-спиртового завода и строительство поблизости оборонного завода. Это позволило комбинату развить кооперационные связи, освоить новые виды продукции.During the years of implementation of the first Soviet five-year plans, great attention was paid to the pulp and paper industry. In the forest industry structure, this component was characterised by a weak level of development. The bet was made on the creation of medium and large pulp and paper industries. In the Urals, where there were large reserves of forest resources and rivers, they built several plants. The largest centre of the pulp and paper industry in the Urals and in the eastern regions of the USSR was formed. The purpose of this article is to study the location, design, and launch of production of the Solikamsk Sulphite Pulp Mill. In the mid-1930s, it was decided to build an enterprise. The project involved innovative technological solutions for the pulp and paper industry. The launch of the plant was postponed several times, the project was altered, and the construction was entrusted from the People’s Commissariat of Forest Industry of the USSR to the People’s Commissariat of Internal Affairs of the USSR. In 1940, the Solikamsk Sulphite Pulp Mill became an independent enterprise, but its construction continued. In March 1941, three months before the outbreak of the Great Patriotic War, the company began the production of pulp. The production was only possible within a simplified scheme due to the absence or malfunction of equipment. The performance of the enterprise was set in insignificant volumes. With the outbreak of war, partystate bodies and economic departments continued the construction of the Solikamsk Sulphite Pulp Mill and providing additional equipment. The company’s development was boosted by the evacuation of several industries, the start of the sulphite waste liquor alcohol plant and the construction of a defense plant nearby. This allowed the plant to develop cooperative ties and master new types of products.Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 21-09-43024 «Пространственное размещение промышленности СССР в годы предвоенных пятилеток: замысел и результат».The research was funded by the Russian Foundation for Basic Research, project 21-09-43024 “Spatial Distribution of the Industry of the USSR in the Years of the Pre-War Five-Year Plans: The Idea and the Result”

Обобщенные типизированные зависимости включения с неопределенными значениями в базах данных

The paper discusses a new type of dependency in databases, which is a generalization of inclusion dependencies. Traditionally, such dependencies are used in practice to ensure referential integrity. In this case, the restriction is established only between a pair of relations, the first of which is called the main, the second is external. In practice, referential integrity often needs to be established for a larger number of relations, where several main and several external relations participate in the same constraint. Such a structure corresponds to an ultragraph. The paper provides a rationale for generalized inclusion dependencies that take into account the presence of null values in external relations. Based on the study of the properties of typed dependencies, a system of axioms is obtained, for which consistency (soundness) and completeness are proved.В статье рассматривается новый вид зависимостей в базах данных, являющийся обобщением зависимостей включения. Традиционно такие зависимости на практике используются для обеспечения ссылочной целостности. При этом, ограничение устанавливается только между парой отношений, первое из которых называется главным, второе — внешним. На практике ссылочную целостность часто требуется установить для большего числа отношений, где в одном ограничении участвуют несколько главных и несколько подчиненных отношений. Такая структура соответствует ультраграфу. В работе приведено обоснование обобщенных зависимостей включения, учитывающих наличие неопределенных значений во внешних отношениях. На основе исследования свойств типизированных зависимостей получена система аксиом, для которой доказана непротиворечивость (надежность) и полнота

Автоматизация формирования табличных приложений

The paper considers automation problems of the interface formation between a table and a relational database. The task description is formalized and the description of the existing approaches to formation of data representations on an example of widely widespread CASE-tools is submitted. The definition of intermediate data representation as a ”join table” is offered, which is used for maintenance of correctness of data representation formation, and also is necessary for direct and inverse data transformations. On the basis of lossless join property and realized dependencies, the concept and a way of context formation of the application and restrictions is introduced. The considered material is further used for constructing an inverse data transformation from tabular presentation into a relational one. On the basis of relationships properties on a database scheme, the partial order on the relations is established, and the restriction of acyclic databases schemes is introduced. The received results are further used at the analysis of principles of formation of inverse data transformation, and the basic details of such a transformation algorithm are considered.Рассмотрены проблемы автоматизации формирования интерфейса между таблицей и реляционной базой данных. Формализована постановка задачи и представлено описание существующих подходов к формированию представлений данных на примере широко распространенных CASE-инструментов. Предложено определение промежуточного представления данных в виде таблицы соединений, которая используется для обеспечения корректности формирования представления данных и также необходима для прямого и обратного преобразования данных. На основе свойства соединения без потери информации и реализованных зависимостей вводится понятие и способ формирования контекстов приложения и ограничений на данные. Рассмотренный материал далее используется для построения обратного преобразования данных из табличного представления в реляционное. На основе использования свойств связей на схеме базы данных устанавливается частичный порядок над отношениями, вводится ограничение ацикличности на допустимые схемы баз данных. Полученные результаты далее используются при анализе принципов формирования обратного преобразования данных, рассмотрена схема алгоритма такого преобразования

Dynamics of Economic Indicators in the Forest Industrial Complex of the Urals During the Great Patriotic War

During the Great Patriotic War, the timber industry complex of the Urals played an important role in the economy of the region and the Soviet Union. Based on the statistical data introduced by the researcher A.A. Antufiev, analyzed the dynamics of the value of industrial fixed assets and gross output, including per worker, in the timber industry of the Urals. Conclusions are made about the increase in the value of assets, the decrease in the value of gross output, the lag of the actual labor productivity of workers from the indicators of the industry of the Urals and the Soviet Union.В годы Великой Отечественной войны лесопромышленный комплекс Урала играл важную роль в экономике региона и Советского Союза. На основе статистических данных, введенных в оборот исследователем А.А. Антуфьевым, предпринят анализ динамики стоимости производственных основных фондов и валовой продукции, в том числе из расчета на одного рабочего, в лесной промышленности Урала. Сделаны выводы об увеличении стоимости фондов, уменьшении стоимости валовой продукции, отставании фактической производительности труда рабочих от показателей промышленности Урала и Советского Союза

Quality control indicators of soil ridges at sowing cultivated crops

© 2016,International Journal of Pharmacy and Technology. All rights reserved.The initial component of any cultivated crops technology is high-quality preparation of a field in order to create proper conditions for the subsequent seed placement,plant root system’s growth and development stimulation. At the same time,any mechanical treatment should not disrupt the optimal soil structure; it should preserve the soil fertility,protect against erosion processes and maintain moisture to the greatest possible extent. Traditional technologies of growing cultivated crops on a flat field surface have been and remain the most widespread. However,the studies have found that the most promising is the ridge technology. A ridger seeder is developed for implementation of the ridge technology; the ridger seeder’s application allows to cost effectively perform presowing cultivation in just one pass,after sowing the seeds to form a soil mound over a stitch of sown seeds,to compact such soil mound on three sides and finally form a soil ridge of a required dimension and density. The tool’s flat disk and concave disks of the ridger seeder’s ridge forming roller have substantiated approach angles. It has been revealed that structural and operating parameters of the tools with flat discs and the ridge forming roller,as well as physical and mechanical properties of the soil affect the process of forming the soil ridges of required dimension and density at seeding any cultivated crops

Intramontane lacustrine basins in the Siberian Altai: recorders of Cenozoic intracontinental tectonic and climatic events

The Altai Mountains are part of the vast intracontinental Central Asian orogenic system that formed during the Cenozoic as a distal effect of continued indentation of the Indian plate into the Eurasian continent. In the Siberian part of the Altai Mountains there is ample evidence to suggest that the pre-Cenozoic structural fabric of its basement is a controlling factor in the Cenozoic deformation and development of this intracontinental orogen. We give evidence that important Paleozoic fault zones were reactivated during the Cenozoic, particularly the Late Cenozoic and play a key role in the formation, evolution and current morphology of the Siberian Altai Mountains. Some of these faults are still active and recent and historic movements along them have triggered large seismic events. Late Cenozoic reactivation was expressed as pure thrust, oblique thrust to pure strike-slip faulting, resulting in an overall transpressive tectonic regime. In some cases, as for the graben basin of Lake Teletskoye, local, pure extensional stresses are responsible for its formation as we show in this contribution. Various other intramontane, tectonic basins developed. Some of these are very recent structures (the Teletskoye Basin) and are Pleistocene in age or younger, others have a prolonged history and contain a relatively complete Cenozoic sedimentary section, with evidence of Late Mesozoic precursor basins (Chuya Basin, Dzhulukul Basin). Some of these exhibit indications of marine incursions, but the basins are predominantly continental. The development of these basins is clearly associated with the location and Cenozoic reactivation of aforementioned long-lived fault zones in the Altai tectonic assemblage. Many of these basins accommodated fresh water lakes during their evolution and some are still the site of contemporary mountain lakes. Their stratigraphy, as well as the sedimentary architecture and basin morphology is manifestly influenced by and progresses with the stages of (Late) Cenozoic intracontinental mountain building and erosive denudation of the growing mountain ranges. Together with the clastic sedimentary input and the provenance characteristics, the intramontane Altai basin deposits are affected by evolving climatic conditions. These conditions dictate the main mode of erosion and transport, influence the sedimentary facies and supply rate and create the framework for a specific biocoenosis signature found in the fossil record. Our contribution reviews the data obtained over the last years from a selection of intramontane lacustrine basins in the Siberian Altai Mountains. We direct our attention in particular to the Teletskoye basin, the Chuya-Kurai Basin and the Dzhulukul Basin. We combine sedimentologic-stratigraphic data with basin architecture and morphology, and with basement geochronologic-thermochronologic constraints (apatite fission-track, U/Pb and Ar-dating) in order to show the potential of these basins as recorders of Cenozoic tectonic and climatic events in relation with basement features. While for example the data obtained from the Chuya Basin yields a continuous Cenozoic picture of deformation and climatic evolution of the Altai area, data from the Teletskoye Basin zooms in with higher resolution on the Pleistocene to Recent history. In general, all data point towards intensifying tectonic reactivation and mountain building of the Siberian Altai Mountains since the Middle Cenozoic, with clear peak activity in the Pliocene to Recent. This is demonstrated by the molassetype deposits in these basins, and by thermochronologic constraints. This activity is ongoing and structural, (paleo)seismic, geomorphologic and sedimentologic data corroborates this. The lacustrine Altai basins provide a record for a more or less continuous progressive cooling and aridification of the Altai area during the Cenozoic as manifested in the pollen fossil assemblages found in the Altai sediments

New stratigraphic data on the quaternary sediments in the Peschanaya River Valley, Northwestern Altai

© 2017 Siberian Branch of the Russian Academy of Sciences. This paper presents new data on the structure and the lithological, pedological, paleontological, and paleomagnetic features of the Middle and Upper Quaternary sediments in the Peschanaya River valley, the foothills of northwestern Altai. Those horizons contain a loess-soil sequence and sediments relating to two Middle Pleistocene interglacials. On the basis of palynological characteristics of one of the Middle Pleistocene interglacials, the succession of fl oras during the respective stages is reconstructed. The Middle Pleistocene interglacial fl oras of Western Siberia are compared with that reconstructed on the basis of the Karama site, evidencing marked differences. The fl ora around Karama included broad-leaved taxa, which were absent during the Middle Pleistocene interglacials of Western Siberia, when apart from modern arboreal taxa, only cold-resistant broad-leaved ones were present (Tilia, Corylus, Ulmus, and Juglans). The Karama fl ora resembles the last Western Siberian thermophilic fl ora-Barnaul, which existed during the long climatic warming of the Early Pleistocene, corresponding to the Tiglian in northwestern Europe (2.23-1.59 Ma BP). Since the beginning of the Middle Pleistocene, interglacial fl oras of Western Siberia have resembled modern ones. In terms of phytocenotic and palaeoclimatic features, Middle Pleistocene interglacial environments of Western Siberia display a sharp contrast with those of Barnaul and Karama