Alon, Kleitman, Lipton, Meshulam, Rabin and Spencer (Graphs. Combin. 7 (1991), no. 2, 97-99) proved, that for any hypergraph F = fF1; F2; : : : ; Fd(q 1)+1g, where q is a primepower, and d denotes the maximal degree of the hypergraph, there exists an F0 F , such that jSF2F0 F j 0 (mod q). We give a direct, alternative proof for this theorem, and we also give an explicit construction of a hyperg...

In this paper we consider the problem of determining all values of v for which there exists a decomposition of the complete 3-uniform hypergraph on v vertices into edge-disjoint copies of a given 3-uniform hypergraph. We solve the problem for each 3-uniform hypergraph having at most three edges and at most six vertices, and for the 3-uniform hypergraph of order 6 whose edges form the lines of t...

The paper considers the problem of computing a maximal independent set in a hypergraph (see 3] and 7]). We present an eecient deterministic NC algorithm for nding a maximal independent set in a hypergraph of dimension 3: the algorithm runs in time O(log 4 n) time on n + m processors of an EREW PRAM and is optimal up to a polylogarithmic factor. Our algorithm adapts the technique of Goldberg and...

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...