On Safety of Unary and Non-unary IFP-operators
https://doi.org/10.18255/1818-1015-2018-5-525-533
Abstract
About the Author
Sergey DudakovRussian Federation
Dr. of Science.
33 Zhelyabova str., Tver 170100.
References
1. Codd E. F., "Relational completeness of data base sublanguages", Database Systems, ed. Rustin R., Prentice-Hall, 1972, 33-64.
2. Dudakov S. M., "On safety of recursive queries", Vestnik TvGU. Ser.: Prikl. Matem. [Herald of Tver State University. Ser.: Appl. Math.], 2012, № 4, 71-80, (in Russian).
3. Dudakov S. M., "On safety of IFP-operators and recursive queries", Vestnik TvGU. Ser.: Prikl. Matem. [Herald of Tver State University. Ser.: Appl. Math.], 2013, № 2, 5-13, (in Russian).
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.
Review
For citations:
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