ON DATABASE QUERIES OVER ALMOST OMEGA-CATEGORICAL ORDERED DOMAIN
https://doi.org/10.55452/1998-6688-2021-18-2-73-78
Abstract
We consider relational databases organized over an ordered domain with some additional relations – a typical example is the ordered domain of rational numbers together with the operation of addition. In the focus of our study are the first-order (FO) queries that are invariant under order-preserving permutations – such queries are called order-generic. It was discovered that for some domains order-generic FO queries fail to express more than pure order queries. Here we prove the collapse result theorem over an almost omegacategorical weakly o-minimal domain having convexity rank 1.
About the Authors
B. Sh. Kulpeshov
Kazakh-British technical university
Kazakhstan
Kazakhstan
Kulpeshov Beibut Shayikovich - Doctor of Physical and Mathematical Sciences, Professor
050000, Almaty
T. S. Mustafin
Kazakh-British technical university
Kazakhstan
Kazakhstan
Mustafin Timur Salymovich – Lecturer, Kazakh-British Technical University
050000, Almaty
References
1. E.F. Codd. A relational model for large shared data banks // Communications ACM. – 1970. Vol. 13. – No. 6. - P. 377-387.
2. E.F. Codd. Relational completeness of database sublanguages // Database systems. – PrenticeHall. – 1972. – P. 33-64.
3. M. Benedikt, G. Dong, L. Libkin, L. Wong. Relational expressive power of constraint query languages // Journal of ACM. – 1998. – Vol. 45. – No. 1. – P. 1-34.
4. O.V. Belegradek, A.P. Stolboushkin, and M.A. Taitslin. Extended order-generic queries // Annals of Pure and Applied Logic. – 1999. – Vol. 97. – P. 85-125.
5. M.A. Taitslin. A general condition for collapse results // Annals of Pure and Applied Logic. 2002. – Vol. 113. – No. 1-3. – P. 323-330.
6. С.М. Дудаков, М.А. Тайцлин. Трансляционные результаты для языков запросов в теории баз данных // Успехи математических наук. – 2006. – Т. 61. – № 2. – С. 3-66.
7. B.Sh. Kulpeshov. On Problem of Expressiveness of Database Queries // International Journal of Mathematics, Computer Sciences and Information Technology. – 2010. – Vol. 3. – No. 2. – P. 123-128.
8. B.Sh. Kulpeshov. To Reducibility of Database Queries over an Ordered Domain // Computer Modelling and New Technologies. – 2012. – Vol. 16. – No. 2. – P. 34-39.
9. B.Sh. Kulpeshov. On Reducibility of database queries over a circularly minimal domain // Advances in Computational Sciences and Technology. – 2013. – Vol. 6. – No. 1. – P. 25-33.
10. B.S. Baizhanov, B.Sh. Kulpeshov. On the Isolation Property over a Database Domain // Journal of Mathematics and System Science. – 2013. – Vol. 3. – No. 2. – P. 96-100.
11. H.D. Macpherson, D. Marker, Ch. Steinhorn. Weakly o-minimal structures and real closed fields // Transactions of the American Mathematical Society. – 2000. – Vol. 352. – P. 5435–5483.
12. B.Sh. Kulpeshov. Weakly o-minimal structures and some of their properties // The Journal of Symbolic Logic. – 1998. – Vol. 63. – P. 1511–1528.
13. B.S. Baizhanov. Expansion of a model of a weakly o-minimal theory by a family of unary predicates // The Journal of Symbolic Logic. – 2001. – Vol. 66. – P. 1382–1414.
14. K. Ikeda, A. Pillay, A. Tsuboi. On theories having three countable models // Mathematical Logic Quarterly. – 1998. – Vol. 44. – No. 2. – P. 161–166.
15. S.V. Sudoplatov. Classification of countable models of complete theories. — Part 1. — Novosibirsk: Novosibirsk State Technical University Publishing House. — 2018. — ISBN 978-5-7782-3527-4. — 326 p.
16. M.G. Peretyat’kin. A theory with three countable models // Algebra and Logic. – 1980. – Vol. 19. – No. 2. – P. 139-147.
17. B.Sh. Kulpeshov, S.V. Sudoplatov. Linearly ordered theories which are nearly countably categorical // Mathematical Notes. – 2017. – Vol. 101. – No. 3. – P. 475–483.
18. A.B. Altayeva, B.Sh. Kulpeshov. Binarity of almost -categorical quite o-minimal theories // Siberian Mathematical Journal. 2020. – Vol. 61. – No. 3. – P. 379-390.
19. B.Sh. Kulpeshov, T.S. Mustafin. Almost w -categorical weakly o-minimal theories of convexity rank 1 // Siberian Mathematical Journal. – 2021. – Vol. 62. – No. 1. – P. 52-65.
Review
For citations:
Kulpeshov B.Sh., Mustafin T.S. ON DATABASE QUERIES OVER ALMOST OMEGA-CATEGORICAL ORDERED DOMAIN. Herald of the Kazakh-British technical university. 2021;18(2):73-78. (In Russ.) https://doi.org/10.55452/1998-6688-2021-18-2-73-78
Views:
330
Email this article 