A Benchmark Collection of Deterministic Automata for XPath Queries - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2022

A Benchmark Collection of Deterministic Automata for XPath Queries

Antonio Al Serhali
Joachim Niehren

Résumé

We provide a benchmark collection of deterministic automata for regular XPath queries. For this, we select the subcollection of for- ward 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 (605.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et 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)

Identifiants

  • HAL Id : hal-03527888 , version 2

Citer

Antonio Al Serhali, Joachim Niehren. A Benchmark Collection of Deterministic Automata for XPath Queries. 2022. ⟨hal-03527888v2⟩
300 Consultations
183 Téléchargements

Partager

More