Editing Finitary relation (section)

== History ==
{{see also|Algebraic logic#History}}

The logician [[Augustus De Morgan]], 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).

[[Charles Sanders Peirce|Charles Peirce]], [[Gottlob Frege]], [[Georg Cantor]], [[Richard Dedekind]] and others advanced the theory of relations. Many of their ideas, especially on relations called [[Order theory|orders]], were summarized in ''[[The Principles of Mathematics]]'' (1903) where [[Bertrand Russell]] made free use of these results.

In 1970, [[Edgar F. Codd|Edgar Codd]] proposed a [[relational model]] for [[database]]s, thus anticipating the development of [[data base management system]]s.{{sfn|ps=|Codd|1970}}