Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Codds_theorem> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- Codds_theorem abstract "Codd's theorem states that relational algebra and the domain-independent relational calculus queries, two well-known foundational query languages for the relational model, are precisely equivalent in expressive power. That is, a database query can be formulated in one language if and only if it can be expressed in the other.The theorem is named after Edgar F. Codd, the father of the relational model for database management.The domain independent relational calculus queries are precisely those relational calculus queries that are invariant under choosing domains of values beyond those appearing in the database itself. That is, queries that may return different results for different domains are excluded. An example of such a forbidden query is the query "select all tuples other than those occurring in relation R", where R is a relation in the database. Assuming different domains, i.e., sets of atomic data items from which tuples can be constructed, this query returns different results and thus is clearly not domain independent.Codd's Theorem is notable since it establishes the equivalence of two syntactically quite dissimilar languages: relational algebra is an imperative, variable-free language, while relational calculus is a logical language with variables and quantification.Relational calculus is essentially equivalent to first-order logic, and indeed, Codd's Theorem had been known to logicians since the late 1940s.Query languages that are equivalent in expressive power to relational algebra were called relationally complete by Codd. By Codd's Theorem, this includes relational calculus. Relational completeness clearly does not imply that any interesting database query can be expressed in relationally complete languages. Well-known examples of inexpressible queries include simple aggregations (counting tuples, or summing up values occurring in tuples, which are operations expressible in SQL but not in relational algebra) and computing the transitive closure of a graph given by its binary edge relation (see also expressive power). Codd's theorem also doesn't consider SQL nulls and the three-valued logic they entail; the logical treatment of nulls remains mired in controversy. (For recent work extending Codd's theorem in this direction see the 2012 paper of Franconi and Tessaris.) Additionally, SQL allows duplicate rows (has multiset semantics.) Nevertheless, relational completeness constitutes an important yardstick by which the expressive power of query languages can be compared.".
- Codds_theorem wikiPageExternalLink dbt03.pdf.
- Codds_theorem wikiPageID "18900634".
- Codds_theorem wikiPageLength "3814".
- Codds_theorem wikiPageOutDegree "21".
- Codds_theorem wikiPageRevisionID "674266541".
- Codds_theorem wikiPageWikiLink Aggregate_function.
- Codds_theorem wikiPageWikiLink Category:Relational_model.
- Codds_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Codds_theorem wikiPageWikiLink Edgar_F._Codd.
- Codds_theorem wikiPageWikiLink Expressive_power_(computer_science).
- Codds_theorem wikiPageWikiLink First-order_logic.
- Codds_theorem wikiPageWikiLink Multiset.
- Codds_theorem wikiPageWikiLink Null_(SQL).
- Codds_theorem wikiPageWikiLink Quantification_(science).
- Codds_theorem wikiPageWikiLink Relational_algebra.
- Codds_theorem wikiPageWikiLink Relational_calculus.
- Codds_theorem wikiPageWikiLink Relational_model.
- Codds_theorem wikiPageWikiLink Richard_B._Hull.
- Codds_theorem wikiPageWikiLink Serge_Abiteboul.
- Codds_theorem wikiPageWikiLink Three-valued_logic.
- Codds_theorem wikiPageWikiLink Transitive_closure.
- Codds_theorem wikiPageWikiLink Victor_Vianu.
- Codds_theorem wikiPageWikiLinkText "Codd's theorem".
- Codds_theorem hasPhotoCollection Codds_theorem.
- Codds_theorem wikiPageUsesTemplate Template:Citation_needed.
- Codds_theorem subject Category:Relational_model.
- Codds_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Codds_theorem comment "Codd's theorem states that relational algebra and the domain-independent relational calculus queries, two well-known foundational query languages for the relational model, are precisely equivalent in expressive power. That is, a database query can be formulated in one language if and only if it can be expressed in the other.The theorem is named after Edgar F.".
- Codds_theorem label "Codd's theorem".
- Codds_theorem sameAs Théorème_de_Codd.
- Codds_theorem sameAs m.04jf18n.
- Codds_theorem sameAs Q5139948.
- Codds_theorem sameAs Q5139948.
- Codds_theorem wasDerivedFrom Codds_theoremoldid=674266541.
- Codds_theorem isPrimaryTopicOf Codds_theorem.