Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Дедуктивна база даних — це система бази даних, яка виконує дедукцію (тобто висновки додаткових фактів) на основі правил і фактів, які зберігаються в (дедуктивній) базі даних. Datalog — це мова, яка зазвичай використовується для визначення фактів, правил та запитів у дедуктивних базах даних. Дедуктивні бази даних є втіленням бажання поєднати логічне програмування з реляційними базами даних для побудови систем, що підтримують потужний формалізм і все ще швидко здатні працювати з гігантськими наборами даних. Дедуктивні бази даних є виразнішими за реляційні бази даних, але поступаються виразністю системам логічного програмування. В останні роки дедуктивні бази даних, такі як Datalog, знайшли нове застосування в інтеграції даних, витягуванні інформації, мережах, аналізі програм, безпеці та хмарних обчисленнях.
Дедуктивні бази даних та логічне програмування
Дедуктивні бази даних використовують багато понять із логічного програмування; правила і факти, зазначені у журналі даних мови дедуктивних баз даних дуже схожі на ті, що містяться у Prolog. Однак існують важливі відмінності між дедуктивними базами даних та логічним програмуванням:
- Чутливість до порядку і процедурність: у Prolog виконання програми залежить від порядку правил у програмі і від порядку частин цих правил; ці властивості використовуються програмістами для побудови ефективних програм. Однак в мовах баз даних (таких як SQL або Datalog) виконання програми не залежить від порядку правил і фактів.
- Спеціальні предикати: у Prolog програмісти можуть безпосередньо впливати на процедурну оцінку програми за допомогою спеціальних предикатів, таких як [en], які не мають відповідностей у дедуктивних базах даних.
- Функціональні символи: Логічні мови програмування дозволяють [en] створювати складні символи. У дедуктивних базах даних це заборонено.
- Обробка, орієнтована на кортеж: дедуктивні бази даних використовують обробку, орієнтовану на набір, в той час як мови логічного програмування концентруються на одному кортежі за раз.
Примітки
- (PDF). Архів оригіналу (PDF) за 22 жовтня 2020. Процитовано 6 грудня 2019.
Подальше читання
- Herve Gallaire, [en], Jean-Marie Nicolas: «Логіка та бази даних: дедуктивний підхід». Видавець: ACM doi: 10.1145 / 356924.356929
- [en], [en], Летіція Танка: «Логічне програмування та бази даних» . Видавець: Springer-Verlag
- Рамес Ельмасрі та Шамкант Нават: «Основи систем баз даних» (3-е видання). Видавець: Аддісон-Уеслі Лонгман.
 | Це незавершена стаття про бази даних. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Deduktivna baza danih ce sistema bazi danih yaka vikonuye dedukciyu tobto visnovki dodatkovih faktiv na osnovi pravil i faktiv yaki zberigayutsya v deduktivnij bazi danih Datalog ce mova yaka zazvichaj vikoristovuyetsya dlya viznachennya faktiv pravil ta zapitiv u deduktivnih bazah danih Deduktivni bazi danih ye vtilennyam bazhannya poyednati logichne programuvannya z relyacijnimi bazami danih dlya pobudovi sistem sho pidtrimuyut potuzhnij formalizm i vse she shvidko zdatni pracyuvati z gigantskimi naborami danih Deduktivni bazi danih ye viraznishimi za relyacijni bazi danih ale postupayutsya viraznistyu sistemam logichnogo programuvannya V ostanni roki deduktivni bazi danih taki yak Datalog znajshli nove zastosuvannya v integraciyi danih vityaguvanni informaciyi merezhah analizi program bezpeci ta hmarnih obchislennyah Deduktivni bazi danih ta logichne programuvannyaDeduktivni bazi danih vikoristovuyut bagato ponyat iz logichnogo programuvannya pravila i fakti zaznacheni u zhurnali danih movi deduktivnih baz danih duzhe shozhi na ti sho mistyatsya u Prolog Odnak isnuyut vazhlivi vidminnosti mizh deduktivnimi bazami danih ta logichnim programuvannyam Chutlivist do poryadku i procedurnist u Prolog vikonannya programi zalezhit vid poryadku pravil u programi i vid poryadku chastin cih pravil ci vlastivosti vikoristovuyutsya programistami dlya pobudovi efektivnih program Odnak v movah baz danih takih yak SQL abo Datalog vikonannya programi ne zalezhit vid poryadku pravil i faktiv Specialni predikati u Prolog programisti mozhut bezposeredno vplivati na procedurnu ocinku programi za dopomogoyu specialnih predikativ takih yak en yaki ne mayut vidpovidnostej u deduktivnih bazah danih Funkcionalni simvoli Logichni movi programuvannya dozvolyayut en stvoryuvati skladni simvoli U deduktivnih bazah danih ce zaboroneno Obrobka oriyentovana na kortezh deduktivni bazi danih vikoristovuyut obrobku oriyentovanu na nabir v toj chas yak movi logichnogo programuvannya koncentruyutsya na odnomu kortezhi za raz Primitki PDF Arhiv originalu PDF za 22 zhovtnya 2020 Procitovano 6 grudnya 2019 Podalshe chitannyaHerve Gallaire en Jean Marie Nicolas Logika ta bazi danih deduktivnij pidhid Vidavec ACM doi 10 1145 356924 356929 en en Leticiya Tanka Logichne programuvannya ta bazi danih Vidavec Springer Verlag ISBN 978 0 387 51728 5 Rames Elmasri ta Shamkant Navat Osnovi sistem baz danih 3 e vidannya Vidavec Addison Uesli Longman ISBN 0 201 54263 3 Ce nezavershena stattya pro bazi danih Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi