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]