<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">mais</journal-id><journal-title-group><journal-title xml:lang="ru">Моделирование и анализ информационных систем</journal-title><trans-title-group xml:lang="en"><trans-title>Modeling and Analysis of Information Systems</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1818-1015</issn><issn pub-type="epub">2313-5417</issn><publisher><publisher-name>Yaroslavl State University</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.18255/1818-1015-2015-2-259-277</article-id><article-id custom-type="elpub" pub-id-type="custom">mais-245</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Оригинальные статьи</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Articles</subject></subj-group></article-categories><title-group><article-title>Полнота динамики значений свойств данных в СУБД DIM</article-title><trans-title-group xml:lang="en"><trans-title>Completeness of the Dynamics of the Attributes Values of Data in the Database DIM</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Петров</surname><given-names>Алексей Николаевич</given-names></name><name name-style="western" xml:lang="en"><surname>Petrov</surname><given-names>A. N.</given-names></name></name-alternatives><bio xml:lang="ru"><p>аспирант, 150000 Россия, г. Ярославль, ул. Советская, 14</p></bio><bio xml:lang="en"><p>аспирант, Sovetskaya str., 14, Yaroslavl, 150000, Russia</p></bio><email xlink:type="simple">axel_petroff@mail.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Рублев</surname><given-names>Вадим Сергеевич</given-names></name><name name-style="western" xml:lang="en"><surname>Roublev</surname><given-names>V. S.</given-names></name></name-alternatives><bio xml:lang="ru"><p>профессор, 150000 Россия, г. Ярославль, ул. Советская, 14</p></bio><bio xml:lang="en"><p>профессор, Sovetskaya str., 14, Yaroslavl, 150000, Russia</p></bio><email xlink:type="simple">roublev@mail.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Ярославский государственный университет им. П. Г. Демидова</institution><country>Россия</country></aff><aff xml:lang="en"><institution>P. G. Demidov Yaroslavl State University</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2015</year></pub-date><pub-date pub-type="epub"><day>20</day><month>04</month><year>2015</year></pub-date><volume>22</volume><issue>2</issue><fpage>259</fpage><lpage>277</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Петров А.Н., Рублев В.С., 2015</copyright-statement><copyright-year>2015</copyright-year><copyright-holder xml:lang="ru">Петров А.Н., Рублев В.С.</copyright-holder><copyright-holder xml:lang="en">Petrov A.N., Roublev V.S.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.mais-journal.ru/jour/article/view/245">https://www.mais-journal.ru/jour/article/view/245</self-uri><abstract><p>Данная работа посвящена обоснованию возможности использования объектной СУБД DIM и ее механизма взаимодействий в качестве алгоритмически полной реализации объектно-динамической модели. В статье описывается расширение статической OD-модели путем включения в неё множеств алгоритмических процедур, описывающих изменения значений свойств объектов, а также создание, удаление и изменение самих объектов. Для обеспечения DIM возможностями модификации данных, эквивалентной модификациям в OD-модели, вводятся отношения взаимодействий и истории. Для того, чтобы минимизировать зависимость от конструкций описаний алгоритмических процедур OD-модели, которые могут быть записаны на различных языках, выполняется сведение аппарата процедур к универсальной форме – машине Тьюринга. Представляется способ построения машины Тьюринга эквивалентной OD.MT в рамках DIM, использующей набор PL/ODQL проце- дур в качестве аналога управляющего устройства и функциональной таблицы. Описывается принцип формирования ленты памяти такой DIM.MT путём кодирования информации об объектах DIM и их последующего декодирования с ленты обратно в объекты DIM. При этом процесс работы такой машины моделируется с помощью бесконечного цикла вы- полнения PL/ODQL процедур чтения / записи объектов с входной ленты. В заключение приводится доказательство теоремы о полноте представления динамики данных математической модели DIM новой объектной СУБД, основанное на доказанной ранее теореме о статической полноте представления данных в DIM. Статья публикуется в авторской редакции.</p></abstract><trans-abstract xml:lang="en"><p>This paper is devoted to justifying the possibility of DBMS DIM usage and its interaction mechanism as an algorithmically complete implementation of an objectdynamic 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.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>бъектная СУБД</kwd><kwd>динамика данных</kwd><kwd>полнота представления</kwd></kwd-group><kwd-group xml:lang="en"><kwd>bject DBMS</kwd><kwd>dynamics data</kwd><kwd>description completeness</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Codd E. F., “A relational model for large shared data banks”, Comm. ACM, 1970.</mixed-citation><mixed-citation xml:lang="en">Codd E. F., “A relational model for large shared data banks”, Comm. ACM, 1970.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Codd E. F., Further normalization of the database relational model, in Database Systems, Prentice Hall, Englewood Cliffs, NJ, 1972.</mixed-citation><mixed-citation xml:lang="en">Codd E. F., Further normalization of the database relational model, in Database Systems, Prentice Hall, Englewood Cliffs, NJ, 1972.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Atkinson M. et al., “The Object-Oriented Database System Manifesto.”, Elsevier Science, 1990.</mixed-citation><mixed-citation xml:lang="en">Atkinson M. et al., “The Object-Oriented Database System Manifesto.”, Elsevier Science, 1990.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Garcia-Molina H. et al., Database Systems: The Complete Book (2nd Edition), Pearson Prentice Hall, Upper Saddle River, NJ, 2008.</mixed-citation><mixed-citation xml:lang="en">Garcia-Molina H. et al., Database Systems: The Complete Book (2nd Edition), Pearson Prentice Hall, Upper Saddle River, NJ, 2008.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Greene Robert, “OODBMS Architectures. An examination of implementations.”, Technical report, Versant Corp., 2006.</mixed-citation><mixed-citation xml:lang="en">Greene Robert, “OODBMS Architectures. An examination of implementations.”, Technical report, Versant Corp., 2006.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Kostenko B. B., Kuznetsov S. D., “Istoriya i aktualnye problemy temporalnykh baz dannykh”, 2007, http://www.citforum.ru/database/articles/temporal, (in Russian).</mixed-citation><mixed-citation xml:lang="en">Kostenko B. B., Kuznetsov S. D., “Istoriya i aktualnye problemy temporalnykh baz dannykh”, 2007, http://www.citforum.ru/database/articles/temporal, (in Russian).</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Pisarenko D. S., Roublev V. S., “Object DBMS DIM and its main concepts”, Modeling and analysis of information systems, 16:1 (2009), 60–87.</mixed-citation><mixed-citation xml:lang="en">Pisarenko D. S., Roublev V. S., “Object DBMS DIM and its main concepts”, Modeling and analysis of information systems, 16:1 (2009), 60–87.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Roublev V. S., “The Object Query Language of the Dynamic Information Model DIM”, Modeling and analysis of information systems, 17:3 (2010), 144–161.</mixed-citation><mixed-citation xml:lang="en">Roublev V. S., “The Object Query Language of the Dynamic Information Model DIM”, Modeling and analysis of information systems, 17:3 (2010), 144–161.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Roublev V. S., “Zaprosnaya polnota yazyka ODQL dinamicheskoy informatsionnoy modeli DIM”, Fiziko-matematicheskie i estestvennye nauki, 1, Yaroslavl, 2011, 69–75, (in Russian).</mixed-citation><mixed-citation xml:lang="en">Roublev V. S., “Zaprosnaya polnota yazyka ODQL dinamicheskoy informatsionnoy modeli DIM”, Fiziko-matematicheskie i estestvennye nauki, 1, Yaroslavl, 2011, 69–75, (in Russian).</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Roublev V. S., “Object Query Computing Optimization in the Dynamic Information Model DIM”, Modeling and analysis of information systems, 18:2 (2011), 39–51.</mixed-citation><mixed-citation xml:lang="en">Roublev V. S., “Object Query Computing Optimization in the Dynamic Information Model DIM”, Modeling and analysis of information systems, 18:2 (2011), 39–51.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Roublev V. S., “Teorema o staticheskoy polnote SUBD DIM”, Problemy teoreticheskoy</mixed-citation><mixed-citation xml:lang="en">Roublev V. S., “Teorema o staticheskoy polnote SUBD DIM”, Problemy teoreticheskoy</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">kibernetiki. Materialy XVII mezhdunarodnoy konferentsii (Kazan, 16–20 iyunya 2014 g.), Otechestvo, Kazan, 2014, 242–245, (in Russian).</mixed-citation><mixed-citation xml:lang="en">kibernetiki. Materialy XVII mezhdunarodnoy konferentsii (Kazan, 16–20 iyunya 2014 g.), Otechestvo, Kazan, 2014, 242–245, (in Russian).</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Roublev V. S., Petrov A. N., “Yazyk PL/ODQL i mnozhestva s indeksami”, Estestvennye nauki, 3, YaGPU, Yaroslavl, 2012, 74–83, (in Russian).</mixed-citation><mixed-citation xml:lang="en">Roublev V. S., Petrov A. N., “Yazyk PL/ODQL i mnozhestva s indeksami”, Estestvennye nauki, 3, YaGPU, Yaroslavl, 2012, 74–83, (in Russian).</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Petrov A. N., “PL/ODQL language and sets with indexes”, Science Drive – 2012. Yaroslavl, 2012.</mixed-citation><mixed-citation xml:lang="en">Petrov A. N., “PL/ODQL language and sets with indexes”, Science Drive – 2012. Yaroslavl, 2012.</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">Moore Sh., Belden E., “Oracle Database PL/SQL Language Reference, 11g Release 2”, 2013.</mixed-citation><mixed-citation xml:lang="en">Moore Sh., Belden E., “Oracle Database PL/SQL Language Reference, 11g Release 2”, 2013.</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">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.</mixed-citation><mixed-citation xml:lang="en">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.</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">Petrov A. N., “PL/ODQL interpreter – realizatsiya yazyka programmirovaniya PL/ODQL, primenyaemogo v SUBD DIM”, Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM № 2014661854.</mixed-citation><mixed-citation xml:lang="en">Petrov A. N., “PL/ODQL interpreter – realizatsiya yazyka programmirovaniya PL/ODQL, primenyaemogo v SUBD DIM”, Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM № 2014661854.</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">Petrov A. N., “Programma dlya vypolneniya programmnykh moduley, sozdannykh na yazyke DIM-FL”, Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM № 2015611827.</mixed-citation><mixed-citation xml:lang="en">Petrov A. N., “Programma dlya vypolneniya programmnykh moduley, sozdannykh na yazyke DIM-FL”, Svidetelstvo o gosudarstvennoy registratsii programmy dlya EVM № 2015611827.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
