query_equivalence (425B)
1 # Query equivalence 2 3 Two [Boolean_queries] Q and Q' are *equivalent* if they are satisfied on precisely the same [databases]. 4 5 For non-Boolean [queries], on every [database] the [set] of returned [answers] should be the same 6 7 [Computational_problem]: [query_equivalence_problem] 8 9 - variant: [equivalence_bag_semantics] in [bag_semantics] 10 - or in different [semirings] 11 12 Up: [equivalence], [query] 13 14 Aliases: query_equivalent