Anzeige
Erschienen in:
2017 | OriginalPaper | Buchkapitel
10. Insertion Semiproducts
verfasst von : Steven Givant, Hajnal Andréka
Erschienen in: Simple Relation Algebras
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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).