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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4https://web.archive.org/web/20200822204112/https:/www.dbai.tuwien.ac.at/staff/pichler/dbt/slides/
freebasehttp://rdf.freebase.com/ns/
n16https://www.dbai.tuwien.ac.at/staff/pichler/dbt/slides/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
n17https://archive.org/details/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Relational_calculus
dbo:wikiPageWikiLink
dbr:Codd's_theorem
Subject Item
dbr:Algebraic_logic
dbo:wikiPageWikiLink
dbr:Codd's_theorem
Subject Item
dbr:Relational_algebra
dbo:wikiPageWikiLink
dbr:Codd's_theorem
Subject Item
dbr:Codd's_theorem
owl:sameAs
dbpedia-it:Teorema_di_Codd dbpedia-fr:Théorème_de_Codd yago-res:Codd's_theorem dbpedia-global:4iC7A wikidata:Q5139948 freebase:m.04jf18n dbpedia-ca:Teorema_de_Codd
rdfs:label
Théorème de Codd Teorema di Codd Codd's theorem Teorema de Codd
prov:wasDerivedFrom
wikipedia-en:Codd's_theorem?oldid=1220201614&ns=0
dbo:description
théorème exprimant l'équivalence entre l'algèbre relationnelle et le calcul relationnel theorem of expressive equivalence between relational languages
dbo:wikiPageExternalLink
n4:dbt03.pdf n16:dbt03.pdf n17:foundationsofdat0000abit
dbo:wikiPageWikiLink
dbr:Aggregate_function dbr:Three-valued_logic dbr:Transitive_closure dbr:Relational_model dbr:Null_(SQL) dbr:Quantification_(science) dbr:Relational_calculus dbr:Relational_algebra dbc:Relational_model dbc:Theorems_in_the_foundations_of_mathematics dbr:Edgar_F._Codd dbr:Expressive_power_(computer_science) dbr:Multiset
dct:subject
dbc:Relational_model dbc:Theorems_in_the_foundations_of_mathematics
foaf:isPrimaryTopicOf
wikipedia-en:Codd's_theorem
dbp:wikiPageUsesTemplate
dbt:Short_description dbt:Reflist dbt:Cite_book dbt:Cite_web
Subject Item
wikipedia-en:Codd's_theorem
foaf:primaryTopic
dbr:Codd's_theorem
Subject Item
dbr:Edgar_F._Codd
dbo:knownFor
dbr:Codd's_theorem
dbo:wikiPageWikiLink
dbr:Codd's_theorem
dbp:knownFor
dbr:Codd's_theorem
Subject Item
dbr:Finite_model_theory
dbo:wikiPageWikiLink
dbr:Codd's_theorem
Subject Item
dbr:List_of_theorems
dbo:wikiPageWikiLink
dbr:Codd's_theorem
Subject Item
dbr:Conjunctive_query
dbo:wikiPageWikiLink
dbr:Codd's_theorem
Subject Item
dbr:Database_theory
dbo:wikiPageWikiLink
dbr:Codd's_theorem
Subject Item
dbr:Codd's_Theorem
dbo:wikiPageRedirects
dbr:Codd's_theorem
dbo:wikiPageWikiLink
dbr:Codd's_theorem