wiki_research

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

unbounded_homomorphism_closed_query (395B)

      1 # Unbounded homomorphism closed query
      2 
      3 A [homomorphism_closed] which is [unbounded_query], i.e., not equivalent to a [UCQ]
      4 
      5 [PQE] for such queries on [arity_two_signatures] is always [sharpP_hard] in [data_complexity] by [amarilli2022dichotomy]
      6 
      7 Up: [homomorphism_closed], [unbounded_query]
      8 
      9 Aliases: Unbounded homomorphism closed queries, unbounded homclosed query, unbounded homclosed queries