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 dotazů (výraz jehož výsledkem jsou nalezená a odvozená data) v deduktivních databázích je Datalog.
Property | Value |
prop-cs:wikiPageUsesTemplate
| |
dbpedia-owl: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 dotazů (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ů.
|
dbpedia-owl:wikiPageID
| |
dbpedia-owl:wikiPageLength
| |
dbpedia-owl:wikiPageOutDegree
| |
dbpedia-owl:wikiPageRevisionID
| |
dbpedia-owl:wikiPageWikiLink
| |
dbpedia-owl:wikiPageWikiLinkText
|
- deduktivních databázích
- deduktivní databáze
- deduktivní databázi
- deduktivních databází
|
dcterms:subject
| |
rdfs:comment
|
- 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 dotazů (výraz jehož výsledkem jsou nalezená a odvozená data) v deduktivních databázích je Datalog.
|
rdfs:label
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbpedia-owl:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |