Geodesic
On termination of transactions over semantic document models
The Bulletin of Irkutsk State University. Series Mathematics, Tome 31 (2020), pp. 111-131 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

We consider the framework of Document Modeling, which lays the formal basis for representing the document lifecycle in Business Process Management systems. We formulate document models in the scope of the logic-based Semantic Modeling language and study the question whether transactions given by a document model terminate on any input. We show that in general this problem is undecidable and formulate sufficient conditions, which guarantee decidability and tractability of computing effects of transactions.
Keywords: Semantic Modeling, document model, chase.
Mots-clés : transaction 
@article{IIGUM_2020_31_a7,
     author = {A. V. Mantsivoda and D. K. Ponomaryov},
     title = {On termination of transactions over semantic document models},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {111--131},
     year = {2020},
     volume = {31},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2020_31_a7/}
}
TY  - JOUR
AU  - A. V. Mantsivoda
AU  - D. K. Ponomaryov
TI  - On termination of transactions over semantic document models
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2020
SP  - 111
EP  - 131
VL  - 31
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2020_31_a7/
LA  - en
ID  - IIGUM_2020_31_a7
ER  - 
%0 Journal Article
%A A. V. Mantsivoda
%A D. K. Ponomaryov
%T On termination of transactions over semantic document models
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2020
%P 111-131
%V 31
%U http://geodesic.mathdoc.fr/item/IIGUM_2020_31_a7/
%G en
%F IIGUM_2020_31_a7
A. V. Mantsivoda; D. K. Ponomaryov. On termination of transactions over semantic document models. The Bulletin of Irkutsk State University. Series Mathematics, Tome 31 (2020), pp. 111-131. http://geodesic.mathdoc.fr/item/IIGUM_2020_31_a7/

[1] Ershov Yu.L., Goncharov S. S., Sviridenko D. I., “Semantic Programming”, Information processing, 86, Elsevier Sci., Dublin, 1986, 1093–1100 | MR

[2] Ershov Yu. L., Goncharov S. S., Sviridenko D. I., “Semantic Foundations of Programming”, Fundamentals of Computation Theory, Proc. Intern. Conf. FCT 87 (Kazan, 1978), Lect. Notes Comp. Sci., 278, 1987, 116–122 | DOI | MR | Zbl

[3] Goncharov S. S., Sviridenko D. I., “$\Sigma$-programming”, Transl. II. Amer. Math. Soc., 142 (1989), 101–121 | DOI | Zbl

[4] Goncharov S. S., Sviridenko D. I., “$\Sigma$-programming and its Semantics”, Vychisl. Systemy, 1987, no. 120, 24–51 (in Russian) | MR | Zbl

[5] Goncharov S. S., Sviridenko D. I., “Theoretical Aspects of $\Sigma$-programming”, Lect. Notes Comp. Sci., 215, 1986, 169–179 | DOI | MR

[6] Goncharov S. S., “Conditional Terms in Semantic Programming”, Siberian Mathematical Journal, 58:5 (2017), 794–800 | DOI | MR | Zbl

[7] Goncharov S. S., Sviridenko D. I., “The Logic Language of Polynomial Computability”, Doklady Mathematics, 99:2 (2019), 11–14 | DOI | Zbl

[8] Goncharov S. S., Sviridenko D. I., “Recursive Terms in Semantic Programming”, Siberian Mathematical Journal, 59:6 (2018), 1279–1290 | MR | Zbl

[9] Kazakov I. A., Kustova I. A., Lazebnikova E. N., Mantsivoda A. V., “Building locally simple models: theory and practice”, The Bulletin of Irkutsk State University. Series Mathematics, 22 (2017), 71–89 (in Russian) | DOI | Zbl

[10] Malykh A. A., Mantsivoda A. V., “Document modeling”, The Bulletin of Irkutsk State University. Series Mathematics, 21 (2017), 89–107 (in Russian) | DOI | Zbl

[11] Mantsivoda A. V., Ponomaryov D. K., “A Formalization of Document Models with Semantic Modelling”, Bulletin of Irkutsk State University, Series Mathematics, 27 (2019), 36–54 | DOI | MR

[12] Ospichev S., Ponomarev D., “On the Complexity of Formulas in Semantic Programming”, Siberian Electronic Mathematical Reports, 15 (2018), 987–995 | MR | Zbl

[13] Reiter R., Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems, MIT Press, 2001 | DOI

[14] Vityaev E. E., “Semantic Probablistic Inference of Predictions”, The Bulletin of Irkutsk State University. Series Mathematics, 21 (2017), 33–50 (in Russian) | MR | Zbl