Extracting a largest redundancy-free XML storage structure from an acyclic hypergraph in polynomial time