Provenance Graphs: Anticipating and Exploiting Schema-Level Data Provenance Daniel Zinn Bertram Ludäscher {dzinn,ludaesch}@ucdavis.edu Abstract. Provenance graphs capture flow and dependency information recorded during scientific workflow runs, which can be used subsequently to interpret, validate, and debug workflow results. In this paper, we propose a new concept, called abstract provenance g...

Extremal problems for graph homomorphisms have recently become a topic of much research. Let hom(G,H) denote the number of homomorphisms from G to H. A natural set of problems arises when we fix an image graph H and determine which graph(s) G on n vertices and m edges maximize hom(G,H). We prove that if H is loop-threshold, then, for every n and m, there is a threshold graph G with n vertices a...

Infinite presentations are given for all of the higher Torelli groups of once-punctured surfaces. In the case of the classical Torelli group, a finite presentation of the corresponding groupoid is also given. Furthermore, the first Johnson homomorphism, which is defined from the classical Torelli group to the third exterior power of the homology of the surface, is shown to lift to an explicit c...

An (m,n)-colored-mixed graph G=(V,A1,A2,⋯,Am,E1,E2,⋯,En) is a having m colors of arcs and n edges. We do not allow two or edges to have the same endpoints. A homomorphism from an G another H morphism φ:V(G)→V(H) such that each edge (resp. arc) mapped color (and orientation). T said be Pg(m,n)-universal if every in Pg(m,n) (the planar graphs with girth at least g) admits T. show exist for 2m+n≥3...

We consider the following condition (*) on an associative ring R : (*). There exists a function f from R into R such that f is a group homomorphism of (R,+), f is injective on R2, and f(xy) = (xy)n(x,y) for some positive integer n(x,y) > 1. Commutativity and structure are established for Artinian rings R satisfying (*), and a counterexample is given for nonArtinian rings. The results generalize...

This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...

We give a short proof of the theorem that a closed subgroup of a countable product of second countable Lie groups is pro-Lie. The point of this note is to give a short and self-contained, modulo well known results, proof of a theorem of Hofmann and Morris [3] (see also [4, Theorem 3.35] and [5]) in the case of second countable groups. Another simple proof of the result of Hofmann and Morris was...

Because of the associativity of fusion products ⊠, the above hypothesis is equivalent to the condition that for each irreducible module W , there is an irreducible module W̃ such that HomV (W̃ ⊠ W,V ) 6= 0. In the previous paper [6], we have introduced a concept of ”Semi-Rigidity” and then proved that if W is semi-rigid, then W is flat for the fusion products ⊠, that is, 0 → W ⊠ A → W ⊠ B → W ⊠ C...

The rst systematic treatment of weighted extended tree transducers (wxtt) over countably complete semirings is provided. It is proved that the extension in the left-hand sides of a wxtt can be simulated by the inverse of a linear and nondeleting tree homomorphism. In addition, a characterization of weighted tree transformations computed by bottomup wxtt in terms of bimorphisms is provided. Back...

the aim of this paper is to introduce and study set- valued homomorphism on lattices and t-rough lattice with respect to a sublattice. this paper deals with t-rough set approach on the lattice theory. the result of this study contributes to, t-rough fuzzy set and approximation theory and proved in several papers. keywords: approximation space; lattice; prime ideal; rough ideal; t-rough set; set...