On Core XPath with inflationary fixed points

Authors
Publication date 2009
Host editors
  • R. Matthes
  • T. Uustalu
Book title Proceedings of the 6th Workshop on Fixed Points in Computer Science (FICS 2009), Coimbra, Portugal
ISBN
  • 9789949430291
Event 6th Workshop on Fixed Points in Computer Science (FICS 2009), Coimbra, Portugal
Pages (from-to) 11-17
Publisher Tallinn: Institute of Cybernetics at Tallinn University of Technology
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Abstract 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.
Document type Conference contribution
Language English
Published at http://cs.ioc.ee/fics09/fics09proc.pdf
Permalink to this page
Back