A deductive database is a database system that can make deductions (i.e. conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases. Deductive databases have grown out of the desire to combine logic programming with relational databases to construct systems that support a powerful formalism and are still fast and able to deal with very large datasets. Deductive databases are more expressive than relational databases but less expressive than logic programming systems. In recent years, deductive databases such as Datalog have found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Deduktivní databáze (cs)
- Deduktive Datenbank (de)
- Deductive database (en)
- Dedukcyjna baza danych (pl)
- Дедуктивная база данных (ru)
- Дедуктивна база даних (uk)
|
| rdfs:comment
| - Deduktive Datenbanken sind eine „Erweiterung“ der Relationalen Datenbank um eine Deduktionskomponente. Diese Deduktionskomponente verwendet Deduktionsregeln, die auf dem Prädikatenkalkül basieren, um aus den Daten „Wissen“ zu extrahieren. Die Regelsprache heißt Datalog – abgeleitet von dem Wort Data und dem Namen der Logikprogrammiersprache Prolog. (de)
- Dedukcyjna baza danych – baza danych, która potrafi wydedukować nowe dane. (pl)
- Deduktivní databáze neboli správně deduktivní databázový systém je databázový systém, který dokáže provádět dedukce založené na faktech a pravidlech uložených v (deduktivní) databázi. Jazyk typicky používaný ke specifikaci faktů (statická data, základní informace), pravidel (návod jak odvodit data, která nejsou explicitněuložena) a (výraz jehož výsledkem jsou nalezená a odvozená data) v deduktivních databázích je Datalog. Deduktivní databáze jsou výsledkem snahy kombinovat logické programování s relačními databázemi za účelem vytvořit systém, který podporuje mocný formalismus (s vyjadřovacími schopnostmilogických programovacích jazyků) a je stále rychlý a schopný pracovat s velmi rozsáhlými objemy dat. Deduktivní databáze zatím nenalezly uplatnění mimo akademický svět, nicméně některé z j (cs)
- A deductive database is a database system that can make deductions (i.e. conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases. Deductive databases have grown out of the desire to combine logic programming with relational databases to construct systems that support a powerful formalism and are still fast and able to deal with very large datasets. Deductive databases are more expressive than relational databases but less expressive than logic programming systems. In recent years, deductive databases such as Datalog have found new application in data integration, information extraction, networking, program analysis, security, and cloud computing. (en)
- Дедуктивная база данных это система баз данных которая может делать выводы (то есть заключать дополнительные факты) на основе правил и фактов хранящихся в (дедуктивной) базе данных. Datalog это язык, обычно используемый для указания фактов, правил и запросов в дедуктивных базах данных. Дедуктивные базы данных выросли из желания сочетать логическое программирование с реляционной базой данных для построения систем, поддерживающих мощный формализм, и по-прежнему быстры и способны справляться с очень большими наборами данных. Дедуктивные базы данных более экспрессивные, чем реляционные базы данных, но менее чем системы логического программирования.В последние годы дедуктивные базы данных, такие как Datalog, нашли новое применение в интеграции данных, извлечение информации, организации сетей, (ru)
- Дедуктивна база даних — це система бази даних, яка виконує дедукцію (тобто висновки додаткових фактів) на основі правил і фактів, які зберігаються в (дедуктивній) базі даних. Datalog — це мова, яка зазвичай використовується для визначення фактів, правил та запитів у дедуктивних базах даних. Дедуктивні бази даних є втіленням бажання поєднати логічне програмування з реляційними базами даних для побудови систем, що підтримують потужний формалізм і все ще швидко здатні працювати з гігантськими наборами даних. Дедуктивні бази даних є виразнішими за реляційні бази даних, але поступаються виразністю системам логічного програмування. В останні роки дедуктивні бази даних, такі як Datalog, знайшли нове застосування в інтеграції даних, витягуванні інформації, мережах, аналізі програм, безпеці та хмар (uk)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Deduktivní databáze neboli správně deduktivní databázový systém je databázový systém, který dokáže provádět dedukce založené na faktech a pravidlech uložených v (deduktivní) databázi. Jazyk typicky používaný ke specifikaci faktů (statická data, základní informace), pravidel (návod jak odvodit data, která nejsou explicitněuložena) a (výraz jehož výsledkem jsou nalezená a odvozená data) v deduktivních databázích je Datalog. Deduktivní databáze jsou výsledkem snahy kombinovat logické programování s relačními databázemi za účelem vytvořit systém, který podporuje mocný formalismus (s vyjadřovacími schopnostmilogických programovacích jazyků) a je stále rychlý a schopný pracovat s velmi rozsáhlými objemy dat. Deduktivní databáze zatím nenalezly uplatnění mimo akademický svět, nicméně některé z jejich konceptů jsou použity v dnešních relačních databázích a to za účelem podpory pokročilých rysů posledních SQL standardů. (cs)
- A deductive database is a database system that can make deductions (i.e. conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases. Deductive databases have grown out of the desire to combine logic programming with relational databases to construct systems that support a powerful formalism and are still fast and able to deal with very large datasets. Deductive databases are more expressive than relational databases but less expressive than logic programming systems. In recent years, deductive databases such as Datalog have found new application in data integration, information extraction, networking, program analysis, security, and cloud computing. Deductive databases reuse many concepts from logic programming; rules and facts specified in the deductive database language Datalog look very similar to those in Prolog. However important differences between deductive databases and logic programming:
* Order sensitivity and procedurality: In Prolog, program execution depends on the order of rules in the program and on the order of parts of rules; these properties are used by programmers to build efficient programs. In database languages (like SQL or Datalog), however, program execution is independent of the order of rules and facts.
* Special predicates: In Prolog, programmers can directly influence the procedural evaluation of the program with special predicates such as the cut, this has no correspondence in deductive databases.
* Function symbols: Logic Programming languages allow function symbols to build up complex symbols. This is not allowed in deductive databases.
* Tuple-oriented processing: Deductive databases use set-oriented processing while logic programming languages concentrate on one tuple at a time. (en)
- Deduktive Datenbanken sind eine „Erweiterung“ der Relationalen Datenbank um eine Deduktionskomponente. Diese Deduktionskomponente verwendet Deduktionsregeln, die auf dem Prädikatenkalkül basieren, um aus den Daten „Wissen“ zu extrahieren. Die Regelsprache heißt Datalog – abgeleitet von dem Wort Data und dem Namen der Logikprogrammiersprache Prolog. (de)
- Dedukcyjna baza danych – baza danych, która potrafi wydedukować nowe dane. (pl)
- Дедуктивна база даних — це система бази даних, яка виконує дедукцію (тобто висновки додаткових фактів) на основі правил і фактів, які зберігаються в (дедуктивній) базі даних. Datalog — це мова, яка зазвичай використовується для визначення фактів, правил та запитів у дедуктивних базах даних. Дедуктивні бази даних є втіленням бажання поєднати логічне програмування з реляційними базами даних для побудови систем, що підтримують потужний формалізм і все ще швидко здатні працювати з гігантськими наборами даних. Дедуктивні бази даних є виразнішими за реляційні бази даних, але поступаються виразністю системам логічного програмування. В останні роки дедуктивні бази даних, такі як Datalog, знайшли нове застосування в інтеграції даних, витягуванні інформації, мережах, аналізі програм, безпеці та хмарних обчисленнях. Дедуктивні бази даних та логічне програмуванняДедуктивні бази даних використовують багато понять із логічного програмування; правила і факти, зазначені у журналі даних мови дедуктивних баз даних дуже схожі на ті, що містяться у Prolog. Однак існують важливі відмінності між дедуктивними базами даних та логічним програмуванням:
* Чутливість до порядку і процедурність: у Prolog виконання програми залежить від порядку правил у програмі і від порядку частин цих правил; ці властивості використовуються програмістами для побудови ефективних програм. Однак в мовах баз даних (таких як SQL або Datalog) виконання програми не залежить від порядку правил і фактів.
* Спеціальні предикати: у Prolog програмісти можуть безпосередньо впливати на процедурну оцінку програми за допомогою спеціальних предикатів, таких як , які не мають відповідностей у дедуктивних базах даних.
* Функціональні символи: Логічні мови програмування дозволяють створювати складні символи. У дедуктивних базах даних це заборонено.
* Обробка, орієнтована на кортеж: дедуктивні бази даних використовують обробку, орієнтовану на набір, в той час як мови логічного програмування концентруються на одному кортежі за раз. (uk)
- Дедуктивная база данных это система баз данных которая может делать выводы (то есть заключать дополнительные факты) на основе правил и фактов хранящихся в (дедуктивной) базе данных. Datalog это язык, обычно используемый для указания фактов, правил и запросов в дедуктивных базах данных. Дедуктивные базы данных выросли из желания сочетать логическое программирование с реляционной базой данных для построения систем, поддерживающих мощный формализм, и по-прежнему быстры и способны справляться с очень большими наборами данных. Дедуктивные базы данных более экспрессивные, чем реляционные базы данных, но менее чем системы логического программирования.В последние годы дедуктивные базы данных, такие как Datalog, нашли новое применение в интеграции данных, извлечение информации, организации сетей, анализе программ, безопасности и облачных вычислениях.Дедуктивные базы данных и логическое программирование:Дедуктивные базы данных используют большое количество концепций из логического программирования; правила и факты, указанные на языке дедуктивных баз данных. Datalog выглядит очень похоже на те, что в Prolog. Однако важные различия между дедуктивными базами данных и логическим программированием:
* Чувствительность и процедурность: в Prolog выполнение программы зависит от порядка правил в программе и порядка частей правил; эти свойства используются программистами для создания эффективных программ. Однако на языках баз данных (таких как SQL или Datalog) выполнение программы не зависит от порядка правил и фактов.
* Специальные предикаты. В Prolog программисты могут непосредственно влиять на процедурные оценки программы с помощью специальных предикатов, таких как , это не соответствует в дедуктивных базах данных.
* Символы функций: языки логического программирования позволяют создавать сложные символы. Это не допускается в дедуктивных базах данных.
* Кортеж — ориентированная обработка: дедуктивные базы данных используют ориентированную на набор обработку, в то время как языки логического программирования концентрируются на одном кортеже за раз. (ru)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)