On Core XPath with Inflationary Fixed Points.
Loredana Afanasiev, Balder ten Cate · UvA-DARE (University of Amsterdam) · 2009
In this report, we prove the undecidability of Core XPath 1.0 (CXP) extended with an Inflationary Fixed Point (IFP) operator. We prove that the satisfiability problem of this language is undecidable. In fact, the fragment of CXP+IFP containing only the self and descendant axes is already undecidable.