Geodesic
Editing data using the “Transformation” model
Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, Tome 34 (2024) no. 4, pp. 613-625 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The problem of coordinating the semantics of data presented within different models has remained relevant for a significant period of time. First of all, this is related to the convenience of work for users who are accustomed to certain tools, for example, spreadsheets. The data prepared in these environments needs to be loaded into a centralized database, which makes it possible to get rid of duplication and inconsistency of data. An obstacle to this path is the problem of data reconciliation. Editing data directly in the database is a difficult task for non-programmer users. The traditional way to solve this problem is to develop special applications that have limited functionality. This paper proposes a technology that allows editing data in a database using spreadsheets, making their rich functionality available. The main difference from similar approaches is the use of the “Transformation” model, which makes the presentation of data convenient for human perception. Since the “Transformation” data model differs significantly from the relational model, there is a need to reconcile data between the database and spreadsheets. To solve similar problems, L.A. Kalinichenko proposed a method of commutative transformations in databases. In this paper, this technique, with some modifications, is used in algorithms for transferring data from a database to “Transformation” and back. The article presents an overview of works on the problem of data matching in various sources, a description of the data model “Transformation”, including: a description of the table schema, conditions for the existence of a table instance and data editing operations. The paper describes an algorithm for loading data into a table from a database and the algorithm for transforming data in a database in accordance with changes in the table, defines the conditions for the commutativity of the transformations, and presents a proof of the correctness of the transformations.
Keywords: data model, commutativity
Mots-clés : transformation 
@article{VUU_2024_34_4_a8,
     author = {S. V. Zykin and A. N. Poluyanov and V. S. Zykin},
     title = {Editing data using the {{\textquotedblleft}Transformation{\textquotedblright}} model},
     journal = {Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹ\^uternye nauki},
     pages = {613--625},
     year = {2024},
     volume = {34},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VUU_2024_34_4_a8/}
}
TY  - JOUR
AU  - S. V. Zykin
AU  - A. N. Poluyanov
AU  - V. S. Zykin
TI  - Editing data using the “Transformation” model
JO  - Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
PY  - 2024
SP  - 613
EP  - 625
VL  - 34
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/VUU_2024_34_4_a8/
LA  - ru
ID  - VUU_2024_34_4_a8
ER  - 
%0 Journal Article
%A S. V. Zykin
%A A. N. Poluyanov
%A V. S. Zykin
%T Editing data using the “Transformation” model
%J Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
%D 2024
%P 613-625
%V 34
%N 4
%U http://geodesic.mathdoc.fr/item/VUU_2024_34_4_a8/
%G ru
%F VUU_2024_34_4_a8
S. V. Zykin; A. N. Poluyanov; V. S. Zykin. Editing data using the “Transformation” model. Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, Tome 34 (2024) no. 4, pp. 613-625. http://geodesic.mathdoc.fr/item/VUU_2024_34_4_a8/

[1] Kalinichenko L.A., “Methods and tools for equivalent data model mapping construction”, Advances in Database Technology — EDBT'90, Springer, Berlin–Heidelberg, 1990, 92–119 | DOI

[2] 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, ACM, 2009, 179–188 | DOI

[3] Tyszkiewicz J., “Spreadsheet as a relational database engine”, Proceedings of the 2010 ACM SIGMOD International Conference on Management of data, ACM, 2010, 195–206 | DOI

[4] Mi L., Li C., Du P., Zhu J., Yuan X., Li Z., “Construction and application of an automatic document generation model”, 2018 26th International Conference on Geoinformatics, IEEE, 2018, 1–6 | DOI

[5] Belykh E.A., Golchevskiy Yu.V., “An approach to designing a substitution language for generating electronic documents containing complex tables”, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki, 29:3 (2019), 422–437 (in Russian) | DOI

[6] Zykin S.V., Zykin V.S., “Commutative transformations in multi-model databases”, 2023 Dynamics of Systems, Mechanisms and Machines (Dynamics), IEEE, 2023, 1–4 | DOI

[7] Tsalenko M.Sh., Modeling semantics in databases, Nauka, Moscow, 1989

[8] Koehler H., Link S., “Inclusion dependencies and their interaction with functional dependencies in SQL”, Journal of Computer and System Sciences, 85 (2017), 104–131 | DOI | MR | Zbl

[9] Missaoui R., Godin R., “The implication problem for inclusion dependencies: a graph approach”, ACM SIGMOD Record, 19:1 (1990), 36–40 | DOI

[10] Zykin V.S., Zykin S.V., “Analysis of typed inclusion dependences with null values”, Automatic Control and Computer Sciences, 52:7 (2018), 638–646 | DOI | MR

[11] Redreev P.G., “Construction of hierarchies in multidimensional data models”, Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 9:4(1) (2009), 84–87 (in Russian) | DOI

[12] Redreev P.G., “Construction of applications with the list components”, Informatsionnye Tekhnologii, 2009, no. 5, 7–12 (in Russian)

[13] Zykin S.V., Zykin V.S., “Commutative conversion in the database when editing a multitable query”, Informacionnye Tehnologii, 24:5 (2018), 330–338 (in Russian) | DOI

[14] Ullman J.D., Principles of database systems, Computer Science Press, Stanford University, 1980 | MR | Zbl

[15] Maier D., The theory of relational databases, Computer Science Press, Rockville, Maryland, USA, 1983 https://web.cecs.pdx.edu/~maier/TheoryBook/TRD.html | MR | Zbl