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

A Benchmark of Deterministic Automata for Regular 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 (SSHAs) and determinize them. Large blowups by automata determinization are avoided by using schema-based determinization. Therefore, we show how to lift a recent algorithm for schema-based determinization from SHAs to symbolic SHAs. Our col- lection also provides deterministic symbolic nested word automata, that we obtain by compilation from deterministic symbolic SHAs.
Fichier principal
Vignette du fichier
1.pdf (578.72 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 1

Citer

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

Partager

More