Codd's theorem

<h2 id="notes">Notes</h2>

<ul><li><a href="/facts/Serge_Abiteboul/m2a4AL4h">Abiteboul, Serge</a>; Hull, Richard B.; <a href="/facts/Victor_Vianu/xF98xUdg">Vianu, Victor</a> (1995). <a href="https://archive.org/details/foundationsofdat0000abit"><i>Foundations of Databases</i></a>. Addison-Wesley. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-201-53771-0.</li>
<li>Codd, E. F. (1972). "Relational Completeness of Data Base Sublanguages". In Rustin, R. (ed.). <i>Data Base Systems</i>. Proceedings of 6th Courant Computer Science Symposium (May 24–25, 1971: New York, N.Y.). Prentice-Hall. pp. 65–98. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-196741-X.</li></ul>
<h2 id="external-links">External links</h2>
<ul><li>Pichler, Reinhard (March 20, 2018). <a href="https://web.archive.org/web/20200822204112/https://www.dbai.tuwien.ac.at/staff/pichler/dbt/slides/dbt03.pdf">"Database Theory: 3. Codd's Theorem"</a> (PDF). Institute of Logic and Computation, DBAI Group, TU Wien. Archived from <a href="https://www.dbai.tuwien.ac.at/staff/pichler/dbt/slides/dbt03.pdf">the original</a> (PDF) on August 22, 2020. Retrieved August 8, 2019.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Abiteboul, Serge; Hull, Richard B.; Vianu, Victor (1995). Foundations of Databases. Addison-Wesley. ISBN 0-201-53771-0. <a href="0-201-53771-0" target="_blank">0-201-53771-0</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Chin, L. H.; Tarski, A. (1948). "Remarks on Projective Algebras". Bulletin of the American Mathematical Society. 54 (1): 80–81. doi:10.1090/S0002-9904-1948-08948-0. <a href="/wiki/Alfred_Tarski" target="_blank">/wiki/Alfred_Tarski</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Tarski, A.; Thompson, F. B. (1952). "Some General Properties of Cylindric Algebras". Bulletin of the American Mathematical Society. 58 (1): 65. doi:10.1090/S0002-9904-1952-09549-5. <a href="https://doi.org/10.1090%2FS0002-9904-1952-09549-5" target="_blank">https://doi.org/10.1090%2FS0002-9904-1952-09549-5</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>For recent work extending Codd's theorem in this direction see Franconi, Enrico; Tessaris, Sergio (2012). "On the Logic of SQL Nulls" (PDF). Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, Ouro Preto, Brazil, June 27–30, 2012: 114–128. <a href="http://ceur-ws.org/Vol-866/paper8.pdf" target="_blank">http://ceur-ws.org/Vol-866/paper8.pdf</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
</ol>

Codd's theorem open-in-new

Codd's theorem