Sciweavers

Share
ICDT
2016
ACM

Document Spanners: From Expressive Power to Decision Problems

3 years 6 months ago
Document Spanners: From Expressive Power to Decision Problems
We examine document spanners, a formal framework for information extraction that was introduced by Fagin et al. (PODS 2013). A document spanner is a function that maps an input string to a relation over spans (intervals of positions of the string). We focus on document spanners that are defined by regex formulas, which are basically regular expressions that map matched subexpressions to corresponding spans, and on core spanners, which extend the former by standard algebraic operators and string equality selection. First, we compare the expressive power of core spanners to three models – namely, patterns, word equations, and a rich and natural subclass of extended regular expressions (regular expressions with a repetition operator). These results are then used to analyze the complexity of query evaluation and various aspects of static analysis of core spanners. Finally, we examine the relative succinctness of different kinds of representations of core spanners and relate this to th...
Dominik D. Freydenberger, Mario Holldack
Added 04 Apr 2016
Updated 04 Apr 2016
Type Journal
Year 2016
Where ICDT
Authors Dominik D. Freydenberger, Mario Holldack
Comments (0)
books