spanner (950B)
1 # Spanner 2 3 - [spanner_surveys] 4 - other model: [annotation_transducer] 5 6 ## Tasks 7 8 - [enumeration_spanner] 9 - [spanner_dynamic] 10 11 ## Classes 12 13 - [spanner_regular] 14 - [spanner_core] 15 - [refl_spanner] 16 - [generalized_core_spanner] 17 18 ## Variants 19 20 - [spanner_weighted] 21 - [v_structure] 22 23 ## Formalisms 24 25 - [regex_formula]s 26 - [variable_set_automaton] 27 - can be extended with 28 - [relational_algebra] 29 - [datalog] 30 - [spanner_cfg] 31 - [spanners_incomplete] 32 33 ## Framework 34 35 - formal framework: see [riveros2024framework] 36 37 ## Other settings 38 39 - [spanner_practice] 40 41 ## Questions 42 43 - [spanner_expressiveness] 44 - [spanner_parallelizability] 45 - [spanner_frequent_sequence_mining] 46 47 ## Extensions 48 49 - [spanners_incomplete] 50 51 ## References 52 53 - [peterfreund2019complexityb], [phd_thesis] of [Liat_Peterfreund] 54 55 Up: [formal_language_theory], [database_theory] 56 57 See also: [graph_spanner], [capture_variable], [annotation_automata] 58 59 Aliases: document spanner, document spanners, spanners