Advertisement
Published in:
2017 | OriginalPaper | Chapter
10. Insertion Semiproducts
Authors : Steven Givant, Hajnal Andréka
Published in: Simple Relation Algebras
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
We now describe a way of inserting new elements into a given simple relation algebra \(\mathfrak{B}\). The location of the insertion is determined by a reflexive equivalence element e, while the blueprint for the insertion is determined by a relation algebra \(\mathfrak{C}\). The portion of \(\mathfrak{B}\) that is below e—which is just the relativization \(\mathfrak{B}(e)\)—is enlarged by adjoining copies of the elements of \(\mathfrak{C}\) (see Figure 10.1).