О безопасности одно- и многоместных IFP-операторов
https://doi.org/10.18255/1818-1015-2018-5-525-533
Аннотация
Об авторе
Сергей Михайлович ДудаковРоссия
доктор физ.-мат. наук, доцент.
ул. Желябова, 33, г. Тверь, 170100.
Список литературы
1. Codd E. F., "Relational completeness of data base sublanguages", Database Systems, ed. Rustin R., Prentice-Hall, 1972, 33-64.
2. Дудаков С. М., “О безопасности рекурсивных запросов”, Вестник ТвГУ. Серия: Прикладная математика, 2012, № 4, 71–80.
3. Дудаков С. М., “О безопасности IFP-операторов и рекурсивных запросов”, Вестник ТвГУ. Серия: Прикладная математика, 2013, № 2, 5–13.
4. Dudakov S. M., "On inflationary fix-point operators safety", Lobachevskii J. Math., 36:4 (2015), 328-331.
5. Gurevich Y., Shelah S., "Fixed-point extensions of first-order logic", Annals of Pure and Applied Logic, 32 (1986), 265-280.
6. Kanellakis P., Kuper G., Revesz P., "Constraint query languages", J. of Computer and System Sciences, 51:1 (1995), 26-52.
7. Marker D., Model theory: an introduction, Springer-Verlag, New York, 2002.
Рецензия
Для цитирования:
Дудаков С.М. О безопасности одно- и многоместных IFP-операторов. Моделирование и анализ информационных систем. 2018;25(5):525-533. https://doi.org/10.18255/1818-1015-2018-5-525-533
For citation:
Dudakov S. On Safety of Unary and Non-unary IFP-operators. Modeling and Analysis of Information Systems. 2018;25(5):525-533. (In Russ.) https://doi.org/10.18255/1818-1015-2018-5-525-533