AUTHORS: Andrey Malikov, Vladimir Voronkin, Nikolay Shiryaev
Download as PDF
ABSTRACT: This paper explores the issue of group integrity of tuple subsets regarding corporate integrity constraints in relational databases. A solution may be found by applying the finite-state machine theory to guarantee group integrity of data. We present a practical guide to coding such an automaton. After creating SQL queries to manipulate data and control its integrity for real data domains, we study the issue of query performance, determine the level of transaction isolation, and generate query plans.
KEYWORDS: database, integrity, finite-state machine, finite-state automaton, directed graph, SQL query
REFERENCES:
[
[1] Christopher J. Date, Relational Theory for Computer Professionals (Theory in Practice), O'Reilly Media, 2013.
[2] C.J. Date, Hugh Darwen, Nikos Lorentzos, Time and Relational Theory: Temporal Databases in the Relational Model and SQL, Morgan Kaufmann Publishers Inc., 2014.
[3] Маликов, А.В. and Сугаков, М.И. and Пархоменко Д.К. and Гулевский Ю.В. “Темпоральное дерево и его использование при концептуальном моделировании баз данных”, Системы управления и информационные технологии, Vol.2 No.40, 2010, pp. 99-104.
[4] Tropashko V., “Nested Intervals with Farey Fractions”, Cornell University Library, 2004. Available at: http://arxiv.org/html/cs/0401014.
[5] V. Tropashko, “Trees in SQL: Nested Sets and Materialized Path”, Cornell University Library 2003. Available at: https://communities.bmc.com/docs/DOC-9902.
[6] J. Celko, Joe Celko’s Trees and Hierarchies in SQL for Smarties, Morgan Kaufmann Publishers Inc. 2004.
[7] MongoDB, https://www.mongodb.org/
[8] Educational and informational hub of the NorthCaucasus Federal University http://eCampus.ncfu.ru.
[9] Hub for university and school student competitions, http://olymp.ncfu.ru.
[10] Tudorica, B.G. and Bucur, C., A comparison between several NoSQL databases with comments and notes, RoEduNet, 2011.
[11] T.Kam, T.Villa, R.K.Brayton, A. SangiovanniVincentelli Synthesis of Finite State Machines: Functional Optimization, Kluwer Academic Publishers, 2013.
[12] Howard Straubing, Finite Automata, Formal Logic, and Circuit Complexity, Birkhauser Verlag, 1994.
[13] Joe Celko SQL for Smarties: Advanced SQL Programming, Morgan Kaufmann Publishers Inc. 2010.
