Completeness of the dynamics of the attributes values of data in the database DIM

A. N. Petrov ; V. S. Roublev

Modelirovanie i analiz informacionnyh sistem, Tome 22 (2015) no. 2, pp. 259-277.

Résumé

This paper is devoted to justifying the possibility of DBMS DIM usage and its interaction mechanism as an algorithmically complete implementation of an object-dynamic model. An extension for a static $OD$-model by including sets of algorithmic procedures which modify values of object attributes and also create, remove and modify objects themselves is considered. To ensure the possibility of modifying DIM DB data in a way equivalent to $OD$-model modifications, interaction and history relations between DIM objects are considered. To minimize the dependence from concrete language constructions, which describe $OD$-model algorithmic procedures, the reduction to the universal form — Turing machine is performed. A way to create a Turing machine equivalent to $OD.MT$ in terms of DIM, where a special set of PL/ODQL procedures is used as a control unit and a functional table is proposed. Later, a mechanism to form a memory tape of such $DIM.MT$ by encoding information about DIM object, and their subsequent decoding back to DIM objects is described. The process of work of such a machine is modelled by using an endless cycle of executing some PL/ODQL procedures of reading and writing objects from/to the memory tape. Basing on the earlier proved theorem about the static completeness of data representation in DIM, at the end of the paper the proof on the completeness of representation of the Objects attributes values dynamics is considered. The article is published in the author's wording.

Détail

Keywords: object DBMS, dynamics data, description completeness.

Bibliographie

[1] Codd E. F., “A relational model for large shared data banks”, Comm. ACM, 1970

[2] Codd E. F., “Further normalization of the database relational model”, Database Systems, Prentice Hall, Englewood Cliffs, NJ, 1972

[3] Atkinson M. et al., “The Object-Oriented Database System Manifesto”, Elsevier Science, 1990, New York, N.Y.

[4] Garcia-Molina H. et al., Database Systems: The Complete Book, 2nd Edition, Pearson Prentice Hall, Upper Saddle River, NJ, 2008

[5] Greene Robert, OODBMS Architectures. An examination of implementations, Technical report, Versant Corp., 2006

[6] Kostenko B. B., Kuznetsov S. D., Istoriya i aktualnye problemy temporalnykh baz dannykh, , 2007 (in Russian) http://www.citforum.ru/database/articles/temporal

[7] Pisarenko D. S., Roublev V. S., “Object DBMS DIM and its main concepts”, Modeling and analysis of information systems, 16:1 (2009), 60–87

[8] Roublev V. S., “The Object Query Language of the Dynamic Information Model DIM”, Modeling and analysis of information systems, 17:3 (2010), 144–161

[9] Roublev V. S., “Zaprosnaya polnota yazyka ODQL dinamicheskoy informatsionnoy modeli DIM”, Yaroslavsky pedagogichesky vestnik. Fiziko-matematicheskie i estestvennye nauki, 1 (2011), 69–75 (in Russian)

[10] Roublev V. S., “Object Query Computing Optimization in the Dynamic Information Model DIM”, Modeling and analysis of information systems, 18:2 (2011), 39–51

[11] Roublev V. S., “Teorema o staticheskoy polnote SUBD DIM”, Problemy teoreticheskoy kibernetiki, Materialy XVII mezhdunarodnoy konferentsii (Kazan, 16–20 iyunya 2014 g.), Otechestvo, Kazan, 2014, 242–245 (in Russian)

[12] Roublev V. S., Petrov A. N., “Yazyk PL/ODQL i mnozhestva s indeksami”, Yaroslavsky pedagogichesky vestnik. Estestvennye nauki, 3 (2012), 74–83 (in Russian)

[13] Petrov A. N., “PL/ODQL language and sets with indexes”, Science Drive–2012 (Yaroslavl, 2012)

[14] Pisarenko D. S., “Yazyk matematicheskikh formul DIM-FL Dinamicheskoy informatsionnoy modeli DIM”, Studencheskie zametki po informatike i matematike, Sbornik nauchnykh statey studentov i aspirantov fakulteta IVT, v. 3, YarGU, Yaroslavl, 2008, 88–96 (in Russian)

[15] Petrov A. N., “Yazyk formul DIM-FL i ego realizatsiya v SUBD DIM”, Molodaya nauka v klassicheskom universitete, Tezisy dokladov nauchnykh konferentsy festivalya studentov, aspirantov i molodykh uchenykh (Ivanovo, 21–25 aprelya 2014), Ivanovsky gosudarstvenny universitet, Ivanovo, 2014, 44–45 (in Russian)

[16] Moore Sh., Belden E., Oracle Database PL/SQL Language Reference, 11g Release 2, 2013

[17] Petrov A. N., “Vzaimodeystvi SUBD DIM i ikh realizatsiya”, II vesennie nauchnye chteniya, Sbornik dokladov Mezhdunarodnoy konferentsii (Donetsk, Ukraina, 17 may 2014), Nauchno-informatsionny tsentr “Znanie”, 2014 (in Russian)

[18] Petrov A., “Dynamic Information Model Interactions: Design and Implementation of Database-Driven Workflow Approach”, Preliminary proceedings of the 8th Spring/Summer young researches' colloquiu on software engineering, SYRCoSE 2014, Saint Petersburg, Russia, 2014, 177–181 | Zbl

[19] Petrov A. N., PL/ODQL interpreter — realizatsiya yazyka programmirovaniya PL/ODQL, primenyaemogo v SUBD DIM, Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM No 2014661854

[20] Petrov A. N., Programma dlya vypolneniya programmnykh moduley, sozdannykh na yazyke DIM-FL, Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM No 2015611827