UB algebra is universal logic algebra system in the ideal condition(the generalized correlative coefficient h = 0.

In this paper,we introduce UB algebras for universal logic in the ideal condition.

The existence of congruence relation between them was proved by constructing the corresponding algebraic system respectively.

Through the application of algebraic system in computer fields,we want to reveal a profound theory about operating on the database to lead to several common algebraic formulations in the system of simplified operation,to directly link up discrete mathematics with computer science.

The aim of this paper is to research on a method for uniformly representing data objects, which is needed by the management tools of CMM, and their operations by the algebraic system.

We give a new method of DOCEM model-based binding computation for XML algebra system.

Cyclic group is a kind of important algebra system in discrete mathematics.

Without the partial ordering relation and ordering structure, a conversant algebra system Boolean algebra is analyzed with a new point of view in this paper, which makes most concepts in discrete mathematical being understood more deeply.

The method firstly assumed the invariant of Petri nets as a parameterized system,and then evaluated para-meters in the invariant by solving the corresponding semi-algebraic system.

Also, basic operations on ternary logic in post algebra are realized using three-layer feed-forward robust neural networks based on its classification property, accordingly arbitrary ternary logical functions can be realized.