نظریه پایگاه داده
نظریهٔ پایگاه داده گستره وسیعی از موضوعات مرتبط با مطالعه و تحقیق قلمرو نظری پایگاه دادهها و سیستمهای مدیریت پایگاه داده را پوشش میدهد.
جنبههای نظری مدیریت دادهها در میان زمینههای دیگر عبارتند از: مبانی زبان پرس و جو (کوئری)، پیچیدگی محاسباتی و قدرت بیانگری کوئری، تئوری مدل محدود، نظریه طراحی پایگاه داده، نظریه وابستگی، مبانی کنترل همزمان و بازیابی پایگاه داده، پایگاه دادههای قیاسی، پایگاه دادههای زمانی و مکانی، پایگاه دادههای زمان واقعی، مدیریت دادههای نامشخص و پایگاههای احتمالی و دادههای وب.
اغلب پژوهشهای تحقیقاتی بهطور مرسوم بر اساس مدل رابطه ای است، زیرا این مدل معمولاً سادهترین و بنیادیترین مدل مورد توجه است. نتایج مربوطه برای مدلهای دیگر داده، مانند مدلهای شی گرا یا نیمه ساختار یافته، یا اخیراً، مدلهای گراف داده و XML، اغلب از آنهایی که در مدل ارتباطی استفاده میشود، مشتق میشوند.[1]
تمرکز مرکزی نظریهٔ پایگاه داده در درک پیچیدگی و قدرت زبان کوئری و ارتباط آنها با منطق است. از جبر رابطه ای و منطق مرتبه اول یا حساب محمولات (که با قضیه Codd معادل اند) و یک بینش شروع میشوند؛ بینشی که حاصل از بررسی پرس و جوهای مهم مانند دستیابی گراف که در این زبان قابل بیان نیست و زبان قوی تر مبتنی بر برنامهنویسی منطقی و منطق ثابت مانند datalog است. تمرکز دیگر بر پایهٔ بهینهسازی کوئری و ادغام دادهها بود. در اینجا بیشتر پرس و جوهای ترکیبی مورد مطالعه قرار گرفتند که از بهینهسازی کوئری حتی تحت محدودیتهای استفاده از الگوریتم chase پشتیبانی میکنند.
کنفرانسهای پژوهشی اصلی در این حوزه عبارتند از: سمپوزیوم ACM در اصول سیستمهای پایگاه داده (PODS) و کنفرانس بینالمللی نظریه پایگاه داده (ICDT).
جستارهای وابسته
- پرس و جو ی ترکیبی
- قدرت بیانگری
منابع
- "A website on the Theoretical Foundations of Data Management". Archived from the original on 30 January 2019. Retrieved 29 January 2019.
- Abiteboul, Serge; Hull, Richard B.; Vianu, Victor (1995), Foundations of Databases, Addison-Wesley, ISBN 0-201-53771-0
- دیوید مایر، Theory of Databases Relational. کپی رایت ۱۹۸۳ دیوید مایر. در http://web.cecs.pdx.edu/~maier/ TheoryBook / TRD.html موجود است
پیوند به بیرون
- پروندههای رسانهای مربوط به Database theory در ویکیانبار