A Benchmark Collection of Deterministic Automata for XPath Queries - Archive ouverte HAL
Conference Papers Year : 2022

A Benchmark Collection of Deterministic Automata for XPath Queries

Antonio Al Serhali
Joachim Niehren

Abstract

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.
Fichier principal
Vignette du fichier
0.pdf (1.63 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03527888 , version 1 (23-02-2022)
hal-03527888 , version 2 (28-02-2022)
hal-03527888 , version 3 (27-04-2022)
hal-03527888 , version 4 (03-06-2022)

Identifiers

  • HAL Id : hal-03527888 , version 3

Cite

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

Share

More