acyclic_free_connex (414B)
1 # Acyclic free-connex 2 3 Subclass of [conjunctive_query_acyclic] which remains acyclic when adding an atom covering the [free_variable]s 4 5 Some people don't say "acyclic" and take "free-connex" to mean "acyclic free-connex" 6 7 When a query is not acyclic free-connex you can often reduce from [boolean_matrix_multiplication] (if [acyclic]) or [hyperclique] 8 9 Up: [conjunctive_query_acyclic] 10 11 See also: [enumeration_cqs]