Monotonik so'rov - Monotonic query

Ushbu maqolada bir nechta muammolar mavjud. Iltimos yordam bering uni yaxshilang yoki ushbu masalalarni muhokama qiling munozara sahifasi. (Ushbu shablon xabarlarini qanday va qachon olib tashlashni bilib oling) Bu maqola bu yetim, boshqa maqolalar singari unga havola. Iltimos havolalar bilan tanishtirish dan ushbu sahifaga tegishli maqolalar; harakat qilib ko'ring Havola vositasini toping takliflar uchun. (2012 yil dekabr) Ushbu maqolaning mavzusi Vikipediyaga mos kelmasligi mumkin umumiy e'tiborga loyiqlik bo'yicha ko'rsatma. Iltimos, havola orqali notanishlikni aniqlashga yordam bering ishonchli ikkilamchi manbalar bu mustaqil mavzuni va shunchaki ahamiyatsiz so'zlardan tashqari uni muhim yoritishni ta'minlaydi. Agar nogironlik o'rnatilmasa, maqola ehtimol bo'lishi mumkin birlashtirildi, qayta yo'naltirildi, yoki o'chirildi. Manbalarni toping: "Monotonik so'rov"  – Yangiliklar  · gazetalar  · kitoblar  · olim  · JSTOR (2011 yil yanvar) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Yilda ma'lumotlar bazasi nazariyasi va tizimlar, a monotonik so'rov ma'lumotlar bazasiga yangi koreyklar qo'shilishi bilan ilgari ishlab chiqarilgan biron bir korrektsiyani yo'qotmaydigan. Rasmiy ravishda, so'rov q sxema bo'yicha R monotonik, agar har ikkala misol uchun bo'lsa Men, J ning R, ${ displaystyle I subseteq J Rightarrow q (I) subseteq q (J)}$ (q a bo'lishi kerak monotonik funktsiya ).^[1]

Monotonik so'rovga misol a tanlang -loyiha -qo'shilish faqat tenglik shartlarini o'z ichiga olgan so'rov (shuningdek ma'lum birlashtiruvchi so'rovlar ). Monotonik bo'lmagan so'rovlarga birlashma so'rovlari yoki belgilangan farq bilan so'rovlar misol bo'la oladi.

So'rovning monotonik yoki yo'qligini aniqlash, so'rovlarni optimallashtirish uchun juda muhim bo'lishi mumkin, ayniqsa ko'rinishlarni saqlash va ma'lumotlar oqimini boshqarish. Monotonik so'rov uchun javoblar to'plami ma'lumotlar bazasiga ko'proq qo'shimcha qo'shilishi bilan o'sishi mumkinligi sababli, ma'lumotlar bazasining faqat yangi qismlarini bajarish va mavjud natijalar to'plamiga yangi natijalarni qo'shish orqali so'rovlarni qayta ishlash optimallashtirilishi mumkin.

Ilovalar

So'rovlar bekor qilinmoqda

Monotonik so'rovlar SQL so'rovlarini bekor qilish mavzusida muhim ahamiyatga ega. Agar so'rov monotonik bo'lsa, demak, ichki so'rov aslida so'ralmagan bo'lishi mumkin.

Ma'lumot oqimlari

Ma'lumotlar oqimi - bu real vaqt rejimida, doimiy ravishda buyurtma qilingan (to'g'ridan-to'g'ri kelish vaqti yoki aniq vaqt tamg'asi bilan) elementlarning ketma-ketligi, ob'ektlar soni cheksiz deb hisoblanadi va shuning uchun ularni to'liq saqlab bo'lmaydi. Ma'lumot oqimlari bo'yicha so'rovlar tez-tez chaqiriladi davomiy yoki uzoq muddatli so'rovlar va asosan oqimdagi cheklangan oynalar oynasi ustida ishlaydi. Uzluksiz so'rovni baholash uchun so'rovni yangi kelgan stendlar bo'yicha qayta ko'rib chiqish va yangi natijalarni mavjud natijalar to'plamiga qo'shish mumkin. Rasmiy ravishda, ruxsat bering A (Q, t) doimiy so'rovning javoblar to'plami bo'ling Q t vaqtida, the joriy vaqt, va 0 boshlanish vaqti. Unda, agar Q monotonik bo'lsa, uning τ vaqtida o'rnatilgan natijasi bo'ladi

${ displaystyle A (Q, tau) = bigcup _ {t = 1} ^ { tau} (A (Q, t) -A (Q, t-1)) kubok A (Q, 0)}$

Aksincha, mononik bo'lmagan so'rovlar quyidagi javob semantikasiga ega:

${ displaystyle A (Q, tau) = bigcup _ {t = 0} ^ { tau} A (Q, t)}$

^[2]

Texnik xizmatni ko'ring

Bu ma'lumotlar bazasi bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.