Markus L. Schmid ; Nicole Schweikardt - Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners

lmcs:8614 - Logical Methods in Computer Science, November 21, 2024, Volume 20, Issue 4 - https://doi.org/10.46298/lmcs-20(4:16)2024
Refl-Spanners: A Purely Regular Approach to Non-Regular Core SpannersArticle

Authors: Markus L. Schmid ; Nicole Schweikardt

The regular spanners (characterised by vset-automata) are closed under the algebraic operations of union, join and projection, and have desirable algorithmic properties. The core spanners (introduced by Fagin, Kimelfeld, Reiss, and Vansummeren (PODS 2013, JACM 2015) as a formalisation of the core functionality of the query language AQL used in IBM's SystemT) additionally need string-equality selections and it has been shown by Freydenberger and Holldack (ICDT 2016, Theory of Computing Systems 2018) that this leads to high complexity and even undecidability of the typical problems in static analysis and query evaluation. We propose an alternative approach to core spanners: by incorporating the string-equality selections directly into the regular language that represents the underlying regular spanner (instead of treating it as an algebraic operation on the table extracted by the regular spanner), we obtain a fragment of core spanners that, while having slightly weaker expressive power than the full class of core spanners, arguably still covers the intuitive applications of string-equality selections for information extraction and has much better upper complexity bounds of the typical problems in static analysis and query evaluation.


Volume: Volume 20, Issue 4
Secondary volumes: Selected Papers of the 24th International Conference on Database Theory (ICDT 2021)
Published on: November 21, 2024
Imported on: October 28, 2021
Keywords: Computer Science - Databases, Computer Science - Formal Languages and Automata Theory, Computer Science - Information Retrieval
Funding:
    Source : OpenAIRE Graph
  • Efficient Query answering Under UpdateS; Funder: French National Research Agency (ANR); Code: ANR-19-CE48-0019

Classifications

1 Document citing this article

Consultation statistics

This page has been seen 1478 times.
This article's PDF has been downloaded 460 times.