wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

spanner_expressiveness (344B)


      1 # Spanner expressiveness
      2 
      3 - [regex_formulas] are strict subset of [variable_set_automata] (hierarchical)
      4 - when adding [relational_algebra]:
      5   - they become equal
      6   - for automata, adding [relational_algebra] makes no difference
      7 - adding [string_equality]: [freydenberger2016document]
      8 
      9 Up: [spanner], [expressiveness]
     10 
     11 See also: [core_spanner]