Static analysis of navigational XPath over graph databases