| http://dbpedia.org/ontology/abstract
|
A Datalog é uma linguagem de consulta não … A Datalog é uma linguagem de consulta não procedural baseada na linguagem de programação lógica Prolog. Foi baseada na lógica relacional, na qual o usuário descreve as informações desejadas, sem fornecer um procedimento específico para obter essas informações. A linguagem foi originado no início da programação lógica, mas ganhou reconhecimento por volta de 1978, quando e organizaram um workshop sobre bancos de dados lógicos.um workshop sobre bancos de dados lógicos.
, Datalog ist eine Datenbank-Programmierspra … Datalog ist eine Datenbank-Programmiersprache für deduktive Datenbanken, die Prolog syntaktisch und semantisch ähnelt. Sie geht zurück auf die Arbeit von und Jack Minker im Jahr 1978. Datalog unterscheidet sich von Prolog in den folgenden Punkten: 1.
* Zusammengesetzte Terme dürfen nicht als Argumente von Prädikaten vorkommen. So ist zum Beispiel erlaubt, dagegen verboten. 2.
* In Datalog geschriebene Programme müssen im Hinblick auf Negation und Rekursion stratifiziert sein. 3.
* Datalog-Programme können effizient bottom-up ausgewertet werden, wobei nur eine endliche Menge an Fakten abgeleitet werden kann und die Auswertungszeit beschränkt ist. 4.
* Die Reihenfolge der Regeln spielt in einem Datalog-Programm keine Rolle. Ein Vorteil gegenüber relationalen Kalkülen ist die Möglichkeit, Rekursion ohne vorgegebene Rekursionstiefe definieren zu können. Die Terminierung der Rekursion kann durch deduktive Abgeschlossenheit erreicht werden, also durch Erreichen des kleinsten Fixpunktes. Derzeit entwickeln Forscher auf Basis von Datalog, das für extreme Parallelität geeignet ist, die Programmiersprache für die effiziente Nutzung im Cloud Computing.die effiziente Nutzung im Cloud Computing.
, Datalog — это язык декларативного логическ … Datalog — это язык декларативного логического программирования. Хотя синтаксически он выглядит как подмножество Prolog, Datalog обычно использует восходящую, а не нисходящую модель разрешения выражений. Это отличие приводит к значительному отличию поведения и свойств от Пролога. Он часто используется в качестве языка запросов для дедуктивных баз данных. В последние годы Datalog нашел новое применение в интеграции данных, извлечении информации, создании сетей, анализе программ, безопасности, облачных вычислениях и машинном обучении. Его истоки восходят к началу логического программирования, но он стал выделяться как отдельная тематика примерно в 1977 году, когда Эрве Галлер и Джек Минкер организовали семинар по логике и базам данных. Дэвиду Майеру приписывают введение термина Datalog.йеру приписывают введение термина Datalog.
, Η Datalog είναι μια γλώσσα ερωτήσεων και κ … Η Datalog είναι μια γλώσσα ερωτήσεων και κανόνων για λογικές βάσεις δεδομένων, η οποία συντακτικά είναι υποσύνολο της Prolog. Υπάρχει από τα πρώτα χρόνια του αλλά έγινε γνωστή σαν ξεχωριστό πεδίο το 1977 όταν ο και ο οργάνωσαν ένα workshop σχετικά με τη λογική και τις βάσεις δεδομένων. Ο David Maier συνέλαβε την ονομασία Datalog.David Maier συνέλαβε την ονομασία Datalog.
, Datalog è un linguaggio di interrogazione … Datalog è un linguaggio di interrogazione per basi di dati che ha riscosso un notevole interesse dalla comunità scientifica dalla metà degli anni ottanta. Datalog si presenta come un linguaggio di programmazione logica sintatticamente derivato da Prolog rappresentandone un sottoinsieme relativo ai database relazionali; infatti è basato anch'esso su regole di deduzione ma non permette l'utilizzo di simboli di funzione né un modello di valutazione non procedurale. Viene spesso utilizzato come linguaggio di query per database deduttivi. Negli ultimi anni, Datalog ha trovato nuove applicazioni per l'integrazione dei dati, l'estrazione delle informazioni, il networking, l'analisi dei programmi, la sicurezza e il cloud computing. è accreditato come inventore del termine Datalog.ditato come inventore del termine Datalog.
, Datalog je deklarativní logický programova … Datalog je deklarativní logický programovací jazyk, který vychází z Prologu. Často se používá jako dotazovací jazyk pro deduktivní databáze. Začal se používat už v počátcích logického programování, ale samostatně se proslavil kolem roku 1977, díky a Jacku Minkerovi, kteří uspořádali seminář o logice a databázích. Termín datalog zavedl profesor .tabázích. Termín datalog zavedl profesor .
, Datalog est un langage de requête et de règles pour les bases de données déductives. Il correspond à un sous ensemble de Prolog. Ses origines remontent aux débuts de la programmation logique.
, Datalog – język zapytań wzorowany na język … Datalog – język zapytań wzorowany na języku Prolog stosowany dla dedukcyjnych baz danych. Oparty jest o metody wnioskowania znane z logik formalnych. Składa się z aksjomatów oraz reguł wnioskowania. Początki Datalogu związane są z początkami programowania logicznego. Za twórcę terminu Datalog uznawany jest . Rozwinięciem tego terminu jest określenie database logic – z ang. „logika baz danych“. Nie jest możliwe wskazanie konkretnej grupy twórców samego języka, gdyż w różnych publikacjach pojawiał się jako okrojenie bądź rozszerzenie innych języków i modeli obliczeniowych. Historia Datalogu jako niezależnej dziedziny badań naukowych związana jest z warsztatami poświęconymi logice i bazom danych, które zostały zorganizowane w 1977 roku przez Hervé’a Gallaire i Jacka Minkera . Datalog cieszył się największą popularnością od połowy lat 80. do połowy 90., ale nawet współcześnie jest używany jako język zapytań w projektach badawczych i implementacjach dedukcyjnych baz danych.i implementacjach dedukcyjnych baz danych.
, Datalog — це декларативна логічна мова про … Datalog — це декларативна логічна мова програмування, яка синтаксично є підмножиною мови Prolog. Вона часто використовується як мова запитів для дедуктивних баз даних. В останні роки Datalog знайшла нове застосування в , добуванні даних, мережах, , безпеці та хмарних обчисленнях. Її походження сходить до початку логічного програмування, але вона стала відомою, як окрема область, близько 1977 року, коли і організували семінар з логіки і баз даних. Термін Datalog приписується .і баз даних. Термін Datalog приписується .
, Datalog是一种数据查询语言，专门设计与大型关系数据库交互，语法与Prolog相似。正如SQL只是一个规范，Transact-SQL、PL-SQL是其具体实现一样；Datalog也是一个规范，bddbddb、 DES、OverLog、Deals等都按照Datalog的语法实现了自己的语言，所以Datalog没有特定的执行环境（如Java之于Java虚拟机，Prolog之于）。
, Datalog is a declarative logic programming … Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, cloud computing and machine learning. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when and Jack Minker organized a workshop on logic and databases. David Maier is credited with coining the term Datalog.is credited with coining the term Datalog.
|
| http://dbpedia.org/ontology/influencedBy
|
http://dbpedia.org/resource/Prolog +
|
| http://dbpedia.org/ontology/latestReleaseVersion
|
2.0
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://souffle-lang.github.io/ +
, https://nextjournal.com/crux/a-bitemporal-tale +
, http://des.sourceforge.net +
, https://xtdb.com +
, http://code.google.com/p/clojure-contrib/wiki/DatalogOverview +
, https://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-173.html +
, https://chiselapp.com/user/kbk/repository/tclbdd/ +
, http://bloom-lang.net/index.html +
, https://www2.cs.sfu.ca/CourseCentral/721/jim/DatalogPaper.pdf%7Cjournal=IEEE +
, https://play.flix.dev/ +
, https://github.com/juji-io/datalevin +
, https://github.com/replikativ/datahike +
, https://github.com/rust-lang/datafrog +
, https://github.com/threatgrid/asami +
, https://github.com/threatgrid/naga +
, https://github.com/tonsky/datascript +
, https://github.com/datacrypt-project/hitchhiker-tree +
, https://github.com/ekzhang/crepe +
, https://github.com/fogfish/datalog +
, http://cascalog.org +
, https://sites.google.com/site/pydatalog/ +
, https://github.com/c-cube/datalog +
|
| http://dbpedia.org/ontology/wikiPageID
|
968357
|
| http://dbpedia.org/ontology/wikiPageLength
|
34976
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1124338798
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Knowledge_graph +
, http://dbpedia.org/resource/Semantic_Web_Rule_Language +
, http://dbpedia.org/resource/Rust_%28programming_language%29 +
, http://dbpedia.org/resource/Recursion +
, http://dbpedia.org/resource/Declarative_programming +
, http://dbpedia.org/resource/Fixed_point_%28mathematics%29 +
, http://dbpedia.org/resource/Leapsight_Semantic_Dataspace +
, http://dbpedia.org/resource/Lua_%28programming_language%29 +
, http://dbpedia.org/resource/Erlang_%28programming_language%29 +
, http://dbpedia.org/resource/Deductive_database +
, http://dbpedia.org/resource/Domain-specific_language +
, http://dbpedia.org/resource/Negation_%28logics%29 +
, http://dbpedia.org/resource/Herv%C3%A9_Gallaire +
, http://dbpedia.org/resource/Literal_%28mathematical_logic%29 +
, http://dbpedia.org/resource/.QL +
, http://dbpedia.org/resource/Fixpoint +
, http://dbpedia.org/resource/Integrity_constraint +
, http://dbpedia.org/resource/LogicBlox +
, http://dbpedia.org/resource/LMDB +
, http://dbpedia.org/resource/Clause_%28logic%29 +
, http://dbpedia.org/resource/OWL_2 +
, http://dbpedia.org/resource/Unions_of_conjunctive_queries +
, http://dbpedia.org/resource/Finite_sets +
, http://dbpedia.org/resource/Microsoft_Research +
, http://dbpedia.org/resource/Herbrand_base +
, http://dbpedia.org/resource/XSB +
, http://dbpedia.org/resource/Data_integration +
, http://dbpedia.org/resource/Web_Ontology_Language +
, http://dbpedia.org/resource/Cloud_computing +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/Apache_License +
, http://dbpedia.org/resource/Computer_network +
, http://dbpedia.org/resource/Stratification_%28mathematics%29 +
, http://dbpedia.org/resource/Substitution_%28logic%29 +
, http://dbpedia.org/resource/Algorithm +
, http://dbpedia.org/resource/Turing_completeness +
, http://dbpedia.org/resource/IBM_DB2 +
, http://dbpedia.org/resource/Program_analysis +
, http://dbpedia.org/resource/Predicate_%28logic%29 +
, http://dbpedia.org/resource/Power_set +
, http://dbpedia.org/resource/Racket_%28programming_language%29 +
, http://dbpedia.org/resource/C_%28programming_language%29 +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Robert_Kowalski +
, http://dbpedia.org/resource/TerminusDB +
, http://dbpedia.org/resource/Completeness_%28logic%29 +
, http://dbpedia.org/resource/Tcl +
, http://dbpedia.org/resource/FoundationDB +
, http://dbpedia.org/resource/Horn_clause +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Datalog +
, http://dbpedia.org/resource/Logic_programming +
, http://dbpedia.org/resource/Database_system +
, http://dbpedia.org/resource/Security +
, http://dbpedia.org/resource/Fragment_%28logic%29 +
, http://dbpedia.org/resource/Aggregate_function +
, http://dbpedia.org/resource/OCaml +
, http://dbpedia.org/resource/High_availability +
, http://dbpedia.org/resource/Python_%28programming_language%29 +
, http://dbpedia.org/resource/Apache_HTTP_Server +
, http://dbpedia.org/resource/Model-theoretic +
, http://dbpedia.org/resource/Microsoft_Windows +
, http://dbpedia.org/resource/Answer_set_programming +
, http://dbpedia.org/resource/Hierarchical_and_recursive_queries_in_SQL +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/Category:Query_languages +
, http://dbpedia.org/resource/Haskell_%28programming_language%29 +
, http://dbpedia.org/resource/Prolog +
, http://dbpedia.org/resource/RDFS +
, http://dbpedia.org/resource/Jena_%28framework%29 +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/Cut_%28logic_programming%29 +
, http://dbpedia.org/resource/Soundness +
, http://dbpedia.org/resource/Inequality_%28mathematics%29 +
, http://dbpedia.org/resource/C%2B%2B +
, http://dbpedia.org/resource/SecPAL +
, http://dbpedia.org/resource/Category:Logic_programming_languages +
, http://dbpedia.org/resource/Hadoop +
, http://dbpedia.org/resource/Category:Declarative_programming_languages +
, http://dbpedia.org/resource/Binary_decision_diagram +
, http://dbpedia.org/resource/Semantic_web +
, http://dbpedia.org/resource/Declarative_language +
, http://dbpedia.org/resource/Ruby_%28programming_language%29 +
, http://dbpedia.org/resource/Predicate_variable +
, http://dbpedia.org/resource/Graph_database +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/David_Maier +
, http://dbpedia.org/resource/Clojure +
, http://dbpedia.org/resource/Database +
, http://dbpedia.org/resource/Tuple-generating_dependency +
, http://dbpedia.org/resource/Flix_%28programming_language%29 +
, http://dbpedia.org/resource/POSIX +
, http://dbpedia.org/resource/Machine_learning +
, http://dbpedia.org/resource/MIT_License +
, http://dbpedia.org/resource/Datomic +
, http://dbpedia.org/resource/Information_extraction +
, http://dbpedia.org/resource/Proof-theoretic_semantics +
, http://dbpedia.org/resource/Java_%28programming_language%29 +
, http://dbpedia.org/resource/SPARQL +
, http://dbpedia.org/resource/Query_language +
, http://dbpedia.org/resource/SQL:1999 +
, http://dbpedia.org/resource/Resource_Description_Framework +
, http://dbpedia.org/resource/Disjunction +
, http://dbpedia.org/resource/Object-oriented_programming +
, http://dbpedia.org/resource/Weak_typing +
, http://dbpedia.org/resource/Jack_Minker +
, http://dbpedia.org/resource/Conjunctive_query +
, http://dbpedia.org/resource/Countable_set +
, http://dbpedia.org/resource/DLV +
, http://dbpedia.org/resource/Relational_database +
|
| http://dbpedia.org/property/dialects
|
Datomic, pyDatalog, Dyna, etc.
|
| http://dbpedia.org/property/family
|
http://dbpedia.org/resource/Prolog +
|
| http://dbpedia.org/property/influencedBy
|
http://dbpedia.org/resource/Prolog +
|
| http://dbpedia.org/property/latestReleaseVersion
|
2
|
| http://dbpedia.org/property/paradigm
|
http://dbpedia.org/resource/Logic_programming +
, http://dbpedia.org/resource/Declarative_programming +
|
| http://dbpedia.org/property/typing
|
http://dbpedia.org/resource/Weak_typing +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Refend +
, http://dbpedia.org/resource/Template:Refbegin +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Start_date_and_age +
, http://dbpedia.org/resource/Template:Yes +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Sfn +
, http://dbpedia.org/resource/Template:Mvar +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Free +
, http://dbpedia.org/resource/Template:Query_languages +
, http://dbpedia.org/resource/Template:Infobox_programming_language +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Math +
, http://dbpedia.org/resource/Template:BSD-lic +
, http://dbpedia.org/resource/Template:GPL-lic +
, http://dbpedia.org/resource/Template:LGPL-lic +
, http://dbpedia.org/resource/Template:= +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Logic_programming_languages +
, http://dbpedia.org/resource/Category:Declarative_programming_languages +
, http://dbpedia.org/resource/Category:Query_languages +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Language +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Datalog?oldid=1124338798&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Datalog +
|
| owl:sameAs |
http://de.dbpedia.org/resource/Datalog +
, http://uk.dbpedia.org/resource/Datalog +
, http://rdf.freebase.com/ns/m.03v8l9 +
, http://zh.dbpedia.org/resource/Datalog +
, https://global.dbpedia.org/id/DmeZ +
, http://sr.dbpedia.org/resource/%D0%94%D0%B0%D1%82%D0%B0%D0%BB%D0%BE%D0%B3 +
, http://el.dbpedia.org/resource/Datalog +
, http://fr.dbpedia.org/resource/Datalog +
, http://cs.dbpedia.org/resource/Datalog +
, http://www.wikidata.org/entity/Q1172264 +
, http://it.dbpedia.org/resource/Datalog +
, http://fa.dbpedia.org/resource/%D8%AF%DB%8C%D8%AA%D8%A7%D9%84%D8%A7%DA%AF +
, http://pt.dbpedia.org/resource/Datalog +
, http://ru.dbpedia.org/resource/Datalog +
, http://dbpedia.org/resource/Datalog +
, http://yago-knowledge.org/resource/Datalog +
, http://pl.dbpedia.org/resource/Datalog +
|
| rdf:type |
http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/ontology/Language +
, http://www.wikidata.org/entity/Q9143 +
, http://schema.org/Language +
, http://dbpedia.org/class/yago/ProgrammingLanguage106898352 +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/ontology/ProgrammingLanguage +
, http://dbpedia.org/class/yago/CommandLanguage106899446 +
, http://dbpedia.org/class/yago/WikicatQueryLanguages +
, http://dbpedia.org/class/yago/SourceLanguage106283912 +
, http://dbpedia.org/class/yago/ArtificialLanguage106894544 +
, http://www.wikidata.org/entity/Q315 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/ontology/MusicGenre +
|
| rdfs:comment |
Η Datalog είναι μια γλώσσα ερωτήσεων και κ … Η Datalog είναι μια γλώσσα ερωτήσεων και κανόνων για λογικές βάσεις δεδομένων, η οποία συντακτικά είναι υποσύνολο της Prolog. Υπάρχει από τα πρώτα χρόνια του αλλά έγινε γνωστή σαν ξεχωριστό πεδίο το 1977 όταν ο και ο οργάνωσαν ένα workshop σχετικά με τη λογική και τις βάσεις δεδομένων. Ο David Maier συνέλαβε την ονομασία Datalog.David Maier συνέλαβε την ονομασία Datalog.
, Datalog je deklarativní logický programova … Datalog je deklarativní logický programovací jazyk, který vychází z Prologu. Často se používá jako dotazovací jazyk pro deduktivní databáze. Začal se používat už v počátcích logického programování, ale samostatně se proslavil kolem roku 1977, díky a Jacku Minkerovi, kteří uspořádali seminář o logice a databázích. Termín datalog zavedl profesor .tabázích. Termín datalog zavedl profesor .
, Datalog est un langage de requête et de règles pour les bases de données déductives. Il correspond à un sous ensemble de Prolog. Ses origines remontent aux débuts de la programmation logique.
, Datalog — это язык декларативного логическ … Datalog — это язык декларативного логического программирования. Хотя синтаксически он выглядит как подмножество Prolog, Datalog обычно использует восходящую, а не нисходящую модель разрешения выражений. Это отличие приводит к значительному отличию поведения и свойств от Пролога. Он часто используется в качестве языка запросов для дедуктивных баз данных. В последние годы Datalog нашел новое применение в интеграции данных, извлечении информации, создании сетей, анализе программ, безопасности, облачных вычислениях и машинном обучении. облачных вычислениях и машинном обучении.
, Datalog is a declarative logic programming … Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, cloud computing and machine learning.ity, cloud computing and machine learning.
, A Datalog é uma linguagem de consulta não … A Datalog é uma linguagem de consulta não procedural baseada na linguagem de programação lógica Prolog. Foi baseada na lógica relacional, na qual o usuário descreve as informações desejadas, sem fornecer um procedimento específico para obter essas informações. A linguagem foi originado no início da programação lógica, mas ganhou reconhecimento por volta de 1978, quando e organizaram um workshop sobre bancos de dados lógicos.um workshop sobre bancos de dados lógicos.
, Datalog — це декларативна логічна мова про … Datalog — це декларативна логічна мова програмування, яка синтаксично є підмножиною мови Prolog. Вона часто використовується як мова запитів для дедуктивних баз даних. В останні роки Datalog знайшла нове застосування в , добуванні даних, мережах, , безпеці та хмарних обчисленнях. Її походження сходить до початку логічного програмування, але вона стала відомою, як окрема область, близько 1977 року, коли і організували семінар з логіки і баз даних. Термін Datalog приписується .і баз даних. Термін Datalog приписується .
, Datalog – język zapytań wzorowany na język … Datalog – język zapytań wzorowany na języku Prolog stosowany dla dedukcyjnych baz danych. Oparty jest o metody wnioskowania znane z logik formalnych. Składa się z aksjomatów oraz reguł wnioskowania. Początki Datalogu związane są z początkami programowania logicznego. Za twórcę terminu Datalog uznawany jest . Rozwinięciem tego terminu jest określenie database logic – z ang. „logika baz danych“. Datalog cieszył się największą popularnością od połowy lat 80. do połowy 90., ale nawet współcześnie jest używany jako język zapytań w projektach badawczych i implementacjach dedukcyjnych baz danych.i implementacjach dedukcyjnych baz danych.
, Datalog是一种数据查询语言，专门设计与大型关系数据库交互，语法与Prolog相似。正如SQL只是一个规范，Transact-SQL、PL-SQL是其具体实现一样；Datalog也是一个规范，bddbddb、 DES、OverLog、Deals等都按照Datalog的语法实现了自己的语言，所以Datalog没有特定的执行环境（如Java之于Java虚拟机，Prolog之于）。
, Datalog ist eine Datenbank-Programmierspra … Datalog ist eine Datenbank-Programmiersprache für deduktive Datenbanken, die Prolog syntaktisch und semantisch ähnelt. Sie geht zurück auf die Arbeit von und Jack Minker im Jahr 1978. Datalog unterscheidet sich von Prolog in den folgenden Punkten: Ein Vorteil gegenüber relationalen Kalkülen ist die Möglichkeit, Rekursion ohne vorgegebene Rekursionstiefe definieren zu können. Die Terminierung der Rekursion kann durch deduktive Abgeschlossenheit erreicht werden, also durch Erreichen des kleinsten Fixpunktes. durch Erreichen des kleinsten Fixpunktes.
, Datalog è un linguaggio di interrogazione … Datalog è un linguaggio di interrogazione per basi di dati che ha riscosso un notevole interesse dalla comunità scientifica dalla metà degli anni ottanta. Datalog si presenta come un linguaggio di programmazione logica sintatticamente derivato da Prolog rappresentandone un sottoinsieme relativo ai database relazionali; infatti è basato anch'esso su regole di deduzione ma non permette l'utilizzo di simboli di funzione né un modello di valutazione non procedurale. Viene spesso utilizzato come linguaggio di query per database deduttivi. Negli ultimi anni, Datalog ha trovato nuove applicazioni per l'integrazione dei dati, l'estrazione delle informazioni, il networking, l'analisi dei programmi, la sicurezza e il cloud computing.grammi, la sicurezza e il cloud computing.
|
| rdfs:label |
Datalog
|
