Skip to search formSkip to main contentSkip to account menu

Codd's theorem

Codd's theorem states that relational algebra and the domain-independent relational calculus queries, two well-known foundational query languages for… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
AbstractUsing a sample of university students (N = 362), the role of gender and both the self-stigma and public stigma associated… 
2014
2014
We study three category-theoretic types in the context of functional query languages (typed lambda-calculi extended with… 
2010
2010
In this paper, we look at two ways to implement determinisitic one dimensional cellular automata into hyperbolic cellular… 
Review
2004
Review
2004
Research addressing the possible cognitive consequences of bilingualism for children’s development has found mixed results when… 
Review
1995
Review
1995
  • M. Yannakakis
  • Proceedings of IEEE 36th Annual Foundations of…
  • 1995
  • Corpus ID: 28406126
Database management systems address the need to store, retrieve, and manipulate large amounts of data in an organized fashion… 
1977
1977
This paper describes a new formalization of a deductive question answering system on a relational data base using a theorem…