query_rewriting (571B)
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 12 ## Distiction 13 14 Distinguish [rewriting] (an [algorithm] that can rewrite a [query_language] into another in a [computable] way) and [expressibility] ([queries] in a given [query_language] can always be expressed as a [query_equivalent] [query] in another [query_language]) 15 16 Up: [database_theory] 17 18 See also: [query_evaluation]