Synchronization of Data between Special-Type Tables and the Database
DOI:
https://doi.org/10.14529/cmse250402Keywords:
relational data model, logical constraints, commutativityAbstract
Correct automation of access to information can be achieved by creating tools based on the theory of inter-model mappings and ensuring the commutativity of data transformations. This paper is devoted to the technology of data transfer between a relational database and a special type of tabular representation of data. The table structure is a convenient tool for the user, since it allows not only to edit data synchronized with the database, but also to perform various types of analysis using spreadsheets. In general case, the table size can be huge. This paper proposes a technique for reducing table size by applying logical constraints when loading data. This introduces two problems: fictitious empty values and the loss of empty values needed to edit the data. The work proposes a solution to these problems by using an intermediate representation of data in the form of a database query that contains logical constraints. A special form of these constraints, consistent with the SQL standard, is necessary to deal with the null value problem. For this purpose, subsets of relations are formed from a partial order that corresponds to referential integrity in the database. The resulting hierarchies are used to form the table dimensions. The paper concludes with an analysis of the correctness of the transformations.References
Kalinichenko L.A. Methods and tools for equivalent data model mapping construction. Advances in Database Technology - EDBT’90. Vol. 416. Springer, 1990. P. 99–119. Lecture Notes in Computer Science. DOI: 10.1007/BFb0022166.
Cunha J., Saraiva J., Visser J. From spreadsheets to relational databases and back. Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Savannah, GA, USA, 2009. ACM, 2009. P. 79–188. DOI: 10.1145/1480945.1480972.
Tyszkiewicz J. Spreadsheet as a relational database engine. In Proceedings of the 2010 ACM SIGMOD International Conference on Management of data (SIGMOD ’10). ACM, New York, NY, USA, 2010. P. 195–206. DOI: 10.1145/1807167.1807191.
Mi L., Li C., Du P., et al. Construction and application of an automatic document generation model. 26th International Conference on Geoinformatics, Kunming, China, 2018. P. 1–6. DOI: 10.1109/GEOINFORMATICS.2018.8557127.
Redreev P.G. Construction of Applications with the List Components Information Technology. 2009. No. 5. P. 7–12.
Zykin V.S., Zymbler M.L. Updating Multi-table Views Based on Commutative Database Transformations. Bulletin of the South Ural State University. Computational Mathematics and Software Engineering. 2019. Vol. 8, no. 2. P. 92–106. (in Russian) DOI: 10.14529/cmse190206.
Zykin S.V., Zykin V.S. Commutative Transformations in Multi-Model Databases. Dynamics of Systems, Mechanisms and Machines (Dynamics), Omsk, Russian Federation, 2023. P. 1–4. DOI: 10.1109/Dynamics60586.2023.10349549.
Zykin S.V., Poluyanov A.N., Zykin V.S. Tool Environment for Editing Spreadsheet Applications. Dynamics of Systems, Mechanisms and Machines (Dynamics), Omsk, Russian Federation, 2024. P. 1–5. DOI: 10.1109/Dynamics64718.2024.10838693.
Tsalenko M.Sh. Modeling semantics in databases. Moscow: Nauka, 1989. 288 p. (in Russian).
Koehler H., Link S. Inclusion dependencies and their interaction with functional dependencies in SQL. J. Comput. Syst. Sci. 2017. Vol. 85. P. 104–131. DOI: 10.1016/j.jcss.2016.11.004.
Redreev P.G. Construction of hierarchies in multidimensional data models. Bulletin of the Saratov University. Series Mathematics. Mechanics. Computer Science. 2009. Vol. 9, no. 4(1). P. 84–87. DOI: 10.18500/1816-9791-2009-9-4-1-84-87.
Ullman J. Principles of Database Systems. Moscow: Finance and Statistics, 1983. 334 p. (in Russian).
Meyer D. The Theory of Relational Databases. Moscow: Mir, 1987. 608 p. (in Russian).
Mosin S.V. Truth Space Comparison of Relational Database Queries. Bulletin of the South Ural State University. Computational Mathematics and Software Engineering. 2016. Vol. 5, no. 1. P. 85–99. DOI: 10.14529/cmse160108.
Kahn A.B. Topological sorting of large networks. Communications of the ACM. 1962. Vol. 5, no. 11. P. 558–562. DOI: 10.1145/368996.369025.
Eswaran K.P., Tarjan R.E. Augmentation problems. SIAM J. on Computing. 1976. Vol. 5, no. 4. P. 653–665.


