Preview

Моделирование и анализ информационных систем

Расширенный поиск

Полнота динамики значений свойств данных в СУБД DIM

https://doi.org/10.18255/1818-1015-2015-2-259-277

Полный текст:

Аннотация

Данная работа посвящена обоснованию возможности использования объектной СУБД DIM и ее механизма взаимодействий в качестве алгоритмически полной реализации объектно-динамической модели. В статье описывается расширение статической OD-модели путем включения в неё множеств алгоритмических процедур, описывающих изменения значений свойств объектов, а также создание, удаление и изменение самих объектов. Для обеспечения DIM возможностями модификации данных, эквивалентной модификациям в OD-модели, вводятся отношения взаимодействий и истории. Для того, чтобы минимизировать зависимость от конструкций описаний алгоритмических процедур OD-модели, которые могут быть записаны на различных языках, выполняется сведение аппарата процедур к универсальной форме – машине Тьюринга. Представляется способ построения машины Тьюринга эквивалентной OD.MT в рамках DIM, использующей набор PL/ODQL проце- дур в качестве аналога управляющего устройства и функциональной таблицы. Описывается принцип формирования ленты памяти такой DIM.MT путём кодирования информации об объектах DIM и их последующего декодирования с ленты обратно в объекты DIM. При этом процесс работы такой машины моделируется с помощью бесконечного цикла вы- полнения PL/ODQL процедур чтения / записи объектов с входной ленты. В заключение приводится доказательство теоремы о полноте представления динамики данных математической модели DIM новой объектной СУБД, основанное на доказанной ранее теореме о статической полноте представления данных в DIM. Статья публикуется в авторской редакции.

Об авторах

Алексей Николаевич Петров
Ярославский государственный университет им. П. Г. Демидова
Россия
аспирант, 150000 Россия, г. Ярославль, ул. Советская, 14


Вадим Сергеевич Рублев
Ярославский государственный университет им. П. Г. Демидова
Россия
профессор, 150000 Россия, г. Ярославль, ул. Советская, 14


Список литературы

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, in Database Systems, Prentice Hall, Englewood Cliffs, NJ, 1972.

3. Atkinson M. et al., “The Object-Oriented Database System Manifesto.”, Elsevier Science, 1990.

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, http://www.citforum.ru/database/articles/temporal, (in Russian).

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”, Fiziko-matematicheskie i estestvennye nauki, 1, Yaroslavl, 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

12. kibernetiki. Materialy XVII mezhdunarodnoy konferentsii (Kazan, 16–20 iyunya 2014 g.), Otechestvo, Kazan, 2014, 242–245, (in Russian).

13. Roublev V. S., Petrov A. N., “Yazyk PL/ODQL i mnozhestva s indeksami”, Estestvennye nauki, 3, YaGPU, Yaroslavl, 2012, 74–83, (in Russian).

14. Petrov A. N., “PL/ODQL language and sets with indexes”, Science Drive – 2012. Yaroslavl, 2012.

15. 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, 3, YarGU, Yaroslavl, 2008, 88–96, (in Russian).

16. 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).

17. Moore Sh., Belden E., “Oracle Database PL/SQL Language Reference, 11g Release 2”, 2013.

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

19. 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.

20. Petrov A. N., “PL/ODQL interpreter – realizatsiya yazyka programmirovaniya PL/ODQL, primenyaemogo v SUBD DIM”, Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM № 2014661854.

21. Petrov A. N., “Programma dlya vypolneniya programmnykh moduley, sozdannykh na yazyke DIM-FL”, Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM № 2015611827.


Для цитирования:


Петров А.Н., Рублев В.С. Полнота динамики значений свойств данных в СУБД DIM. Моделирование и анализ информационных систем. 2015;22(2):259-277. https://doi.org/10.18255/1818-1015-2015-2-259-277

For citation:


Petrov A.N., Roublev V.S. Completeness of the Dynamics of the Attributes Values of Data in the Database DIM. Modeling and Analysis of Information Systems. 2015;22(2):259-277. (In Russ.) https://doi.org/10.18255/1818-1015-2015-2-259-277

Просмотров: 420


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)