On the notion of cycles in hypergraphs

International audienceThe notion of hypergraph cyclicity is crucial in numerous fields of application of hypergraph theory, e.g. in computerscience, in relational database theory and constraint programming. Surprisingly, while this notion has been wellstudied during last thirty years, no relevant definition of cycles in hypergraphs has been proposed by the community.In this paper, we propose a definition of cycles in hypergraphs, α−cycle based on the same principle in graph theory,meaning that a hypergraph is acyclic iff it does not contain an α−cycle. This result completes the theory of the mostly used notion of hypergraph acyclicity, the α−acyclicity