• Journal of KIISE:Databases
• /
• v.32 no.3
• /
• pp.326-333
• /
• 2005

Many XML applications use XPath Patterns as a query language for XML documents. Two XPath patterns may have containment relationship, and the containment problem between two XPath patterns is a problem that determines whether one XPath pattern contains another XPath Pattern. Although the containment problem occurs in many applications, it is known as a co-NP complete. A homomorphism problem, which is a sufficient condition for the containment problem, is solved in polynomial time. We first discuss applications that replace the containment problem with the homomorphism problem, and maintaining homomorphism information among XPath patterns will benefit those applications. Then, we propose a lattice structure, called POX (Partially Ordered Set of XPath Patterns), and develop algorithms for maintaining it. As our analyses show, the algorithms can efficiently maintain POX in polynomial time.

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.31-36
• /
• 1983

Let R be a commutative ring with 1, and A a unitary commutative R-algebra. By a derivation module of A, we mean a pair (M, d), where M is an A-module and d: A.rarw.M and R-derivation, i.e., d is an R-linear mapping such that d(ab)=a)db)+b(da). A derivation module homomorphism f:(M,d).rarw.(N, .delta.) is an A-homomorphism f:M.rarw.N such that f.d=.delta.. A derivation module of A, (U, d), there exists a unique derivation module homomorphism f:(U, d).rarw.(M,.delta.). In fact, a universal derivation module of A exists in the category of derivation modules of A, and is unique up to unique derivation module isomorphisms [2, pp. 101]. When (U,d) is a universal derivation module of R-algebra A, the A-module U is denoted by U(A/R). For out convenience, U(A/R) will also be called a universal derivation module of A, and d the R-derivation corresponding to U(A/R).

• Communications of the Korean Mathematical Society
• /
• v.25 no.3
• /
• pp.335-342
• /
• 2010

The structure of fuzzy topological spaces based on WFI-algebras is considered. The notions of WFI-fuzzy topological spaces and WFI-fuzzy continuous mappings are introduced, and several properties are investigated. A relation between WFI-homomorphism and WFI-fuzzy continuous mapping is given.

• Honam Mathematical Journal
• /
• v.26 no.1
• /
• pp.61-75
• /
• 2004

It is shown that every almost linear mapping $h:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ of a unital Poisson Banach algebra ${\mathcal{A}}$ to a unital Poisson Banach algebra ${\mathcal{B}}$ is a Poisson algebra homomorphism when h(xy) = h(x)h(y) holds for all $x,y{\in}\;{\mathcal{A}}$, and that every almost linear almost multiplicative mapping $h:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ is a Poisson algebra homomorphism when h(qx) = qh(x) for all $x\;{\in}\;{\mathcal{A}}$. Here the number q is in the functional equation given in the almost linear almost multiplicative mapping. We prove that every almost Poisson bracket $B:{\mathcal{A}}\;{\times}\;{\mathcal{A}}\;{\rightarrow}\;{\mathcal{A}}$ on a Banach algebra ${\mathcal{A}}$ is a Poisson bracket when B(qx, z) = B(x, qz) = qB(x, z) for all $x,z{\in}\;{\mathcal{A}}$. Here the number q is in the functional equation given in the almost Poisson bracket.

• Journal of the Korean Mathematical Society
• /
• v.41 no.3
• /
• pp.461-477
• /
• 2004

It is shown that every almost linear mapping h : A\longrightarrowB of a unital $C^{*}$ -algebra A to a unital $C^{*}$ -algebra B is a homomorphism under some condition on multiplication, and that every almost linear continuous mapping h : A\longrightarrowB of a unital $C^{*}$ -algebra A of real rank zero to a unital $C^{*}$ -algebra B is a homomorphism under some condition on multiplication. Furthermore, we are going to prove the generalized Hyers-Ulam-Rassias stability of *-homomorphisms between unital $C^{*}$ -algebras, and of C-linear *-derivations on unital $C^{*}$ -algebras./ -algebras.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.109-115
• /
• 1993

In 1940 Eidelheit showed that every homomorphism of a Banach algebra onto the Banach algebra B(X) of all bounded linear operators on a Banach space X is continuous. At about the same time, Gelfand proved that every homomorphism of a commutative Banach algebra into a commutative semi-simple Banach algebra is continuous. In [7] Johnson proved that every homomorphism of a Banach algebra onto non-commutative semi-simple Banach algebra is continuous, and this is still the most important result of this type. In this paper we are concerned with continuity of derivations on commutative Banach algebras and of homomorphisms into commutative Banach algebras. Throughout this paper we suppose that A is a commutative Banach algebra. R will denote the redical of A.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2043-2051
• /
• 2017

Consider a sequence of compactly supported Hamiltonian diffeomorphisms ${\phi}_k$ of an exact symplectic manifold, all of which are "graphical" in the sense that their graphs are identified by a Darboux-Weinstein chart with the image of a one-form. We show by an elementary argument that if the ${\phi}_k$ $C^0$-converge to the identity, then their Calabi invariants converge to zero. This generalizes a result of Oh, in which the ambient manifold was the two-disk and an additional assumption was made on the Hamiltonians generating the ${\phi}_k$. We discuss connections to the open problem of whether the Calabi homomorphism extends to the Hamiltonian homeomorphism group. The proof is based on a relationship between the Calabi invariant of a $C^0$-small Hamiltonian diffeomorphism and the generalized phase function of its graph.

• The Pure and Applied Mathematics
• /
• v.17 no.2
• /
• pp.115-130
• /
• 2010

Let $\cal{A}$ be a unital Banach algebra. If f : $\cal{A}{\rightarrow}\cal{A}$ is an approximately quadratic derivation in the sense of Hyers-Ulam-J.M. Rassias, then f : $\cal{A}{\rightarrow}\cal{A}$ is anexactly quadratic derivation. On the other hands, let $\cal{A}$ and $\cal{B}$ be Banach algebras.Any approximately generalized homomorphism f : $\cal{A}{\rightarrow}\cal{B}$ corresponding to Cauchy, Jensen functional equation can be estimated by a generalized homomorphism.

• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.1
• /
• pp.57-64
• /
• 2014

It is known that the class of CI-algebras is a generalization of the class of BE-algebras [5]. Recently, K. H. Kim introduced the notion of a CS-algebra [4]. In this paper we discuss a closed deductive system of a CS-algebra, and we find some fundamental properties. Moreover, we study a CS-algebra homomorphism and a congruence relation.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.3
• /
• pp.377-379
• /
• 2003

In this paper, we define a strong fuzzy hyperK-subalgebra and investigate between a strong fuzzy hyperK-subalgebra and a fuzzy hyperK-subalgebra. And then we give some properties of a weak homomorphism and a strong fuzzy hyperK-subalgebra.