Ключевые слова:
слабая о-минимальность, запросбаз данных, счетный спектр,
почти омега-категоричность, ранг выпуклости.
Есептік модельдер саны аз реттелген аймақ бойынша деректер базының
сҧрауларының міндеттілігі туралы
Кілт сӛздер:
әлсіз о-минималдық, мәлімет базасының сұраныс, есептік спектрі,
омега-категориялық дерлік, дӛңестік рангісі.
Университеттің 85 жылдығына арналған «Қазіргі заманғы математика:
проблемалары және қолданыстары» III халықаралық Тайманов оқуларының
материалдар жинағы, 25 қараша, 2022 жыл
424
On expressibility of database queries over an ordered domain
with a small number of countable models
Keywords:
weak o-minimality, database query, countable spectrum, almost omega-
categoricity, convexity rank.
Список использованной литературы:
1.
Codd E.F. A relational model for large shared data banks // Communications ACM. –
1970. – Vol. 13. – No. 6. - P. 377-387.
2.
Codd E.F. Relational completeness of database sublanguages // Database systems. –
Prentice-Hall. – 1972. – P. 33-64.
3.
Benedikt M., Dong G., Libkin L., Wong L. Relational expressive power of constraint
query languages // Journal of ACM. – 1998. – Vol. 45. – No. 1. – P. 1-34.
4.
Belegradek O.V., Stolboushkin A.P., and Taitslin M.A. Extended
order-generic
queries // Annals of Pure and Applied Logic. – 1999. – Vol. 97. – P. 85-125.
5.
Taitslin M.A. 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.
Kulpeshov B.Sh. 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.
Kulpeshov B.Sh. To Reducibility of Database Queries over an Ordered Domain //
Computer Modelling and New Technologies. – 2012. – Vol. 16. – No. 2. – P. 34-39.
9.
Kulpeshov B.Sh. 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.
Baizhanov B.S., Kulpeshov B.Sh. On the Isolation
Property over a Database
Domain // Journal of Mathematics and System Science. – 2013. – Vol. 3. – No. 2. – P. 96-100.
11.
Macpherson H.D., Marker D., Steinhorn Ch. Weakly
o-minimal
structures and
real closed fields // Transactions of the American Mathematical Society. – 2000. – Vol.
352. – P. 5435–5483.
12.
Kulpeshov B.Sh. Weakly o-minimal structures and some of their properties // The
Journal of Symbolic Logic. – 1998. – Vol. 63. – P. 1511–1528.
13.
Baizhanov B.S. 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.
Ikeda K., Pillay A., Tsuboi A. On theories having three countable
models //
Mathematical Logic Quarterly. – 1998. – Vol. 44. – No. 2. – P. 161–166.
15.
Sudoplatov S.V. 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.
Peretyat’kin M.G. A theory with three countable models // Algebra and Logic. –
1980. – Vol. 19. – No. 2. – P. 139-147.
17.
Kulpeshov B.Sh., Sudoplatov S.V. Linearly
ordered theories which are nearly
countably categorical // Mathematical Notes. – 2017. – Vol. 101. – No. 3. – P. 475–483.
|