Modern distributed systems often rely on so called weakly consistent databases, which achieve scalability by weakening consistency guarantees of distributed transaction processing. The semantics of such databases have been formalised in two different styles, one based on abstract executions and the other based on dependency graphs. The choice between these styles has been made according to inte...

Algebraic hyperstructures have many applications in various sciences. The main purpose of this paper is to provide a new application of weak hyperstructures in Chemistry. More precisely, we present three different examples of hyperstructures associated to electrochemical cells. In which we prove that our hyperstructures are Hv-semigroups and we present some interesting results.

The notion of (m,n)-ideals of semigroups was introduced by Lajos [13, 14]. Later (m,n) quasi-ideals and (m,n) bi-ideals and generalized (m,n) bi-ideals were studied in various algebraic structures. The notion of a rough set was originally proposed by Pawlak [16] as a formal tool for modeling and processing incomplete information in information systems. Some authors have studied the algebraic pr...

The GAIA framework prototype, described herein, explores the possibilities and problems that arise when combining versioning and open hypermedia paradigms. It will be argued that it by adding versioning as a separate service in the hypermedia architecture – is possible to build consistent versioning of both documents and hyperstructure. This approach eases some of the problems inherent in separ...

We investigate the categories of weak maps associated to an algebraic weak factorisation system (awfs) in the sense of Grandis–Tholen [14]. For any awfs on a category with an initial object, cofibrant replacement forms a comonad, and the category of (left) weak maps associated to the awfs is by definition the Kleisli category of this comonad. We exhibit categories of weak maps as a kind of “hom...

An important tool in the hyperstructure theory is the fundamental relation. The factorization of a multialgebra modulo its fundamental relation provides a functor into the category of universal algebras. The question that lead us to the results we will present is whether this functor commutes with the products. 2000 Mathematics Subject Classification: 08A05, 20N20, 08A99.

In this work, we attempt to investigate the connection between various types of ideals (for examples (m,n)-ideal, bi-ideal, interior-ideal, quasi-ideal, prime-ideal and maximal-ideal) of an ordered semigroup (S, ·,≤) and the corresponding, hyperideals of its EL-hyperstructure (S, ∗) (if exists). Moreover, we construct the class of EL-Γ-semihypergroup, associated to a partially-ordered Γsemigroup.