wiki_research

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

query_rewriting (603B)


      1 # Query rewriting
      2 
      3 from a [query], produce a [query] which is [query_equivalent] and has some better properties, e.g.,
      4 - membership to restricted [query_language]
      5 
      6 ## Examples
      7 
      8 - [first_order_rewriting]
      9   - [fok_rewriting]
     10 - [datalog_rewriting]
     11 - [UCQ_rewriting]
     12 
     13 ## Distiction
     14 
     15 Distinguish
     16 - rewritability
     17   - an [algorithm] that can rewrite a [query_language] into another in a [computable] way
     18 - [expressibility]
     19   - [queries] in a given [query_language] can always be expressed as a [query_equivalent] [query] in another [query_language]
     20 
     21 Up: [database_theory]
     22 
     23 See also: [query_evaluation], [OMQA]