Кіріспе

Деректер қоры мен деректерді басқару жүйелерінің теориялық саласы

Деректер қорының теориясы деректер қорының теориялық саласы мен деректерді басқару жүйелерін зерттеуге қатысты тақырыптардың кең ауқымын қамтиды. Деректерді басқарудың теориялық аспектілеріне, басқа салалармен қатар, сұраныс тілдерінің негіздері, есептеу күрделілігі және сұраныстардың экспрессивті күші, шекті модельдер теориясы, деректер қорын жобалау теориясы, тәуелділік теориясы, қатарластыруды басқару және деректер қорын қалпына келтіру негіздері, дедуктивті деректер қоры, уақыттық және кеңістіктік деректер қоры, нақты уақыт деректер қоры, белгісіз деректер мен ықтималдық деректер қорын басқару және веб-деректер кіреді. Көптеген зерттеу жұмыстары дәстүрлі түрде реляциялық модельге негізделген, себебі бұл модель әдетте ең қарапайым және маңызды модель ретінде қарастырылады. Объектіге бағытталған немесе жартылай құрылымдалған модельдер сияқты басқа дерек модельдері үшін алынған нәтижелер, сондай-ақ жақында графикалық дерек модельдері мен XML үшін де реляциялық модельге сәйкес келеді. Деректер қорының теориясы сұраныс тілдерінің күрделілігі мен қуатын, сондай-ақ олардың логикамен байланысын түсінуге көмектеседі. Реляциялық алгебрадан және бірінші реттік логикадан (Кодд теоремасы бойынша эквивалентті) бастап, графқа қол жетімділік сияқты маңызды сұраныстар осы тілде бейнелене алмайтыны анықталды, содан кейін логикалық бағдарламалау және фикспойнт логикасы негізіндегі, мысалы Datalog сияқты қуаттырақ тілдер зерттелді. Теория сонымен қатар сұранысты оптимизациялау және деректерді интеграциялау негіздерін зерттейді. Бұл бағытта көбінесе конъюнктивті сұраныстар зерттелді, олар шектеулер аясында іздеу алгоритмін қолдана отырып, сұранысты оптимизациялауға мүмкіндік береді. Бұл саладағы маңызды ғылыми конференциялар – ACM деректер қоры жүйелерінің принциптері бойынша симпозиум (PODS) және Халықаралық деректер қоры теориясы конференциясы (ICDT).

Жалпы сілтемелер

Дэвид Майер, Реляциялық деректер базасының теориясы. Авторлық құқығы 1983 Дэвид Майерге тиесілі. Қолжетімді: http://web. cecs. pdx. edu/~maier/TheoryBook/TRD. html