Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation - LAMSADE (Laboratoire d'Analyse et de Modélisation des Systèmes pour l'Aide à la Décision) Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Database Systems Année : 2017

Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation

Résumé

Regular Expressions (REs) are ubiquitous in database and programming languages. While many applications make use of REs extended with interleaving ( shuffle ) and unordered concatenation operators, this extension badly affects the complexity of basic operations, and, especially, makes membership NP-hard, which is unacceptable in most practical scenarios. In this article, we study the problem of membership checking for a restricted class of these extended REs, called conflict-free REs , which are expressive enough to cover the vast majority of real-world applications. We present several polynomial algorithms for membership checking over conflict-free REs. The algorithms are all polynomial and differ in terms of adopted optimization techniques and in the kind of supported operators. As a particular application, we generalize the approach to check membership of Extensible Markup Language trees into a class of EDTDs (Extended Document Type Definitions) that models the crucial aspects of DTDs (Document Type Definitions) and XSD (XML Schema Definitions) schemas. Results about an extensive experimental analysis validate the efficiency of the presented membership checking techniques.

Dates et versions

hal-03964932 , version 1 (31-01-2023)

Identifiants

Citer

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani. Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation. ACM Transactions on Database Systems, 2017, 42 (4), pp.1-44. ⟨10.1145/3132701⟩. ⟨hal-03964932⟩
6 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More