Splitting Atoms in Relational Algebras

Splitting atoms in a relation algebra is a common tool to generate new algebras from old ones. This includes constructing nonrepresentable algebras from representable structures. The known method of splitting atoms does not allow that bijections different from the identity are contained in the starting algebra. This is a major drawback of that method because interesting candidates in mereotopology do contain such bijections. An ad-hoc splitting was done in those examples, and the results have been published in several papers. With this paper we want to start a thorough investigation of possible splitting methods.

[1]  Robin Hirsch,et al.  Strongly representable atom structures of relation algebras , 2001 .

[2]  Abraham Kandel,et al.  Discrete mathematics for computer scientists , 1983 .

[3]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[4]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[5]  Gunther Schmidt,et al.  Relations and Graphs , 1993, EATCS Monographs on Theoretical Computer Science.

[6]  Michael Winter,et al.  A representation theorem for Boolean contact algebras , 2005, Theor. Comput. Sci..

[7]  Ivo Düntsch,et al.  A relation - algebraic approach to the region connection calculus , 2001, Theor. Comput. Sci..

[8]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[9]  Gunther Schmidt,et al.  Relational Mathematics , 2010, Encyclopedia of Mathematics and its Applications.

[10]  Ivo Düntsch,et al.  Relation Algebras and their Application in Temporal and Spatial Reasoning , 2005, Artificial Intelligence Review.

[11]  Roger D. Maddux,et al.  Finite integral relation algebras , 1985 .

[12]  Christoph Kreitz,et al.  Automating Proofs in Category Theory , 2006, IJCAR.

[13]  G. Grätzer.  General Lattice Theory , 1978 .

[14]  John G. Stell,et al.  Boolean connection algebras: A new approach to the Region-Connection Calculus , 2000, Artif. Intell..

[15]  Anthony G. Cohn,et al.  Computing Transivity Tables: A Challenge For Automated Theorem Provers , 1992, CADE.

[16]  Dimiter Vakarelov,et al.  Contact Algebras and Region-based Theory of Space: A Proximity Approach - I , 2006, Fundam. Informaticae.

[17]  R. Maddux,et al.  Non-embeddable simple relation algebras , 1997 .

[18]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[19]  R. Maddux.  Some varieties containing relation algebras , 1982 .

[20]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[21]  Toby Walsh,et al.  Automated Deduction—CADE-11 , 1992, Lecture Notes in Computer Science.

[22]  Ivo Düntsch,et al.  A Proximity Approach to Some Region-Based Theories of Space , 2002, J. Appl. Non Class. Logics.

[23]  Gunther Schmidt,et al.  A Necessary Relation Algebra for Mereotopology , 2001, Stud Logica.

[24]  Ivo Düntsch,et al.  Relations Algebras in Qualitative Spatial Reasoning , 1999, Fundam. Informaticae.

[25]  P. Johnstone.  Sketches of an Elephant , 2007 .

[26]  Michael Winter,et al.  A new algebraic approach to L-fuzzy relations convenient to study crispness , 2001, Inf. Sci..

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

[28]  Gunther Schmidt,et al.  Relational Methods in Computer Science , 1999, Inf. Sci..

[29]  Bahar Aameri.  Extending relAPS to first order logic , 2011 .

[30]  T. D. Laguna.  Point, Line, and Surface, as Sets of Solids , 1922 .

[31]  Wolfram Kahl,et al.  Refactoring Heterogeneous Relation Algebras around Ordered Categories and Converse , 2004 .

[32]  David von Oheimb,et al.  RALL: Machine-Supported Proofs for Relation Algebra , 1997, CADE.

[33]  A. Tarski,et al.  Cylindric Algebras. Part II , 1988 .

[34]  Roger D. Maddux,et al.  Splitting in relation algebras , 1991 .

[35]  Joel Glanfield.  Towards automated derivation in the theory of allegories , 2008 .

[36]  Michael Winter,et al.  A PSEUDO REPRESENTATION THEOREM FOR VARIOUS CATEGORIES OF RELATIONS , 2000 .

[37]  Michael Winter,et al.  Weak Contact Structures , 2005, RelMiCS.

[38]  Ivo Düntsch,et al.  A nonpermutational integral relation algebra. , 1992 .