A Benchmark Collection of Deterministic Automata for XPath Queries

Antonio Al Serhali (1) , Joachim Niehren (1)

1 LINKS - Linking Dynamic Data

We provide a benchmark collection of deterministic automata for regular XPath queries. For this, we select the subcollection of forward navigational XPath queries from a corpus that Lick and Schmitz extracted from real-world XSLT and XQuery programs, compile them to symbolic stepwise hedge automata (Shas), and determinize them. Large blowups by automata determinization are avoided by using schema-based determinization. The schema captures the XML data model and the fact that a variable must be bound to a single node by any query answer. Our collection also provides deterministic symbolic nested word automata that we obtain by compilation from deterministic symbolic Shas.

Mots clés: nested words; XPath; trees; regular path queries; Automata

Domaines: Informatique [cs]

Antonio Al Serhali, Joachim Niehren. A Benchmark Collection of Deterministic Automata for XPath Queries. XML Prague, Jul 2022, Prague, Czech Republic. ⟨hal-03527888v3⟩