Related papers: On the construction of explosive relation algebras
The reciprocality means a duality in Kirchberg algebras between K-theory groups and strong extension groups. In the paper, we will find a certain class of unital simple Exel--Laca algebras for which the reciprocal duals are simple…
We develop an analogue of universal algebra in which generating symbols are interpreted as relations. We prove a variety theorem for these relational algebraic theories, in which we find that their categories of models are precisely the…
$C_{\lambda}$-extended oscillator algebras generalizing the Calogero-Vasiliev algebra, where $C_{\lambda}$ is the cyclic group of order $\lambda$, are studied both from mathematical and applied viewpoints. Casimir operators of the algebras…
By means of the Lie algebra expansion method, the centrally extended conformal algebra in two dimensions and the $\mathfrak{bms}_{3}$ algebra are obtained from the Virasoro algebra. We extend this result to construct new families of…
The parabolic algebra was introduced by Katavolos and Power, in 1997, as the operator algebra acting on $L^2(R)$ that is weakly generated by the translation and multiplication semigroups. In particular, they proved that this algebra is…
Complexity and decidability of logics is a major research area involving a huge range of different logical systems. This calls for a unified and systematic approach for the field. We introduce a research program based on an algebraic…
An alternative proof of the completeness of relational algebra with respect to allowed formulas of first-order logic is presented. The proof relies on the well-known embedding of relational algebra into cylindric algebra, which makes it…
A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…
We consider forkable regular expressions, which enrich regular expressions with a fork operator, to establish a formal basis for static and dynamic analysis of the communication behavior of concurrent programs. We define a novel…
What is Sequence Algebra? This is a question that any teacher or student of mathematics or computer science can engage with. Sequences are in Calculus, Combinatorics, Statistics and Computation. They are foundational, a step up from number…
Graph database systems are increasingly adapted for storing and processing heterogeneous network-like datasets. However, due to the novelty of such systems, no standard data model or query language has yet emerged. Consequently, migrating…
Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…
In the physics literature, Bilal--Fock--Kogan \cite{BFK} introduced the idea of parabolic reduced flat connections on a surface to give a geometric origin to $W$-algebras. In this paper, we combine these ideas with higher complex…
These are lecture notes on the algebraic approach to regular languages. The classical algebraic approach is for finite words; it uses semigroups instead of automata. However, the algebraic approach can be extended to structures beyond…
We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting…
In the present paper we review the progress of the project of classification and construction of invariant differential operators for non-compact semisimple Lie groups. Our starting points is the class of algebras, which we called earlier…
The position we advocate in this paper is that relational algebra can provide a unified language for both representing and computing with statistical-relational objects, much as linear algebra does for traditional single-table machine…
Recently, by A. Elduque and A. Labra a new technique and a type of an evolution algebra are introduced. Several nilpotent evolution algebras defined in terms of bilinear forms and symmetric endomorphisms are constructed. The technique then…
Conjunctive table algebras are introduced and axiomatically characterized. A conjunctive table algebra is a variant of SPJR algebra (a weaker form of relational algebra), which corresponds to conjunctive queries with equality. The table…
Enumerating all solutions of a relational algebra equation is a natural and powerful operation which, when added as a query language primitive to the nested relational algebra, yields a query language for nested relational databases,…