Matches in SemOpenAlex for { <https://semopenalex.org/work/W2403754566> ?p ?o ?g. }
- W2403754566 abstract "We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace and as hard as graph isomorphism, but its exact complexity remains open. We introduce a natural restriction based on what we call the symmetry degree of queries, and show that when the symmetry degree is bounded by a fixed polynomial in the size of the query, the equivalence problem is in Π 2 . We also show that for asymmetric queries (those of symmetry degree 1), checking bag-equivalence is polynomial-time Turing equivalent to the graph automorphism problem. These results can be interpreted as first steps in a more general program of finding “islands of tractability” for testing equivalence of conjunctive queries with inequalities under bag (rather than set) semantics." @default.
- W2403754566 created "2016-06-24" @default.
- W2403754566 creator A5052980249 @default.
- W2403754566 creator A5091383364 @default.
- W2403754566 date "2011-01-01" @default.
- W2403754566 modified "2023-09-26" @default.
- W2403754566 title "Bag Equivalence of Bounded Symmetry-Degree Conjunctive Queries with Inequalities." @default.
- W2403754566 cites W1538511702 @default.
- W2403754566 cites W1558832481 @default.
- W2403754566 cites W1560095312 @default.
- W2403754566 cites W1560182867 @default.
- W2403754566 cites W179270118 @default.
- W2403754566 cites W1979514837 @default.
- W2403754566 cites W1981077868 @default.
- W2403754566 cites W1983988737 @default.
- W2403754566 cites W1985873640 @default.
- W2403754566 cites W1991455246 @default.
- W2403754566 cites W1997520998 @default.
- W2403754566 cites W2028864278 @default.
- W2403754566 cites W2048531653 @default.
- W2403754566 cites W2049559029 @default.
- W2403754566 cites W2050882124 @default.
- W2403754566 cites W2055586952 @default.
- W2403754566 cites W2114883263 @default.
- W2403754566 cites W2134483537 @default.
- W2403754566 cites W2148139859 @default.
- W2403754566 cites W2150616017 @default.
- W2403754566 cites W2156717879 @default.
- W2403754566 cites W2158985358 @default.
- W2403754566 cites W2163491591 @default.
- W2403754566 cites W2293935537 @default.
- W2403754566 cites W2628596753 @default.
- W2403754566 cites W2912005352 @default.
- W2403754566 cites W3144881883 @default.
- W2403754566 cites W655258421 @default.
- W2403754566 cites W2585807945 @default.
- W2403754566 hasPublicationYear "2011" @default.
- W2403754566 type Work @default.
- W2403754566 sameAs 2403754566 @default.
- W2403754566 citedByCount "0" @default.
- W2403754566 crossrefType "journal-article" @default.
- W2403754566 hasAuthorship W2403754566A5052980249 @default.
- W2403754566 hasAuthorship W2403754566A5091383364 @default.
- W2403754566 hasConcept C11413529 @default.
- W2403754566 hasConcept C114614502 @default.
- W2403754566 hasConcept C118615104 @default.
- W2403754566 hasConcept C121332964 @default.
- W2403754566 hasConcept C134306372 @default.
- W2403754566 hasConcept C153269930 @default.
- W2403754566 hasConcept C179799912 @default.
- W2403754566 hasConcept C197685441 @default.
- W2403754566 hasConcept C24890656 @default.
- W2403754566 hasConcept C2775997480 @default.
- W2403754566 hasConcept C2779145032 @default.
- W2403754566 hasConcept C2779623528 @default.
- W2403754566 hasConcept C2780069185 @default.
- W2403754566 hasConcept C311688 @default.
- W2403754566 hasConcept C33923547 @default.
- W2403754566 hasConcept C34388435 @default.
- W2403754566 hasConcept C41008148 @default.
- W2403754566 hasConcept C5655090 @default.
- W2403754566 hasConcept C65647387 @default.
- W2403754566 hasConcept C77088390 @default.
- W2403754566 hasConceptScore W2403754566C11413529 @default.
- W2403754566 hasConceptScore W2403754566C114614502 @default.
- W2403754566 hasConceptScore W2403754566C118615104 @default.
- W2403754566 hasConceptScore W2403754566C121332964 @default.
- W2403754566 hasConceptScore W2403754566C134306372 @default.
- W2403754566 hasConceptScore W2403754566C153269930 @default.
- W2403754566 hasConceptScore W2403754566C179799912 @default.
- W2403754566 hasConceptScore W2403754566C197685441 @default.
- W2403754566 hasConceptScore W2403754566C24890656 @default.
- W2403754566 hasConceptScore W2403754566C2775997480 @default.
- W2403754566 hasConceptScore W2403754566C2779145032 @default.
- W2403754566 hasConceptScore W2403754566C2779623528 @default.
- W2403754566 hasConceptScore W2403754566C2780069185 @default.
- W2403754566 hasConceptScore W2403754566C311688 @default.
- W2403754566 hasConceptScore W2403754566C33923547 @default.
- W2403754566 hasConceptScore W2403754566C34388435 @default.
- W2403754566 hasConceptScore W2403754566C41008148 @default.
- W2403754566 hasConceptScore W2403754566C5655090 @default.
- W2403754566 hasConceptScore W2403754566C65647387 @default.
- W2403754566 hasConceptScore W2403754566C77088390 @default.
- W2403754566 hasLocation W24037545661 @default.
- W2403754566 hasOpenAccess W2403754566 @default.
- W2403754566 hasPrimaryLocation W24037545661 @default.
- W2403754566 hasRelatedWork W1522877314 @default.
- W2403754566 hasRelatedWork W1565030492 @default.
- W2403754566 hasRelatedWork W1587299800 @default.
- W2403754566 hasRelatedWork W1775654033 @default.
- W2403754566 hasRelatedWork W1988946128 @default.
- W2403754566 hasRelatedWork W2028864278 @default.
- W2403754566 hasRelatedWork W2063158069 @default.
- W2403754566 hasRelatedWork W2068729542 @default.
- W2403754566 hasRelatedWork W2078242294 @default.
- W2403754566 hasRelatedWork W2094767843 @default.
- W2403754566 hasRelatedWork W2134269497 @default.
- W2403754566 hasRelatedWork W2146329061 @default.
- W2403754566 hasRelatedWork W2407218721 @default.
- W2403754566 hasRelatedWork W2585424461 @default.