Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Ця стаття є сирим перекладом з англійської мови Можливо вона створена за допомогою машинного перекладу або перекладачем

Datalog

Datalog
Ця стаття є сирим з англійської мови. Можливо, вона створена за допомогою машинного перекладу або перекладачем, який недостатньо володіє обома мовами. Будь ласка, допоможіть поліпшити переклад. (23 квітня 2019)

Datalog — це декларативна логічна мова програмування, яка синтаксично є підмножиною мови Prolog. Вона часто використовується як мова запитів для дедуктивних баз даних. В останні роки Datalog знайшла нове застосування в [en], добуванні даних, мережах, [en], безпеці та хмарних обчисленнях.

Її походження сходить до початку логічного програмування, але вона стала відомою, як окрема область, близько 1977 року, коли і [en] організували семінар з логіки і баз даних. Термін Datalog приписується [en].

Особливості, обмеження та розширення

На відміну від Прологу, твердження програми Datalog можна вказати в будь-якому порядку. Крім того, Datalog-запити на скінченних множинах гарантовано припиняються, тому Datalog не має оператора . Це робить Datalog повністю декларативною мовою.

На відміну від Prolog, Datalog:

  1. забороняє складні вирази, як аргументи предикатів, наприклад, p (1, 2) допустимо, але не p (f (1), 2),
  2. накладає певні обмеження [en] на використання заперечення та рекурсії,
  3. вимагає, щоб кожна змінна, що з'являється в заголовку речення, також з'являлася в неарифметичному позитивному (тобто не запереченому) літералі в тілі речення,
  4. вимагає, щоб кожна змінна, що з'являється в негативному літералі в тілі речення, також з'являлася в деякому позитивному літералі в тілі речення.

Оцінка запитів за допомогою Datalog базується на логіці першого порядку і, таким чином є правильною і повною. Однак, Datalog не є повною за Тюрингом, і тому використовується як доменна мова, яка має переваги ефективних алгоритмів, розроблених для вирішення запитів. Дійсно, були запропоновані різні методи для ефективного виконання запитів, наприклад, алгоритму Magic Sets, табличного логічного програмування або SLG тверджень.

Деякі широко використовувані системи баз даних включають ідеї та алгоритми, розроблені для Datalog. Наприклад, стандарт SQL:1999 включає рекурсивні запити, а алгоритм Magic Sets (спочатку розроблений для більш швидкої оцінки запитів Datalog) реалізований в DB2 IBM. Крім того, програми Datalog знаходяться за спеціалізованими системами баз даних, такими як база даних Intellidimension для семантичної мережі.

Кілька розширень були зроблені для Datalog, наприклад, для підтримки агрегатних функцій, для забезпечення об'єктно-орієнтованого програмування, або для забезпечення можливих роз'єднань як керівників речень. Ці розширення суттєво впливають на визначення семантики Datalog і на реалізацію відповідного інтерпретатора Datalog.

Приклад

Ці два рядки визначають два факти, тобто речі, які завжди виконуються: 

parent(bill, mary). parent(mary, john).

Це означає, що вони мають на увазі: Білл є батьком Мері, а Мері є батьком відносно Джона. Імена записуються малими літерами, оскільки рядки, що починаються з великої літери, позначають змінні.

Ці два рядки визначають правила, які визначають, як нові факти можуть бути виведені з відомих фактів. 

ancestor(X, Y) :- parent(X, Y). ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).

meaning:

  • X предок Y, якщо X є батьком для Y.
  • X предок Y, якщо X батько деякого Z, і Z предок Y.

Цей рядок є запитом: 

?- ancestor(bill, X).

Цей запит означає: знайти всіх таких Х, для яких Білл є предком? Запит поверне Мері та Джон, якщо він буде виконаний у програмі Datalog, яка містить факти та правила, описані вище.

Детальніше про правила: правило має :- символ посередині: частина ліворуч від цього символу є головою правила, частина праворуч — тіло. Правило читається так: <head> вважається істиною, якщо <body> є істинним. Великі літери в правилах позначають змінні: у прикладі ми не знаємо, хто X або Y, але деякий X є предком деякого Y, якщо X є батьком Y. Впорядкування пунктів не має значення в Datalog, на відміну від Prolog, який залежить від впорядкованості виразів для обчислення результату виклику запиту.

Datalog розрізняє символи екстенсійних предикатів (визначених фактами) і інтенсійні предикатні символи (визначені правилами). У наведеному вище прикладі ancestor є інтенсійним предикатним символом, а parent — екстенсійним. Предикати також можуть бути визначені фактами та правилами, а тому не можуть бути чисто ні повністю екстенсенційними, ні інтенціональними, але будь-яку програму Datalog можна переписати в еквівалентну програму без таких предикатних символів з ролями, що дублюються.

Системи, що реалізують Datalog

Ось короткий перелік систем, які базуються на Datalog або надають інтерпретатор Datalog:

Вільне програмне забезпечення або програми з відкритим вихідним кодом

Написана мовою Ім'я Спробувати онлайн Зовнішні бази даних Опис Ліцензія
C XSB Система логічного програмування та дедуктивних баз даних для Unix та MS Windows із табуляцією, що дає Datalog-подібне завершення та ефективність, включаючи інкрементальну оцінку GNU LGPL
Coral Система дедуктивних баз даних, написана на С++ з напівнаївною оцінкою даних. Розроблена в 1988—1997 роках. користувацька ліцензія, безкоштовна для некомерційного використання
DLV Розширення Datalog, яке підтримує диз'юнктивні твердження у заголовку. користувацька ліцензія, безкоштовна для академічного та некомерційного використання освіти, а також для використання неприбутковими організаціями
Inter4QL Інтерпретатор командного рядка з відкритим кодом Datalog-подібної мови запитів 4QL, реалізованої в C ++ для Windows, Mac OS X і Linux. Заперечення допускається як в заголовках, так і в тілах, а також у рекурсії GNU GPL v3
RDFox RDF потрійне сховище з Datalog міркуванням. Реалізує алгоритм FBF для додаткової оцінки. користувацька ліцензія, безкоштовна для некомерційного використання
Souffle Компілятор Datalog у C++ з відкритим вихідним кодом, що перетворює Datalog у високопродуктивний, паралельний C ++ код, спеціально розроблений для складних запитів Datalog над великими наборами даних, наприклад, тих, що зустрічаються в контексті статичного аналізу програми. UPL v1.0
Clojure Cascalog [ 26 січня 2016 у Wayback Machine.] Hadoop Бібліотека Clojure для запиту даних, що зберігаються на кластерах Hadoop. Apache
Clojure Datalog [ 28 грудня 2015 у Wayback Machine.] Бібліотека, що реалізує аспекти Datalog Eclipse Public License 1.0
Datascript [ 22 березня 2019 у Wayback Machine.] в пам'яті Незмінна база даних і рушій запитів Datalog, який працює в браузері Eclipse Public License 1.0
Haskell Dyna Dyna є декларативною мовою програмування для статистичного програмування штучного інтелекту. Мова базується на Datalog, підтримує як пряме, так і зворотне зв'язування, а також інкрементну оцінку. GNU AGPL v3
Java AbcDatalog AbcDatalog є реалізацією мови логічного програмування Datalog з відкритим кодом, написаної на Java. Вона надає готові до використання реалізації загальних алгоритмів оцінки Datalog, а також деяких експериментальних багатопотокових двигунів оцінки. Вона підтримує мовні особливості поза ядром Datalog, такі як явна (дис-)уніфікація виразів і стратифіковане заперечення. Крім того, AbcDatalog розроблений, щоб бути легко розширюваним з новими двигунами оцінки та новими функціями мови. BSD
IRIS IRIS розширює Datalog функціональними символами, вбудованими предикатами, локально стратифікованими або нестратифікованими логічними програмами (з використанням обґрунтованої семантики), небезпечними правилами та типами XML-схем. GNU LGPL v2.1
[en] Фреймворк Semantic Web, який включає в себе реалізацію Datalog як частину свого механізму загального призначення, що забезпечує підтримку OWL і [en]. Apache v2
SociaLite SociaLite — це варіант Datalog для великомасштабного аналізу графів, розробленого в Стенфорді Apache v2
Graal Graal — це інструментарій Java, присвячений запитам баз знань у рамках екзистенціальних правил, тобто Datalog +/-. CeCILL v2.1
Flix Функціональна та логічна мова програмування, натхненна Datalog, розширена за допомогою визначених користувачем решіток та монотонних фільтрів / функцій передачі. Apache v2
Lua Datalog Так Легка система дедуктивної бази даних. GNU LGPL
Prolog DES [ 26 січня 2022 у Wayback Machine.] Реалізація з відкритим вихідним кодом для навчання Datalog у курсах. GNU LGPL
Python pyDatalog [ 13 червня 2020 у Wayback Machine.] 11 діалектів SQL Додає логічне програмування до інструментів Python. Може виконувати логічні запити щодо баз даних або об'єктів Python, а також використовувати логічні пропозиції для визначення поведінки класів Python. GNU LGPL
Racket Datalog for Racket GNU LGPL
Datafun Узагальнений Datalog на Semilattices GNU LGPL
Ruby bloom [ 8 травня 2019 у Wayback Machine.] / bud Ruby DSL для програмування з конструктами, орієнтованими на дані, на основі розширення Dedalus [ 26 березня 2019 у Wayback Machine.] Datalog, який додає до логіки часовий вимір. BSD 3-Clause
Rust Datafrog [ 22 квітня 2019 у Wayback Machine.] Datafrog — це легкий рушій Datalog, призначений для вбудовування в інші програми Rust. MIT License / (Apache 2.0)
Tcl tclbdd Реалізація на основі бінарних діаграм прийняття рішень. Створений для підтримки розробки оптимізувального компілятора для Tcl. BSD
Інші або невідомі мови програмування bddbddb Реалізація Datalog виконана у Стенфордському університеті. В основному він використовується для запиту байт-коду Java, включаючи аналіз точок на великі програми Java GNU LGPL
ConceptBase Дедуктивна та об'єктно-орієнтована система баз даних, заснована на оцінювачі запитів Datalog. В основному він використовується для концептуального моделювання та метамоделювання BSD 2-Clause

Невільне програмне забезпечення

  • [en] — це розподілена база даних, розроблена для забезпечення масштабованої, гнучкої та інтелектуальної програми, що працює на нових хмарних архітектурах. Він використовує Datalog як мову запитів.
  • [en] надає безкоштовну прив'язку бази даних для pyDatalog, з підручником з його використання.
  • (LSD) — це розподілена дедуктивна база даних, яка пропонує високу доступність, відмовостійкість, простоту роботи та масштабованість. LSD використовує Leaplog (реалізацію Datalog) для запитів і міркувань. Була створена компанією Leapsight.
  • , комерційна реалізація Datalog, використовується для роздрібного вебпланування та страхування.
  • [en], комерційний об'єктно-орієнтований варіант Datalog, створений компанією Semmle.
  • [en] — мова політики безпеки, розроблена компанією Microsoft Research.
  •  — це база даних графів, реалізована в Java. Вона забезпечує підтримку RDF і всіх профілів OWL 2, забезпечуючи широкі можливості роздумів, включаючи оцінку даних.

Див. також

Посилання

  1. Huang, Green, and Loo, Datalog and Emerging applications, (PDF), UC Davis, архів оригіналу (PDF) за 22 жовтня 2020, процитовано 28 квітня 2019.
  2. Gallaire, Hervé; Minker, John ‘Jack’, ред. (1978), Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977, Advances in Data Base Theory, New York: Plenum Press, ISBN .
  3. ; Hull, Richard; (1995), Foundations of databases, с. 305, ISBN .
  5. Bancilhon. (PDF). PT: UNL. Архів оригіналу (PDF) за 8 березня 2012.
  6. Pfenning, Frank; Schuermann, Carsten. . CMU. Архів оригіналу за 2 лютого 2019. Процитовано 28 квітня 2019.
  7. (PDF). Архів оригіналу (PDF) за 4 жовтня 2013. Процитовано 28 квітня 2019.
  8. Gryz; Guo; Liu; Zuzarte (2004). Query sampling in DB2 Universal Database (PDF). Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04. с. 839. doi:10.1145/1007568.1007664. ISBN .
  9. Lifschitz (2011). Datalog Programs and Their Stable Models. Datalog Reloaded. Lecture Notes in Computer Science. Т. 6702. : Springer. с. 78—87. CiteSeerX 10.1.1.225.4027. doi:10.1007/978-3-642-24206-9_5. ISBN .
  10. The XSB System, Version 3.7.x, (PDF), архів оригіналу (PDF) за 3 квітня 2020, процитовано 23 квітня 2019.
  11. , архів оригіналу за 15 березня 2019, процитовано 23 квітня 2019.
  12. . www.dlvsystem.com (амер.). Архів оригіналу за 13 вересня 2019. Процитовано 29 листопада 2018..
  13. . www.dlvsystem.com (амер.). Архів оригіналу за 13 вересня 2019. Процитовано 29 листопада 2018.
  14. , архів оригіналу за 21 червня 2011, процитовано 23 квітня 2019.
  15. , архів оригіналу за 17 квітня 2019, процитовано 23 квітня 2019.
  16. , архів оригіналу за 21 лютого 2018, процитовано 29 листопада 2018.
  17. , 12 грудня 2018, архів оригіналу за 11 червня 2018, процитовано 23 квітня 2019.
  18. Dyna, , архів оригіналу за 17 січня 2016, процитовано 7 листопада 2016.
  19. , архів оригіналу за 11 квітня 2019, процитовано 23 квітня 2019.
  20. , архів оригіналу за 2 лютого 2022, процитовано 23 квітня 2019.
  21. . Source forge. Архів оригіналу за 5 травня 2019. Процитовано 5 травня 2019.
  22. SociaLite homepage, архів оригіналу за 11 вересня 2017, процитовано 12 жовтня 2015.
  23. , архів оригіналу за 6 травня 2019, процитовано 23 квітня 2019.
  24. , flix.github.io (англ.), архів оригіналу за 19 квітня 2019, процитовано 3 травня 2017.
  25. Ramsdell, Datalog, , NEU, архів оригіналу за 11 січня 2011, процитовано 23 квітня 2019.
  26. Sangkok, Y, Wrapper, Mitre Datalog, Git hub{{}}: Обслуговування CS1: Сторінки з параметром url-status, але без параметра archive-url (), (compiled to JavaScript).
  27. Saenz-Perez (2011), DES: A Deductive Database System, Electronic Notes in Theoretical Computer Science, ES, 271: 63—78, doi:10.1016/j.entcs.2011.02.011.
  28. Datalog, (technical documentation), архів оригіналу за 1 червня 2019, процитовано 23 квітня 2019.
  29. Datafun, (Links to paper, talk and github site), архів оригіналу за 9 квітня 2019, процитовано 23 квітня 2019.
  30. Kenny, Kevin B (12–14 November 2014). Binary decision diagrams, relational algebra, and Datalog: deductive reasoning for Tcl (PDF). Twenty-first Annual Tcl/Tk Conference. Portland, Oregon. Процитовано 29 грудня 2015.[недоступне посилання з 01.12.2016]
  31. bddbddb, , архів оригіналу за 28 липня 2011, процитовано 23 квітня 2019.
  32. , архів оригіналу за 1 квітня 2009, процитовано 23 квітня 2019.
  33. FoundationDB Datalog Tutorial, архів оригіналу за 9 серпня 2013.
  34. . Архів оригіналу за 11 листопада 2018.
  35. , архів оригіналу за 24 квітня 2019, процитовано 23 квітня 2019
  36. . Microsoft Research. Архів оригіналу за 23 лютого 2007.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Cya stattya ye sirim perekladom z anglijskoyi movi Mozhlivo vona stvorena za dopomogoyu mashinnogo perekladu abo perekladachem yakij nedostatno volodiye oboma movami Bud laska dopomozhit polipshiti pereklad 23 kvitnya 2019 Datalog ce deklarativna logichna mova programuvannya yaka sintaksichno ye pidmnozhinoyu movi Prolog Vona chasto vikoristovuyetsya yak mova zapitiv dlya deduktivnih baz danih V ostanni roki Datalog znajshla nove zastosuvannya v en dobuvanni danih merezhah en bezpeci ta hmarnih obchislennyah Yiyi pohodzhennya shodit do pochatku logichnogo programuvannya ale vona stala vidomoyu yak okrema oblast blizko 1977 roku koli i en organizuvali seminar z logiki i baz danih Termin Datalog pripisuyetsya en Osoblivosti obmezhennya ta rozshirennyaNa vidminu vid Prologu tverdzhennya programi Datalog mozhna vkazati v bud yakomu poryadku Krim togo Datalog zapiti na skinchennih mnozhinah garantovano pripinyayutsya tomu Datalog ne maye operatora Ce robit Datalog povnistyu deklarativnoyu movoyu Na vidminu vid Prolog Datalog zaboronyaye skladni virazi yak argumenti predikativ napriklad p 1 2 dopustimo ale ne p f 1 2 nakladaye pevni obmezhennya en na vikoristannya zaperechennya ta rekursiyi vimagaye shob kozhna zminna sho z yavlyayetsya v zagolovku rechennya takozh z yavlyalasya v nearifmetichnomu pozitivnomu tobto ne zaperechenomu literali v tili rechennya vimagaye shob kozhna zminna sho z yavlyayetsya v negativnomu literali v tili rechennya takozh z yavlyalasya v deyakomu pozitivnomu literali v tili rechennya Ocinka zapitiv za dopomogoyu Datalog bazuyetsya na logici pershogo poryadku i takim chinom ye pravilnoyu i povnoyu Odnak Datalog ne ye povnoyu za Tyuringom i tomu vikoristovuyetsya yak domenna mova yaka maye perevagi efektivnih algoritmiv rozroblenih dlya virishennya zapitiv Dijsno buli zaproponovani rizni metodi dlya efektivnogo vikonannya zapitiv napriklad algoritmu Magic Sets tablichnogo logichnogo programuvannya abo SLG tverdzhen Deyaki shiroko vikoristovuvani sistemi baz danih vklyuchayut ideyi ta algoritmi rozrobleni dlya Datalog Napriklad standart SQL 1999 vklyuchaye rekursivni zapiti a algoritm Magic Sets spochatku rozroblenij dlya bilsh shvidkoyi ocinki zapitiv Datalog realizovanij v DB2 IBM Krim togo programi Datalog znahodyatsya za specializovanimi sistemami baz danih takimi yak baza danih Intellidimension dlya semantichnoyi merezhi Kilka rozshiren buli zrobleni dlya Datalog napriklad dlya pidtrimki agregatnih funkcij dlya zabezpechennya ob yektno oriyentovanogo programuvannya abo dlya zabezpechennya mozhlivih roz yednan yak kerivnikiv rechen Ci rozshirennya suttyevo vplivayut na viznachennya semantiki Datalog i na realizaciyu vidpovidnogo interpretatora Datalog PrikladCi dva ryadki viznachayut dva fakti tobto rechi yaki zavzhdi vikonuyutsya parent bill mary parent mary john Ce oznachaye sho voni mayut na uvazi Bill ye batkom Meri a Meri ye batkom vidnosno Dzhona Imena zapisuyutsya malimi literami oskilki ryadki sho pochinayutsya z velikoyi literi poznachayut zminni Ci dva ryadki viznachayut pravila yaki viznachayut yak novi fakti mozhut buti vivedeni z vidomih faktiv ancestor X Y parent X Y ancestor X Y parent X Z ancestor Z Y meaning X predok Y yaksho X ye batkom dlya Y X predok Y yaksho X batko deyakogo Z i Z predok Y Cej ryadok ye zapitom ancestor bill X Cej zapit oznachaye znajti vsih takih H dlya yakih Bill ye predkom Zapit poverne Meri ta Dzhon yaksho vin bude vikonanij u programi Datalog yaka mistit fakti ta pravila opisani vishe Detalnishe pro pravila pravilo maye simvol poseredini chastina livoruch vid cogo simvolu ye golovoyu pravila chastina pravoruch tilo Pravilo chitayetsya tak lt head gt vvazhayetsya istinoyu yaksho lt body gt ye istinnim Veliki literi v pravilah poznachayut zminni u prikladi mi ne znayemo hto X abo Y ale deyakij X ye predkom deyakogo Y yaksho X ye batkom Y Vporyadkuvannya punktiv ne maye znachennya v Datalog na vidminu vid Prolog yakij zalezhit vid vporyadkovanosti viraziv dlya obchislennya rezultatu vikliku zapitu Datalog rozriznyaye simvoli ekstensijnih predikativ viznachenih faktami i intensijni predikatni simvoli viznacheni pravilami U navedenomu vishe prikladi ancestor ye intensijnim predikatnim simvolom a parent ekstensijnim Predikati takozh mozhut buti viznacheni faktami ta pravilami a tomu ne mozhut buti chisto ni povnistyu ekstensencijnimi ni intencionalnimi ale bud yaku programu Datalog mozhna perepisati v ekvivalentnu programu bez takih predikatnih simvoliv z rolyami sho dublyuyutsya Sistemi sho realizuyut DatalogOs korotkij perelik sistem yaki bazuyutsya na Datalog abo nadayut interpretator Datalog Vilne programne zabezpechennya abo programi z vidkritim vihidnim kodom Napisana movoyu Im ya Sprobuvati onlajn Zovnishni bazi danih Opis Licenziya C XSB Sistema logichnogo programuvannya ta deduktivnih baz danih dlya Unix ta MS Windows iz tabulyaciyeyu sho daye Datalog podibne zavershennya ta efektivnist vklyuchayuchi inkrementalnu ocinku GNU LGPL C Coral Sistema deduktivnih baz danih napisana na S z napivnayivnoyu ocinkoyu danih Rozroblena v 1988 1997 rokah koristuvacka licenziya bezkoshtovna dlya nekomercijnogo vikoristannya DLV Rozshirennya Datalog yake pidtrimuye diz yunktivni tverdzhennya u zagolovku koristuvacka licenziya bezkoshtovna dlya akademichnogo ta nekomercijnogo vikoristannya osviti a takozh dlya vikoristannya nepributkovimi organizaciyami Inter4QL Interpretator komandnogo ryadka z vidkritim kodom Datalog podibnoyi movi zapitiv 4QL realizovanoyi v C dlya Windows Mac OS X i Linux Zaperechennya dopuskayetsya yak v zagolovkah tak i v tilah a takozh u rekursiyi GNU GPL v3 RDFox RDF potrijne shovishe z Datalog mirkuvannyam Realizuye algoritm FBF dlya dodatkovoyi ocinki koristuvacka licenziya bezkoshtovna dlya nekomercijnogo vikoristannya Souffle Kompilyator Datalog u C z vidkritim vihidnim kodom sho peretvoryuye Datalog u visokoproduktivnij paralelnij C kod specialno rozroblenij dlya skladnih zapitiv Datalog nad velikimi naborami danih napriklad tih sho zustrichayutsya v konteksti statichnogo analizu programi UPL v1 0 Clojure Cascalog 26 sichnya 2016 u Wayback Machine Hadoop Biblioteka Clojure dlya zapitu danih sho zberigayutsya na klasterah Hadoop Apache Clojure Datalog 28 grudnya 2015 u Wayback Machine Biblioteka sho realizuye aspekti Datalog Eclipse Public License 1 0 Datascript 22 bereznya 2019 u Wayback Machine v pam yati Nezminna baza danih i rushij zapitiv Datalog yakij pracyuye v brauzeri Eclipse Public License 1 0 Haskell Dyna Dyna ye deklarativnoyu movoyu programuvannya dlya statistichnogo programuvannya shtuchnogo intelektu Mova bazuyetsya na Datalog pidtrimuye yak pryame tak i zvorotne zv yazuvannya a takozh inkrementnu ocinku GNU AGPL v3 Java AbcDatalog AbcDatalog ye realizaciyeyu movi logichnogo programuvannya Datalog z vidkritim kodom napisanoyi na Java Vona nadaye gotovi do vikoristannya realizaciyi zagalnih algoritmiv ocinki Datalog a takozh deyakih eksperimentalnih bagatopotokovih dviguniv ocinki Vona pidtrimuye movni osoblivosti poza yadrom Datalog taki yak yavna dis unifikaciya viraziv i stratifikovane zaperechennya Krim togo AbcDatalog rozroblenij shob buti legko rozshiryuvanim z novimi dvigunami ocinki ta novimi funkciyami movi BSD IRIS IRIS rozshiryuye Datalog funkcionalnimi simvolami vbudovanimi predikatami lokalno stratifikovanimi abo nestratifikovanimi logichnimi programami z vikoristannyam obgruntovanoyi semantiki nebezpechnimi pravilami ta tipami XML shem GNU LGPL v2 1 en Frejmvork Semantic Web yakij vklyuchaye v sebe realizaciyu Datalog yak chastinu svogo mehanizmu zagalnogo priznachennya sho zabezpechuye pidtrimku OWL i en Apache v2 SociaLite SociaLite ce variant Datalog dlya velikomasshtabnogo analizu grafiv rozroblenogo v Stenfordi Apache v2 Graal Graal ce instrumentarij Java prisvyachenij zapitam baz znan u ramkah ekzistencialnih pravil tobto Datalog CeCILL v2 1 Flix Funkcionalna ta logichna mova programuvannya nathnenna Datalog rozshirena za dopomogoyu viznachenih koristuvachem reshitok ta monotonnih filtriv funkcij peredachi Apache v2 Lua Datalog Tak Legka sistema deduktivnoyi bazi danih GNU LGPL Prolog DES 26 sichnya 2022 u Wayback Machine Realizaciya z vidkritim vihidnim kodom dlya navchannya Datalog u kursah GNU LGPL Python pyDatalog 13 chervnya 2020 u Wayback Machine 11 dialektiv SQL Dodaye logichne programuvannya do instrumentiv Python Mozhe vikonuvati logichni zapiti shodo baz danih abo ob yektiv Python a takozh vikoristovuvati logichni propoziciyi dlya viznachennya povedinki klasiv Python GNU LGPL Racket Datalog for Racket GNU LGPL Datafun Uzagalnenij Datalog na Semilattices GNU LGPL Ruby bloom 8 travnya 2019 u Wayback Machine bud Ruby DSL dlya programuvannya z konstruktami oriyentovanimi na dani na osnovi rozshirennya Dedalus 26 bereznya 2019 u Wayback Machine Datalog yakij dodaye do logiki chasovij vimir BSD 3 Clause Rust Datafrog 22 kvitnya 2019 u Wayback Machine Datafrog ce legkij rushij Datalog priznachenij dlya vbudovuvannya v inshi programi Rust MIT License Apache 2 0 Tcl tclbdd Realizaciya na osnovi binarnih diagram prijnyattya rishen Stvorenij dlya pidtrimki rozrobki optimizuvalnogo kompilyatora dlya Tcl BSD Inshi abo nevidomi movi programuvannya bddbddb Realizaciya Datalog vikonana u Stenfordskomu universiteti V osnovnomu vin vikoristovuyetsya dlya zapitu bajt kodu Java vklyuchayuchi analiz tochok na veliki programi Java GNU LGPL ConceptBase Deduktivna ta ob yektno oriyentovana sistema baz danih zasnovana na ocinyuvachi zapitiv Datalog V osnovnomu vin vikoristovuyetsya dlya konceptualnogo modelyuvannya ta metamodelyuvannya BSD 2 Clause Nevilne programne zabezpechennya en ce rozpodilena baza danih rozroblena dlya zabezpechennya masshtabovanoyi gnuchkoyi ta intelektualnoyi programi sho pracyuye na novih hmarnih arhitekturah Vin vikoristovuye Datalog yak movu zapitiv en nadaye bezkoshtovnu priv yazku bazi danih dlya pyDatalog z pidruchnikom z jogo vikoristannya LSD ce rozpodilena deduktivna baza danih yaka proponuye visoku dostupnist vidmovostijkist prostotu roboti ta masshtabovanist LSD vikoristovuye Leaplog realizaciyu Datalog dlya zapitiv i mirkuvan Bula stvorena kompaniyeyu Leapsight komercijna realizaciya Datalog vikoristovuyetsya dlya rozdribnogo vebplanuvannya ta strahuvannya en komercijnij ob yektno oriyentovanij variant Datalog stvorenij kompaniyeyu Semmle en mova politiki bezpeki rozroblena kompaniyeyu Microsoft Research ce baza danih grafiv realizovana v Java Vona zabezpechuye pidtrimku RDF i vsih profiliv OWL 2 zabezpechuyuchi shiroki mozhlivosti rozdumiv vklyuchayuchi ocinku danih Div takozhProgramuvannya naborami vidpovidej en en en PosilannyaHuang Green and Loo Datalog and Emerging applications PDF UC Davis arhiv originalu PDF za 22 zhovtnya 2020 procitovano 28 kvitnya 2019 Gallaire Herve Minker John Jack red 1978 Logic and Data Bases Symposium on Logic and Data Bases Centre d etudes et de recherches de Toulouse 1977 Advances in Data Base Theory New York Plenum Press ISBN 978 0 306 40060 5 Hull Richard 1995 Foundations of databases s 305 ISBN 9780201537710 Bancilhon PDF PT UNL Arhiv originalu PDF za 8 bereznya 2012 Pfenning Frank Schuermann Carsten CMU Arhiv originalu za 2 lyutogo 2019 Procitovano 28 kvitnya 2019 PDF Arhiv originalu PDF za 4 zhovtnya 2013 Procitovano 28 kvitnya 2019 Gryz Guo Liu Zuzarte 2004 Query sampling in DB2 Universal Database PDF Proceedings of the 2004 ACM SIGMOD international conference on Management of data SIGMOD 04 s 839 doi 10 1145 1007568 1007664 ISBN 978 1581138597 Lifschitz 2011 Datalog Programs and Their Stable Models Datalog Reloaded Lecture Notes in Computer Science T 6702 Springer s 78 87 CiteSeerX 10 1 1 225 4027 doi 10 1007 978 3 642 24206 9 5 ISBN 978 3 642 24205 2 The XSB System Version 3 7 x PDF arhiv originalu PDF za 3 kvitnya 2020 procitovano 23 kvitnya 2019 arhiv originalu za 15 bereznya 2019 procitovano 23 kvitnya 2019 www dlvsystem com amer Arhiv originalu za 13 veresnya 2019 Procitovano 29 listopada 2018 www dlvsystem com amer Arhiv originalu za 13 veresnya 2019 Procitovano 29 listopada 2018 arhiv originalu za 21 chervnya 2011 procitovano 23 kvitnya 2019 arhiv originalu za 17 kvitnya 2019 procitovano 23 kvitnya 2019 arhiv originalu za 21 lyutogo 2018 procitovano 29 listopada 2018 12 grudnya 2018 arhiv originalu za 11 chervnya 2018 procitovano 23 kvitnya 2019 Dyna arhiv originalu za 17 sichnya 2016 procitovano 7 listopada 2016 arhiv originalu za 11 kvitnya 2019 procitovano 23 kvitnya 2019 arhiv originalu za 2 lyutogo 2022 procitovano 23 kvitnya 2019 Source forge Arhiv originalu za 5 travnya 2019 Procitovano 5 travnya 2019 SociaLite homepage arhiv originalu za 11 veresnya 2017 procitovano 12 zhovtnya 2015 arhiv originalu za 6 travnya 2019 procitovano 23 kvitnya 2019 flix github io angl arhiv originalu za 19 kvitnya 2019 procitovano 3 travnya 2017 Ramsdell Datalog NEU arhiv originalu za 11 sichnya 2011 procitovano 23 kvitnya 2019 Sangkok Y Wrapper Mitre Datalog Git hub a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Citation title Shablon Citation citation a Obslugovuvannya CS1 Storinki z parametrom url status ale bez parametra archive url posilannya compiled to JavaScript Saenz Perez 2011 DES A Deductive Database System Electronic Notes in Theoretical Computer Science ES 271 63 78 doi 10 1016 j entcs 2011 02 011 Datalog technical documentation arhiv originalu za 1 chervnya 2019 procitovano 23 kvitnya 2019 Datafun Links to paper talk and github site arhiv originalu za 9 kvitnya 2019 procitovano 23 kvitnya 2019 Kenny Kevin B 12 14 November 2014 Binary decision diagrams relational algebra and Datalog deductive reasoning for Tcl PDF Twenty first Annual Tcl Tk Conference Portland Oregon Procitovano 29 grudnya 2015 nedostupne posilannya z 01 12 2016 bddbddb arhiv originalu za 28 lipnya 2011 procitovano 23 kvitnya 2019 arhiv originalu za 1 kvitnya 2009 procitovano 23 kvitnya 2019 FoundationDB Datalog Tutorial arhiv originalu za 9 serpnya 2013 Arhiv originalu za 11 listopada 2018 arhiv originalu za 24 kvitnya 2019 procitovano 23 kvitnya 2019 Microsoft Research Arhiv originalu za 23 lyutogo 2007

Дата публікації:
Топ