Showing 1–2 of 2 results for author: Kleest-Meißner, S

Puzzling over Subsequence-Query Extensions: Disjunction and Generalised Gaps

Authors: André Frochaux, Sarah Kleest-Meißner

Abstract: A query model for sequence data was introduced in [11] in the form of subsequence-queries with wildcards and gap-size constraints (swg-queries, for short). These queries consist of a pattern over an alphabet of variables and types, as well as a global window size and a number of local gap-size constraints. We propose two new extensions of swg-queries, which both enrich the expressive power of swg-… ▽ More A query model for sequence data was introduced in [11] in the form of subsequence-queries with wildcards and gap-size constraints (swg-queries, for short). These queries consist of a pattern over an alphabet of variables and types, as well as a global window size and a number of local gap-size constraints. We propose two new extensions of swg-queries, which both enrich the expressive power of swg-queries in different ways: subsequence-queries with generalised gap-size constraints (swgg-queries, for short) and disjunctive subsequence-queries (dswg-queries, for short). We discuss a suitable characterisation of containment, a classical property considered in database theory, and adapt results concerning the discovery of swg-queries to both, swgg-queries and dswg-queries. △ Less

Submitted 14 May, 2023; originally announced May 2023.

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

Authors: Sarah Kleest-Meißner, Jonas Marasus, Matthias Niewerth

Abstract: We describe a framework for maintaining forest algebra representations that are of logarithmic height for unranked trees. Such a representations can be computed in O(n) time and updated in O(log(n)) time. The framework is of potential interest for data structures and algorithms for trees whose complexity depend on the depth of the tree (representation). We provide an exemplary application of the f… ▽ More We describe a framework for maintaining forest algebra representations that are of logarithmic height for unranked trees. Such a representations can be computed in O(n) time and updated in O(log(n)) time. The framework is of potential interest for data structures and algorithms for trees whose complexity depend on the depth of the tree (representation). We provide an exemplary application of the framework to the problem of efficiently enumerating answers to MSO-definable queries over trees which are subject to local updates. We exhibit an algorithm that uses an O(n) preprocessing phase and enumerates answers with O(log(n)) delay between them. When the tree is updated, the algorithm can avoid repeating expensive preprocessing and restart the enumeration phase within O(log(n)) time. Our algorithms and complexity results in the paper are presented in terms of node-selecting tree automata representing the MSO queries. △ Less

Submitted 2 April, 2025; v1 submitted 8 August, 2022; originally announced August 2022.