This HTML5 document contains 90 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
n9http://uz.dbpedia.org/resource/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
n16http://dbpedia.org/resource/Wiktionary:
foafhttp://xmlns.com/foaf/0.1/
n4http://dbpedia.org/resource/Doi:10.1145/
n17https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Query_language
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:DLV
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Deductive_database
rdf:type
yago:CodingSystem106353757 yago:Code106355894 yago:WikicatDatabaseManagementSystems yago:Abstraction100002137 yago:WrittenCommunication106349220 yago:DatabaseManagementSystem106588785 yago:Software106566077 yago:Communication100033020 yago:Writing106359877 owl:Thing
rdfs:label
Дедуктивна база даних Deduktivní databáze Dedukcyjna baza danych Дедуктивная база данных Deduktive Datenbank Deductive database
rdfs:comment
Dedukcyjna baza danych – baza danych, która potrafi wydedukować nowe dane. 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 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. 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. Дедуктивна база даних — це система бази даних, яка виконує дедукцію (тобто висновки додаткових фактів) на основі правил і фактів, які зберігаються в (дедуктивній) базі даних. Datalog — це мова, яка зазвичай використовується для визначення фактів, правил та запитів у дедуктивних базах даних. Дедуктивні бази даних є втіленням бажання поєднати логічне програмування з реляційними базами даних для побудови систем, що підтримують потужний формалізм і все ще швидко здатні працювати з гігантськими наборами даних. Дедуктивні бази даних є виразнішими за реляційні бази даних, але поступаються виразністю системам логічного програмування. В останні роки дедуктивні бази даних, такі як Datalog, знайшли нове застосування в інтеграції даних, витягуванні інформації, мережах, аналізі програм, безпеці та хмар Дедуктивная база данных это система баз данных которая может делать выводы (то есть заключать дополнительные факты) на основе правил и фактов хранящихся в (дедуктивной) базе данных. Datalog это язык, обычно используемый для указания фактов, правил и запросов в дедуктивных базах данных. Дедуктивные базы данных выросли из желания сочетать логическое программирование с реляционной базой данных для построения систем, поддерживающих мощный формализм, и по-прежнему быстры и способны справляться с очень большими наборами данных. Дедуктивные базы данных более экспрессивные, чем реляционные базы данных, но менее чем системы логического программирования.В последние годы дедуктивные базы данных, такие как Datalog, нашли новое применение в интеграции данных, извлечение информации, организации сетей,
dcterms:subject
dbc:Database_management_systems
dbo:wikiPageID
1971069
dbo:wikiPageRevisionID
1111344828
dbo:wikiPageWikiLink
dbr:Expressive_power_(computer_science) dbr:Fact n4:356924.356929 dbr:Data_integration dbr:Jack_Minker dbr:Information_extraction dbr:Logic_programming dbr:Program_analysis n16:rule dbc:Database_management_systems dbr:Prolog dbr:Relational_database dbr:Datalog dbr:Georg_Gottlob dbr:Stefano_Ceri dbr:Tuple dbr:Deductive_reasoning dbr:Cut_(logic_programming) dbr:Functional_predicate dbr:Database_system
owl:sameAs
n9:Deduktiv_ma’lumotlar_bazasi dbpedia-cs:Deduktivní_databáze n17:E1Ld freebase:m.069z43 dbpedia-ru:Дедуктивная_база_данных dbpedia-fa:پایگاه_داده‌های_استنتاجی dbpedia-de:Deduktive_Datenbank yago-res:Deductive_database dbpedia-uk:Дедуктивна_база_даних dbpedia-pl:Dedukcyjna_baza_danych wikidata:Q1182254
dbp:wikiPageUsesTemplate
dbt:More_citations_needed dbt:Reflist dbt:ISBN dbt:Database-stub dbt:Database_models dbt:Short_description dbt:Authority_control
dbo: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ů. Дедуктивная база данных это система баз данных которая может делать выводы (то есть заключать дополнительные факты) на основе правил и фактов хранящихся в (дедуктивной) базе данных. Datalog это язык, обычно используемый для указания фактов, правил и запросов в дедуктивных базах данных. Дедуктивные базы данных выросли из желания сочетать логическое программирование с реляционной базой данных для построения систем, поддерживающих мощный формализм, и по-прежнему быстры и способны справляться с очень большими наборами данных. Дедуктивные базы данных более экспрессивные, чем реляционные базы данных, но менее чем системы логического программирования.В последние годы дедуктивные базы данных, такие как Datalog, нашли новое применение в интеграции данных, извлечение информации, организации сетей, анализе программ, безопасности и облачных вычислениях.Дедуктивные базы данных и логическое программирование:Дедуктивные базы данных используют большое количество концепций из логического программирования; правила и факты, указанные на языке дедуктивных баз данных. Datalog выглядит очень похоже на те, что в Prolog. Однако важные различия между дедуктивными базами данных и логическим программированием: * Чувствительность и процедурность: в Prolog выполнение программы зависит от порядка правил в программе и порядка частей правил; эти свойства используются программистами для создания эффективных программ. Однако на языках баз данных (таких как SQL или Datalog) выполнение программы не зависит от порядка правил и фактов. * Специальные предикаты. В Prolog программисты могут непосредственно влиять на процедурные оценки программы с помощью специальных предикатов, таких как , это не соответствует в дедуктивных базах данных. * Символы функций: языки логического программирования позволяют создавать сложные символы. Это не допускается в дедуктивных базах данных. * Кортеж — ориентированная обработка: дедуктивные базы данных используют ориентированную на набор обработку, в то время как языки логического программирования концентрируются на одном кортеже за раз. Dedukcyjna baza danych – baza danych, która potrafi wydedukować nowe dane. 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. Дедуктивна база даних — це система бази даних, яка виконує дедукцію (тобто висновки додаткових фактів) на основі правил і фактів, які зберігаються в (дедуктивній) базі даних. Datalog — це мова, яка зазвичай використовується для визначення фактів, правил та запитів у дедуктивних базах даних. Дедуктивні бази даних є втіленням бажання поєднати логічне програмування з реляційними базами даних для побудови систем, що підтримують потужний формалізм і все ще швидко здатні працювати з гігантськими наборами даних. Дедуктивні бази даних є виразнішими за реляційні бази даних, але поступаються виразністю системам логічного програмування. В останні роки дедуктивні бази даних, такі як Datalog, знайшли нове застосування в інтеграції даних, витягуванні інформації, мережах, аналізі програм, безпеці та хмарних обчисленнях. Дедуктивні бази даних та логічне програмуванняДедуктивні бази даних використовують багато понять із логічного програмування; правила і факти, зазначені у журналі даних мови дедуктивних баз даних дуже схожі на ті, що містяться у Prolog. Однак існують важливі відмінності між дедуктивними базами даних та логічним програмуванням: * Чутливість до порядку і процедурність: у Prolog виконання програми залежить від порядку правил у програмі і від порядку частин цих правил; ці властивості використовуються програмістами для побудови ефективних програм. Однак в мовах баз даних (таких як SQL або Datalog) виконання програми не залежить від порядку правил і фактів. * Спеціальні предикати: у Prolog програмісти можуть безпосередньо впливати на процедурну оцінку програми за допомогою спеціальних предикатів, таких як , які не мають відповідностей у дедуктивних базах даних. * Функціональні символи: Логічні мови програмування дозволяють створювати складні символи. У дедуктивних базах даних це заборонено. * Обробка, орієнтована на кортеж: дедуктивні бази даних використовують обробку, орієнтовану на набір, в той час як мови логічного програмування концентруються на одному кортежі за раз. 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.
gold:hypernym
dbr:System
prov:wasDerivedFrom
wikipedia-en:Deductive_database?oldid=1111344828&ns=0
dbo:wikiPageLength
2865
foaf:isPrimaryTopicOf
wikipedia-en:Deductive_database
Subject Item
dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Shojiro_Nishio
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Database_theory
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:List_of_Brooklyn_College_alumni
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Database
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Datalog
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Paris_Kanellakis
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Jack_Minker
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Term_indexing
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Armin_B._Cremers
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Hierarchical_and_recursive_queries_in_SQL
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Michael_Genesereth
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Rulelog
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
dbr:Outline_of_databases
dbo:wikiPageWikiLink
dbr:Deductive_database
Subject Item
wikipedia-en:Deductive_database
foaf:primaryTopic
dbr:Deductive_database