Datubāzu teorija
 | Šis raksts ir jāuzlabo nozares ekspertam. Lūdzu, palīdzi uzlabot šo rakstu. Ja ir kādi ieteikumi, vari tos pievienot diskusijā. Vairāk lasi lietošanas pamācībā. |
 | Šim rakstam ir nepieciešamas atsauces uz ārējiem avotiem. Lūdzu, palīdzi uzlabot šo rakstu, pievienojot vismaz vienu atsauci. Ja ir kādi ieteikumi, vari tos pievienot diskusijā. Vairāk lasi lietošanas pamācībā. Meklēt atsauces: "Datubāzu teorija" – ziņas · grāmatas · scholar · brīvi attēli |
 | Šis raksts ir slikti iztulkots. Iespējams, tulkojums ģenerēts ar tulkošanas programmatūru, vai arī tulks slikti pārvalda vienu no valodām. Lūdzu, palīdzi uzlabot šo rakstu. Ja ir kādi ieteikumi, vari tos pievienot diskusijā. Vairāk lasi lietošanas pamācībā. |
Datu bāzes teorija apkopo plašu tematu loku, kas saistīti ar datubāzes un datubāzu pārvaldības sistēmu pētniecību un pētījumiem teorētiskās sfērās.
Starp citām sfērām datu pārvaldības teorētiskie aspekti iekļauj vaicājumu valodas pamatu likšanu, skaitļošanas sarežģītību un vaicājumu izteiksmīgu jaudu, ierobežotu modeļa teoriju, datubāzes dizaina teoriju, atkarības teoriju, laiksakritības vadības pamatus un datubāzes atjaunošanu, deduktīvas datubāzes, laika un telpas datubāzes, reāla laika datubāzes, neskaidru un varbūtību datubāzes pārvaldību un tīmekļa datus.
Lielāka daļa pētnieciskā darba tradicionāli tiek balstīts uz relāciju moduļa, jo tas tiek uzskatīts par vienkāršākās un fundamentālākas nozīmes moduli. Atbilstošie rezultāti citiem datu modeļiem, piemēram, objektorientētus vai daļēji strukturētus modeļus vai pavisam nesen diagrammu un datu modeļi un XML, ir bieži atvasināmi no relāciju modeļiem.
Datubāzes teorijas centrā ir sapratne par vaicājumu valodu un tās saistību ar loģiku sarežģītība. Sākot no relāciju algebras un pirmās kārtas loģikas (kas ir līdzvērtīgi Koda teorēmas) un atziņa, ka svarīgi vaicājumi, piemēram, diagrammu sasniedzamība nav izsakāma šajā valodā, daudz spēcīgāka valoda balstīta uz loģisko programmēšanu un fixpoint loģika kā DATALOG tika izpētīta. Vēl uzmanība tika vērsta uz vaicājumu optimizāciju un datu integrācijas pamatiem. Šeit lielākā daļa darbu pētīta konjunktīvi vaicājumiem, kas pieņem vaicājumu optimizāciju, pat saskaņā ar ierobežojumiem, izmantojot pakaļdzīšanās (chase) algoritmu.