Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Finitary relation
open-in-new
<h2 id="definitions">Definitions</h2> <blockquote><p>When two objects, qualities, classes, or attributes, viewed together by the mind, are seen under some connexion, that connexion is called a relation.</p>— <a href="/facts/Augustus_De_Morgan/6fQ1KTPb">Augustus De Morgan</a><a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a></blockquote> Definition <i>R</i> is an <i>n</i>-ary relation on sets <i>X</i>1, ..., <i>X</i><i>n</i> is given by a subset of the Cartesian product <i>X</i>1 × ... × <i>X</i><i>n</i>.<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a> <p>Since the definition is predicated on the underlying sets <i>X</i>1, ..., <i>X</i><i>n</i>, <i>R</i> may be more formally defined as the (<i>n</i> + 1)-tuple (<i>X</i>1, ..., <i>X</i><i>n</i>, <i>G</i>), where <i>G</i>, called the <i>graph</i> of <i>R</i>, is a subset of the Cartesian product <i>X</i>1 × ... × <i>X</i><i>n</i>. </p><p>As is often done in mathematics, the same symbol is used to refer to the mathematical object and an underlying set, so the statement (<i>x</i>1, ..., <i>x</i><i>n</i>) ∈ <i>R</i> is often used to mean (<i>x</i>1, ..., <i>x</i><i>n</i>) ∈ <i>G</i> is read "<i>x</i>1, ..., <i>x</i><i>n</i> are <i>R</i>-related" and are denoted using <a href="/facts/Polish_notation/dUzpf2Ys">prefix notation</a> by <i>Rx</i>1⋯<i>x</i><i>n</i> and using <a href="/facts/Reverse_Polish_notation/a6rDoJ7X">postfix notation</a> by <i>x</i>1⋯<i>x</i><i>n</i><i>R</i>. In the case where <i>R</i> is a binary relation, those statements are also denoted using <a href="/facts/Infix_notation/LY0dMhay">infix notation</a> by <i>x</i>1<i>Rx</i>2. </p><p>The following considerations apply: </p> <ul><li>The set <i>X</i><i>i</i> is called the ith <i>domain</i> of <i>R</i>.<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a> In the case where <i>R</i> is a binary relation, <i>X</i>1 is also called simply the <a href="/facts/Binary_relation/r9BwGgaK"><i>domain</i></a> or <i>set of departure</i> of <i>R</i>, and <i>X</i>2 is also called the <a href="/facts/Binary_relation/r9BwGgaK"><i>codomain</i></a> or <i>set of destination</i> of <i>R</i>.</li> <li>When the elements of <i>X</i><i>i</i> are relations, <i>X</i><i>i</i> is called a <i>nonsimple domain</i> of <i>R</i>.<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a></li> <li>The set of ∀<i>x</i><i>i</i> ∈ <i>X</i><i>i</i> such that <i>Rx</i>1⋯<i>x</i><i>i</i>−1<i>x</i><i>i</i><i>x</i><i>i</i>+1⋯<i>x</i><i>n</i> for at least one (<i>x</i>1, ..., <i>x</i><i>n</i>) is called the <i>i</i>th <i>domain of definition</i> or <i>active domain</i> of <i>R</i>.<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a> In the case where <i>R</i> is a binary relation, its first domain of definition is also called simply the <a href="/facts/Binary_relation/r9BwGgaK"><i>domain of definition</i></a> or <i>active domain</i> of <i>R</i>, and its second domain of definition is also called the <a href="/facts/Binary_relation/r9BwGgaK"><i>codomain of definition</i></a> or <i>active codomain</i> of <i>R</i>.</li> <li>When the ith domain of definition of <i>R</i> is equal to <i>X</i><i>i</i>, <i>R</i> is said to be <i>total</i> on its <i>i</i>th domain (or on <i>X</i><i>i</i>, when this is not ambiguous). In the case where <i>R</i> is a binary relation, when <i>R</i> is total on <i>X</i>1, it is also said to be <a href="/facts/Binary_relation/r9BwGgaK"><i>left-total</i></a> or <i>serial</i>, and when <i>R</i> is total on <i>X</i>2, it is also said to be <a href="/facts/Binary_relation/r9BwGgaK"><i>right-total</i></a> or <i>surjective</i>.</li> <li>When ∀<i>x</i> ∀<i>y</i> ∈ <i>X</i><i>i</i>. ∀<i>z</i> ∈ <i>X</i><i>j</i>. <i>xR</i><i>ij</i><i>z</i> ∧ <i>yR</i><i>ij</i><i>z</i> ⇒ <i>x</i> = <i>y</i>, where <i>i</i> ∈ <i>I</i>, <i>j</i> ∈ <i>J</i>, <i>R</i><i>ij</i> = <i>π</i><i>ij</i> <i>R</i>, and {<i>I</i>, <i>J</i>} is a <a href="/facts/Partition_of_a_set/VeP9g8CA">partition</a> of {1, ..., <i>n</i>}, <i>R</i> is said to be <i>unique</i> on {<i>X</i><i>i</i>}<i>i</i>∈<i>I</i>, and {<i>X</i><i>i</i>}<i>i</i>∈<i>J</i> is called <i>a <a href="/facts/Primary_key/veT9mAbo">primary key</a></i><a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a> of <i>R</i>. In the case where <i>R</i> is a binary relation, when <i>R</i> is unique on {<i>X</i>1}, it is also said to be <a href="/facts/Binary_relation/r9BwGgaK"><i>left-unique</i></a> or <i>injective</i>, and when <i>R</i> is unique on {<i>X</i>2}, it is also said to be <a href="/facts/Binary_relation/r9BwGgaK"><i>univalent</i></a> or <i>right-unique</i>.</li> <li>When all <i>X</i><i>i</i> are the same set <i>X</i>, it is simpler to refer to <i>R</i> as an <i>n</i>-ary relation over <i>X</i>, called a <i><a href="/facts/Homogeneous_relation/wh0QoWzS">homogeneous relation</a></i>. Without this restriction, <i>R</i> is called a <i><a href="/facts/Heterogeneous_relation/r9BwGgaK">heterogeneous relation</a></i>.</li> <li>When any of <i>X</i><i>i</i> is empty, the defining Cartesian product is empty, and the only relation over such a sequence of domains is the empty relation <i>R</i> = ∅.</li></ul> <p>Let a <a href="/facts/Boolean_domain/9cYq9TC1">Boolean domain</a> <i>B</i> be a two-element set, say, <i>B</i> = {0, 1}, whose elements can be interpreted as logical values, typically 0 = false and 1 = true. The <a href="/facts/Indicator_function/QEuh04NM">characteristic function</a> of <i>R</i>, denoted by <i>χ</i><i>R</i>, is the <a href="/facts/Boolean-valued_function/vlJBGgUl">Boolean-valued function</a> <i>χ</i><i>R</i>: <i>X</i>1 × ... × <i>X</i><i>n</i> → <i>B</i>, defined by <i>χ</i><i>R</i>((<i>x</i>1, ..., <i>x</i><i>n</i>)) = 1 if <i>Rx</i>1⋯<i>x</i><i>n</i> and <i>χ</i><i>R</i>((<i>x</i>1, ..., <i>x</i><i>n</i>)) = 0 otherwise. </p><p>In applied mathematics, <a href="/facts/Computer_science/lN3pEyPz">computer science</a> and statistics, it is common to refer to a Boolean-valued function as an <i>n</i>-ary <a href="/facts/Predicate_(mathematics)/5WazAvKF"><i>predicate</i></a>. From the more abstract viewpoint of <a href="/facts/Formal_logic/SaI7Y3wN">formal logic</a> and <a href="/facts/Model_theory/vLWVV8sQ">model theory</a>, the relation <i>R</i> constitutes a <i>logical model</i> or a <i>relational structure</i>, that serves as one of many possible <a href="/facts/Interpretation_(logic)/goPmjjQG">interpretations</a> of some <i>n</i>-ary predicate symbol. </p><p>Because relations arise in many scientific disciplines, as well as in many branches of <a href="/facts/Mathematics/pxTouaz4">mathematics</a> and <a href="/facts/Logic/8JnpJLtt">logic</a>, there is considerable variation in terminology. Aside from the <a href="/facts/Set_theory/1ptfsvUP">set-theoretic</a> <a href="/facts/Extension_(semantics)/MykUsmvj">extension</a> of a relational concept or term, the term "relation" can also be used to refer to the corresponding logical entity, either the <a href="/facts/Comprehension_(logic)/66mwmru3">logical comprehension</a>, which is the totality of <a href="/facts/Intension/7mY2GaEg">intensions</a> or abstract properties shared by all elements in the relation, or else the symbols denoting these elements and intensions. Further, some writers of the latter persuasion introduce terms with more concrete connotations (such as "relational structure" for the set-theoretic extension of a given relational concept). </p> <h2 id="specific-values-of-n">Specific values of <i>n</i></h2> <h3>Nullary</h3> <p class="note">Main article: <a href="/facts/Relation_of_degree_zero/Xk3P7cy3">Relation of degree zero</a></p> <p>Nullary (0-ary) relations count only two members: the empty nullary relation, which never holds, and the universal nullary relation, which always holds. This is because there is only one 0-tuple, the empty tuple (), and there are exactly two subsets of the (singleton) set of all 0-tuples. They are sometimes useful for constructing the base case of an <a href="/facts/Mathematical_induction/KxAPqNrH">induction</a> argument. </p> <h3>Unary</h3> <p>Unary (1-ary) relations can be viewed as a collection of members (such as the collection of <a href="/facts/Nobel_laureates/3vGWzdwa">Nobel laureates</a>) having some property (such as that of having been awarded the <a href="/facts/Nobel_Prize/3z1Y3oFL">Nobel Prize</a>). </p><p>Every nullary function is a unary relation. </p> <h3>Binary</h3> <p><a href="/facts/Binary_relation/r9BwGgaK">Binary</a> (2-ary) relations are the most commonly studied form of finitary relations. Homogeneous binary relations (where <i>X</i>1 = <i>X</i>2) include </p> <ul><li><a href="/facts/Equality_(mathematics)/AQCuumLg">Equality</a> and <a href="/facts/Inequality_(mathematics)/qkze4zdI">inequality</a>, denoted by signs such as = and < in statements such as "5 < 12", or</li> <li><a href="/facts/Divisor/DKNa2GvC">Divisibility</a>, denoted by the sign | in statements such as "13 | 143".</li></ul> <p>Heterogeneous binary relations include </p> <ul><li><a href="/facts/Element_(mathematics)/Q2mx1vHL">Set membership</a>, denoted by the sign ∈ in statements such as "1 ∈ N".</li></ul> <h3>Ternary</h3> <p><a href="/facts/Ternary_relation/m5wypU94">Ternary</a> (3-ary) relations include, for example, the <a href="/facts/Binary_function/lAtbyPRG">binary functions</a>, which relate two inputs and the output. All three of the domains of a homogeneous ternary relation are the same set. </p> <h2 id="example">Example</h2> <p>Consider the ternary relation <i>R</i> "<i>x</i> thinks that <i>y</i> likes <i>z</i>" over the set of people <i>P</i> = { Alice, Bob, Charles, Denise }, defined by: </p> <i>R</i> = { (Alice, Bob, Denise), (Charles, Alice, Bob), (Charles, Charles, Alice), (Denise, Denise, Denise) }. <p><i>R</i> can be represented equivalently by the following table: </p> Relation <i>R</i> "<i>x</i> thinks that <i>y</i> likes <i>z</i>"<table><tbody><tr><th><i>x</i></th><th><i>y</i></th><th><i>z</i></th></tr><tr><td>Alice</td><td>Bob</td><td>Denise</td></tr><tr><td>Charles</td><td>Alice</td><td>Bob</td></tr><tr><td>Charles</td><td>Charles</td><td>Alice</td></tr><tr><td>Denise</td><td>Denise</td><td>Denise</td></tr></tbody></table> <p>Here, each row represents a triple of <i>R</i>, that is it makes a statement of the form "<i>x</i> thinks that <i>y</i> likes <i>z</i>". For instance, the first row states that "Alice thinks that Bob likes Denise". All rows are distinct. The ordering of rows is insignificant but the ordering of columns is significant.<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a> </p><p>The above table is also a simple example of a <a href="/facts/Relational_database/pEKGmJLy">relational database</a>, a field with theory rooted in <a href="/facts/Relational_algebra/7tjTFXdf">relational algebra</a> and applications in data management.<a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a> Computer scientists, logicians, and mathematicians, however, tend to have different conceptions what a general relation is, and what it is consisted of. For example, databases are designed to deal with empirical data, which is by definition finite, whereas in mathematics, relations with infinite arity (i.e., infinitary relation) are also considered. </p> <h2 id="history">History</h2> <p class="note">See also: <a href="/facts/Algebraic_logic/bnkuqNb0">Algebraic logic § History</a></p> <p>The logician <a href="/facts/Augustus_De_Morgan/6fQ1KTPb">Augustus De Morgan</a>, in work published around 1860, was the first to articulate the notion of relation in anything like its present sense. He also stated the first formal results in the theory of relations (on De Morgan and relations, see Merrill 1990). </p><p><a href="/facts/Charles_Sanders_Peirce/z76dNqhM">Charles Peirce</a>, <a href="/facts/Gottlob_Frege/FXyStVYj">Gottlob Frege</a>, <a href="/facts/Georg_Cantor/k5v1DvW4">Georg Cantor</a>, <a href="/facts/Richard_Dedekind/CLkWDhY3">Richard Dedekind</a> and others advanced the theory of relations. Many of their ideas, especially on relations called <a href="/facts/Order_theory/gn6fM3oJ">orders</a>, were summarized in <i><a href="/facts/The_Principles_of_Mathematics/Vd3bSkkt">The Principles of Mathematics</a></i> (1903) where <a href="/facts/Bertrand_Russell/SRpwNX2U">Bertrand Russell</a> made free use of these results. </p><p>In 1970, <a href="/facts/Edgar_F._Codd/QCSbPYkK">Edgar Codd</a> proposed a <a href="/facts/Relational_model/VFf4dDIU">relational model</a> for <a href="/facts/Database/VYcpkevb">databases</a>, thus anticipating the development of <a href="/facts/Data_base_management_system/VYcpkevb">data base management systems</a>.<a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a> </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Incidence_structure/PzqNv9Eq">Incidence structure</a></li> <li><a href="/facts/Hypergraph/qIR2o2I3">Hypergraph</a></li> <li><a href="/facts/Logic_of_relatives/z76dNqhM">Logic of relatives</a></li> <li><a href="/facts/Logical_matrix/pS4BnBzj">Logical matrix</a></li> <li><a href="/facts/Partial_order/qb4a3FAX">Partial order</a></li> <li><a href="/facts/Predicate_(mathematical_logic)/5WazAvKF">Predicate (mathematical logic)</a></li> <li><a href="/facts/Projection_(set_theory)/10mwpNsM">Projection (set theory)</a></li> <li><a href="/facts/Reflexive_relation/NzTytEg9">Reflexive relation</a></li> <li><a href="/facts/Relation_algebra/sjRfIybo">Relation algebra</a></li> <li><a href="/facts/Relational_algebra/7tjTFXdf">Relational algebra</a></li> <li><a href="/facts/Relational_model/VFf4dDIU">Relational model</a></li> <li><a href="/facts/Relations_(philosophy)/bCmKhlr1">Relations (philosophy)</a></li></ul> <h2 id="bibliography">Bibliography</h2> <ul><li><a href="/facts/Nicolas_Bourbaki/qRJhs9nr">Bourbaki, N.</a> (1994), <i>Elements of the History of Mathematics</i>, translated by <a href="/facts/John_D._P._Meldrum/R9UIgv8q">John Meldrum</a>, Springer-Verlag</li> <li><a href="/facts/Rudolf_Carnap/0nqgBwnw">Carnap, Rudolf</a> (1958), <i>Introduction to Symbolic Logic with Applications</i>, Dover Publications</li> <li><a href="/facts/Edgar_F._Codd/QCSbPYkK">Codd, Edgar Frank</a> (June 1970). <a href="https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf">"A Relational Model of Data for Large Shared Data Banks"</a> (PDF). <i>Communications of the ACM</i>. 13 (6): 377–387. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1145%2F362384.362685">10.1145/362384.362685</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:207549016">207549016</a>. Retrieved 2020-04-29.</li> <li><a href="/facts/Edgar_F._Codd/QCSbPYkK">Codd, Edgar Frank</a> (1990). <a href="https://codeblab.com/wp-content/uploads/2009/12/rmdb-codd.pdf"><i>The Relational Model for Database Management: Version 2</i></a> (PDF). Boston: <a href="/facts/Addison-Wesley/A7UFATEG">Addison-Wesley</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0201141924.</li> <li><a href="/facts/Augustus_De_Morgan/6fQ1KTPb">De Morgan, A.</a> (1966) [1858], "On the syllogism, part 3", in Heath, P. (ed.), <i>On the syllogism and other logical writings</i>, Routledge, p. 119</li> <li><a href="/facts/Paul_Richard_Halmos/mR11lcap">Halmos, P.R.</a> (1960), <i>Naive Set Theory</i>, Princeton NJ: D. Van Nostrand Company</li> <li><a href="/facts/William_Lawvere/x0j3IlCj">Lawvere, F.W.</a>; Rosebrugh, R (2003), <i>Sets for Mathematics</i>, Cambridge Univ. Press</li> <li><a href="/facts/Clarence_Irving_Lewis/advJU29e">Lewis, C.I.</a> (1918) A Survey of Symbolic Logic, Chapter 3: Applications of the Boole–Schröder Algebra, via <a href="/facts/Internet_Archive/PHStU8Lo">Internet Archive</a></li> <li><a href="/facts/John_Lucas_(philosopher)/05eF8Gxj">Lucas, J.R.</a> (1999), <i>Conceptual Roots of Mathematics</i>, Routledge</li> <li><a href="/facts/Roger_Maddux/KAt36DpA">Maddux, R.D.</a> (2006), <i>Relation Algebras</i>, Studies in Logic and the Foundations of Mathematics, vol. 150, Elsevier Science</li> <li>Merrill, Dan D. (1990), <i>Augustus De Morgan and the logic of relations</i>, Kluwer</li> <li><a href="/facts/Maurice_Nivat/l5GtJaYb">Nivat, M.</a> (1981). <a href="https://link.springer.com/chapter/10.1007/3-540-10828-9_54">"Infinitary relations"</a>. In Astesiano, Egidio; Böhm, Corrado (eds.). <i>Caap '81</i>. Lecture Notes in Computer Science. Vol. 112. Springer Berlin Heidelberg. pp. 46–75. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F3-540-10828-9_54">10.1007/3-540-10828-9_54</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-38716-9.</li> <li><a href="/facts/Charles_Sanders_Peirce/z76dNqhM">Peirce, C.S.</a> (1870), "Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic", <i>Memoirs of the American Academy of Arts and Sciences</i> 9, 317–78, 1870. Reprinted, <i>Collected Papers</i> CP 3.45–149, <i>Chronological Edition</i> CE 2, 359–429.</li> <li><a href="/facts/Charles_Sanders_Peirce/z76dNqhM">Peirce, C.S.</a> (1984) <i>Writings of Charles S. Peirce: A Chronological Edition, Volume 2, 1867–1871</i>. Peirce Edition Project, eds. Indiana University Press.</li> <li><a href="/facts/Bertrand_Russell/SRpwNX2U">Russell, B.</a> (1938) [1903], <a href="http://fair-use.org/bertrand-russell/the-principles-of-mathematics"><i>The Principles of Mathematics</i></a> (2nd ed.), Cambridge Univ. Press.</li> <li><a href="/facts/Patrick_Suppes/FJWNtIx7">Suppes, P.</a> (1972) [1960], <i>Axiomatic Set Theory</i>, Dover Publications</li> <li><a href="/facts/Alfred_Tarski/7h6NySAj">Tarski, A.</a> (1983) [1956], <i>Logic, Semantics, Metamathematics, Papers from 1923 to 1938</i>, translated by J.H. Woodger (1st ed.), Oxford University Press 2nd edition, J. Corcoran, ed. Indianapolis IN: Hackett Publishing.</li> <li><a href="/facts/Stanislaw_Ulam/KaJPqENX">Ulam, S.M.</a> and Bednarek, A.R. (1990), "On the Theory of Relational Structures and Schemata for Parallel Computation", pp. 477–508 in A.R. Bednarek and Françoise Ulam (eds.), <i>Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators</i>, University of California Press, Berkeley, CA.</li> <li><a href="/facts/Stanislaw_Ulam/KaJPqENX">Ulam, S.M.</a> (1990), A.R. Bednarek; Françoise Ulam (eds.), <i>Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators</i>, University of California Press</li> <li><a href="/facts/Roland_Fra%C3%AFss%C3%A9/4Kc6D8wj">Fraïssé, R.</a> (2000) [1986], <i>Theory of Relations</i>, North Holland</li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Codd 1970 - Codd, Edgar Frank (June 1970). "A Relational Model of Data for Large Shared Data Banks" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29. <a href="https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf" target="_blank">https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>"Relation – Encyclopedia of Mathematics". www.encyclopediaofmath.org. Retrieved 2019-12-12. <a href="https://www.encyclopediaofmath.org/index.php/Relation" target="_blank">https://www.encyclopediaofmath.org/index.php/Relation</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>"Definition of n-ary Relation". cs.odu.edu. Retrieved 2019-12-12. <a href="https://www.cs.odu.edu/~toida/nerzic/content/relation/definition/cp_gen/index.html" target="_blank">https://www.cs.odu.edu/~toida/nerzic/content/relation/definition/cp_gen/index.html</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Nivat 1981 - Nivat, M. (1981). "Infinitary relations". In Astesiano, Egidio; Böhm, Corrado (eds.). Caap '81. Lecture Notes in Computer Science. Vol. 112. Springer Berlin Heidelberg. pp. 46–75. doi:10.1007/3-540-10828-9_54. ISBN 978-3-540-38716-9. <a href="https://link.springer.com/chapter/10.1007/3-540-10828-9_54" target="_blank">https://link.springer.com/chapter/10.1007/3-540-10828-9_54</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>De Morgan 1966 - De Morgan, A. (1966) [1858], "On the syllogism, part 3", in Heath, P. (ed.), On the syllogism and other logical writings, Routledge, p. 119 <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>Codd 1970 - Codd, Edgar Frank (June 1970). "A Relational Model of Data for Large Shared Data Banks" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29. <a href="https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf" target="_blank">https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Codd 1970 - Codd, Edgar Frank (June 1970). "A Relational Model of Data for Large Shared Data Banks" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29. <a href="https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf" target="_blank">https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Codd 1970 - Codd, Edgar Frank (June 1970). "A Relational Model of Data for Large Shared Data Banks" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29. <a href="https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf" target="_blank">https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Codd 1970 - Codd, Edgar Frank (June 1970). "A Relational Model of Data for Large Shared Data Banks" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29. <a href="https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf" target="_blank">https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Codd 1970 - Codd, Edgar Frank (June 1970). "A Relational Model of Data for Large Shared Data Banks" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29. <a href="https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf" target="_blank">https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>Codd 1970 - Codd, Edgar Frank (June 1970). "A Relational Model of Data for Large Shared Data Banks" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29. <a href="https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf" target="_blank">https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>"Relations – CS441" (PDF). www.pitt.edu. Retrieved 2019-12-11. <a href="http://www.pitt.edu/~bonidie/cs441/relations.pdf" target="_blank">http://www.pitt.edu/~bonidie/cs441/relations.pdf</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>Codd 1970 - Codd, Edgar Frank (June 1970). "A Relational Model of Data for Large Shared Data Banks" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29. <a href="https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf" target="_blank">https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> </ol>