Matches in SemOpenAlex for { <https://semopenalex.org/work/W1607567981> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1607567981 endingPage "443" @default.
- W1607567981 startingPage "429" @default.
- W1607567981 abstract "Regular n-ary queries in trees are queries which are definable by an MSO formula with n free first-order variables. We investigate the variable independence problem – originally introduced for databases – in the context of trees. In particular, we show how to decide whether a regular query is equivalent to a union of cartesian products, independently of the input tree. As an intermediate step, we reduce this problem to the problem of deciding whether the number of answers to a regular query is bounded by some constant, independently of the input tree. As a (non-trivial) generalization, we introduce variable independence w.r.t. a dependence forest between blocks of variables, which we prove to be decidable.KeywordsBinary TreeFree VariableDependence TreeInput TreeTree AutomatonThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1607567981 created "2016-06-24" @default.
- W1607567981 creator A5049821685 @default.
- W1607567981 creator A5080756796 @default.
- W1607567981 date "2008-07-21" @default.
- W1607567981 modified "2023-10-14" @default.
- W1607567981 title "Regular n-ary Queries in Trees and Variable Independence" @default.
- W1607567981 cites W1517238936 @default.
- W1607567981 cites W1589253297 @default.
- W1607567981 cites W1816466119 @default.
- W1607567981 cites W1905633503 @default.
- W1607567981 cites W1985707694 @default.
- W1607567981 cites W1990282554 @default.
- W1607567981 cites W2027450089 @default.
- W1607567981 cites W2043711611 @default.
- W1607567981 cites W2057114339 @default.
- W1607567981 cites W2059287145 @default.
- W1607567981 cites W2068199351 @default.
- W1607567981 cites W2126513401 @default.
- W1607567981 cites W2158974548 @default.
- W1607567981 cites W2275793187 @default.
- W1607567981 doi "https://doi.org/10.1007/978-0-387-09680-3_29" @default.
- W1607567981 hasPublicationYear "2008" @default.
- W1607567981 type Work @default.
- W1607567981 sameAs 1607567981 @default.
- W1607567981 citedByCount "3" @default.
- W1607567981 countsByYear W16075679812017 @default.
- W1607567981 crossrefType "book-chapter" @default.
- W1607567981 hasAuthorship W1607567981A5049821685 @default.
- W1607567981 hasAuthorship W1607567981A5080756796 @default.
- W1607567981 hasBestOaLocation W16075679811 @default.
- W1607567981 hasConcept C105795698 @default.
- W1607567981 hasConcept C113174947 @default.
- W1607567981 hasConcept C114614502 @default.
- W1607567981 hasConcept C118615104 @default.
- W1607567981 hasConcept C134306372 @default.
- W1607567981 hasConcept C151730666 @default.
- W1607567981 hasConcept C153269930 @default.
- W1607567981 hasConcept C177148314 @default.
- W1607567981 hasConcept C182365436 @default.
- W1607567981 hasConcept C199360897 @default.
- W1607567981 hasConcept C2777027219 @default.
- W1607567981 hasConcept C2779343474 @default.
- W1607567981 hasConcept C33923547 @default.
- W1607567981 hasConcept C34388435 @default.
- W1607567981 hasConcept C35651441 @default.
- W1607567981 hasConcept C41008148 @default.
- W1607567981 hasConcept C86803240 @default.
- W1607567981 hasConceptScore W1607567981C105795698 @default.
- W1607567981 hasConceptScore W1607567981C113174947 @default.
- W1607567981 hasConceptScore W1607567981C114614502 @default.
- W1607567981 hasConceptScore W1607567981C118615104 @default.
- W1607567981 hasConceptScore W1607567981C134306372 @default.
- W1607567981 hasConceptScore W1607567981C151730666 @default.
- W1607567981 hasConceptScore W1607567981C153269930 @default.
- W1607567981 hasConceptScore W1607567981C177148314 @default.
- W1607567981 hasConceptScore W1607567981C182365436 @default.
- W1607567981 hasConceptScore W1607567981C199360897 @default.
- W1607567981 hasConceptScore W1607567981C2777027219 @default.
- W1607567981 hasConceptScore W1607567981C2779343474 @default.
- W1607567981 hasConceptScore W1607567981C33923547 @default.
- W1607567981 hasConceptScore W1607567981C34388435 @default.
- W1607567981 hasConceptScore W1607567981C35651441 @default.
- W1607567981 hasConceptScore W1607567981C41008148 @default.
- W1607567981 hasConceptScore W1607567981C86803240 @default.
- W1607567981 hasLocation W16075679811 @default.
- W1607567981 hasLocation W16075679812 @default.
- W1607567981 hasLocation W16075679813 @default.
- W1607567981 hasLocation W16075679814 @default.
- W1607567981 hasLocation W16075679815 @default.
- W1607567981 hasLocation W16075679816 @default.
- W1607567981 hasOpenAccess W1607567981 @default.
- W1607567981 hasPrimaryLocation W16075679811 @default.
- W1607567981 hasRelatedWork W1871156538 @default.
- W1607567981 hasRelatedWork W2037204124 @default.
- W1607567981 hasRelatedWork W2064470584 @default.
- W1607567981 hasRelatedWork W2529633050 @default.
- W1607567981 hasRelatedWork W2604286351 @default.
- W1607567981 hasRelatedWork W2931130662 @default.
- W1607567981 hasRelatedWork W3034838075 @default.
- W1607567981 hasRelatedWork W3037532811 @default.
- W1607567981 hasRelatedWork W4308616756 @default.
- W1607567981 hasRelatedWork W4312547727 @default.
- W1607567981 isParatext "false" @default.
- W1607567981 isRetracted "false" @default.
- W1607567981 magId "1607567981" @default.
- W1607567981 workType "book-chapter" @default.