<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/abstract>	"Deduktivn\u00ED datab\u00E1ze neboli spr\u00E1vn\u011B deduktivn\u00ED datab\u00E1zov\u00FD syst\u00E9m je datab\u00E1zov\u00FD syst\u00E9m, kter\u00FD dok\u00E1\u017Ee prov\u00E1d\u011Bt dedukce zalo\u017Een\u00E9 na faktech a pravidlech ulo\u017Een\u00FDch v (deduktivn\u00ED) datab\u00E1zi. Jazyk typicky pou\u017E\u00EDvan\u00FD ke specifikaci fakt\u016F (statick\u00E1 data, z\u00E1kladn\u00ED informace), pravidel (n\u00E1vod jak odvodit data, kter\u00E1 nejsou explicitn\u011Bulo\u017Eena) a dotaz\u016F (v\u00FDraz jeho\u017E v\u00FDsledkem jsou nalezen\u00E1 a odvozen\u00E1 data) v deduktivn\u00EDch datab\u00E1z\u00EDch je Datalog. Deduktivn\u00ED datab\u00E1ze jsou v\u00FDsledkem snahy kombinovat logick\u00E9 programov\u00E1n\u00ED s rela\u010Dn\u00EDmi datab\u00E1zemi za \u00FA\u010Delem vytvo\u0159it syst\u00E9m, kter\u00FD podporuje mocn\u00FD formalismus (s vyjad\u0159ovac\u00EDmi schopnostmilogick\u00FDch programovac\u00EDch jazyk\u016F) a je st\u00E1le rychl\u00FD a schopn\u00FD pracovat s velmi rozs\u00E1hl\u00FDmi objemy dat. Deduktivn\u00ED datab\u00E1ze zat\u00EDm nenalezly uplatn\u011Bn\u00ED mimo akademick\u00FD sv\u011Bt, nicm\u00E9n\u011B n\u011Bkter\u00E9 z jejich koncept\u016F jsou pou\u017Eity v dne\u0161n\u00EDch rela\u010Dn\u00EDch datab\u00E1z\u00EDch a to za \u00FA\u010Delem podpory pokro\u010Dil\u00FDch rys\u016F posledn\u00EDch SQL standard\u016F."@cs .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Dedukce> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Pravidlo> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Kategorie:Datab\u00E1ze> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Dotaz> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLinkText>	"deduktivn\u00EDch datab\u00E1z\u00EDch"@cs .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://www.w3.org/2000/01/rdf-schema#label>	"Deduktivn\u00ED datab\u00E1ze"@cs .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/SQL> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLinkText>	"deduktivn\u00ED datab\u00E1zi"@cs .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Formalismus> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Syst\u00E9m_\u0159\u00EDzen\u00ED_b\u00E1ze_dat> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageOutDegree>	"11"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://purl.org/dc/terms/subject>	<http://cs.dbpedia.org/resource/Kategorie:Datab\u00E1ze> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLinkText>	"deduktivn\u00EDch datab\u00E1z\u00ED"@cs .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://cs.dbpedia.org/property/wikiPageUsesTemplate>	<http://cs.dbpedia.org/resource/\u0160ablona:Pah\u00FDl> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLinkText>	"deduktivn\u00ED datab\u00E1ze"@cs .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Rela\u010Dn\u00ED_datab\u00E1ze> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Logick\u00E9_programov\u00E1n\u00ED> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Fakt> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageLength>	"1063"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Deduktivn\u00ED datab\u00E1ze neboli spr\u00E1vn\u011B deduktivn\u00ED datab\u00E1zov\u00FD syst\u00E9m je datab\u00E1zov\u00FD syst\u00E9m, kter\u00FD dok\u00E1\u017Ee prov\u00E1d\u011Bt dedukce zalo\u017Een\u00E9 na faktech a pravidlech ulo\u017Een\u00FDch v (deduktivn\u00ED) datab\u00E1zi. Jazyk typicky pou\u017E\u00EDvan\u00FD ke specifikaci fakt\u016F (statick\u00E1 data, z\u00E1kladn\u00ED informace), pravidel (n\u00E1vod jak odvodit data, kter\u00E1 nejsou explicitn\u011Bulo\u017Eena) a dotaz\u016F (v\u00FDraz jeho\u017E v\u00FDsledkem jsou nalezen\u00E1 a odvozen\u00E1 data) v deduktivn\u00EDch datab\u00E1z\u00EDch je Datalog."@cs .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"9921646"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://cs.wikipedia.org/wiki/Deduktivn\u00ED_datab\u00E1ze?oldid=9921646> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Datalog> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://dbpedia.org/ontology/wikiPageID>	"276239"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://cs.dbpedia.org/resource/Deduktivn\u00ED_datab\u00E1ze>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://cs.wikipedia.org/wiki/Deduktivn\u00ED_datab\u00E1ze> .