An FCA Interpretation of Relation Algebra

This paper discusses an interpretation of relation algebra and fork algebra with respect to FCA contexts. In this case, “relation algebra” refers to the DeMorgan-Peirce-Schroeder-Tarski algebra and not to the “relational algebra” as described by Codd. The goal of this interpretation is to provide an algebraic formalisation of object-relational databases that is based on binary relations and thus closer to FCA and formal contexts than the traditional formalisation based on Codd. The formalisation provides insights into certain symmetries (among quantifiers) and the use of ternary relations and part-whole relations for building relational databases.

[1]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[2]  Tomasz Imielinski,et al.  The Relational Model of Data and Cylindric Algebras , 1984, J. Comput. Syst. Sci..

[3]  Roger D. Maddux,et al.  Relation-Algebraic Semantics , 1996, Theor. Comput. Sci..

[4]  Joachim Hereth.  Relational Scaling and Databases , 2002 .

[5]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[6]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[7]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[8]  Dirk Van Gucht,et al.  A Uniform Data Model for Relational Data and Meta-Data Query Processing , 1995, COMAD.

[9]  James V. Hansen,et al.  Human Performance in Relational Algebra, Tuple Calculus, and Domain Calculus , 1988, Int. J. Man Mach. Stud..

[10]  Vaughan R. Pratt,et al.  The Second Calculus of Binary Relations , 1993, MFCS.

[11]  Jan Van den Bussche,et al.  Applications of Alfred Tarski's Ideas in Database Theory , 2001, CSL.

[12]  Vaughan R. Pratt,et al.  On the Syllogism: IV; and on the Logic of Relations , 2022 .

[13]  L. John Old,et al.  Modelling Lexical Databases with Formal Concept Analysis , 2004, J. Univers. Comput. Sci..

[14]  P. Veloso,et al.  Fork Algebras: Past, Present and Future , 2004 .

[15]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[16]  Uta Priss.  Establishing connections between Formal Concept Analysis and Relational Databases , 2005 .

[17]  Rudolf Wille,et al.  Existential Concept Graphs of Power Context Families , 2002, ICCS.

[18]  R. Lyndon.  THE REPRESENTATION OF RELATIONAL ALGEBRAS , 1950 .

[19]  A. Tarski.  Contributions to the theory of models. III , 1954 .

[20]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[21]  Joachim Hereth Correia.  Relational Scaling and Databases , 2002, ICCS.

[22]  Uta Priss,et al.  Relational concept analysis: semantic structures in dictionaries and lexical databases , 1998 .

[23]  Ki Hang Kim.  Boolean matrix theory and applications , 1982 .