The implication problem for `closest node' functional dependencies in complete XML documents

From MaRDI portal