FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000487974> ?p ?o ?g. }

• W2000487974 endingPage "1256" @default.
• W2000487974 startingPage "1215" @default.
• W2000487974 abstract "This article studies the complexity of evaluating functional query languages for complex values such as monad algebra and the recursion-free fragment of XQuery. We show that monad algebra, with equality restricted to atomic values, is complete for the class TA[2 O ( n ) , O ( n )] of problems solvable in linear exponential time with a linear number of alternations if the query is assumed to be part of the input. The monotone fragment of monad algebra with atomic value equality but without negation is NEXPTIME-complete. For monad algebra with deep value equality, that is, equality of complex values, we establish TA[2 O ( n ) , O ( n )] lower and exponential-space upper bounds. We also study a fragment of XQuery, Core XQuery, that seems to incorporate all the features of a query language on complex values that are traditionally deemed essential. A close connection between monad algebra on lists and Core XQuery (with “child” as the only axis) is exhibited. The two languages are shown expressively equivalent up to representation issues. We show that Core XQuery is just as hard as monad algebra with respect to query and combined complexity. As Core XQuery is NEXPTIME-hard, the best-known techniques for processing such problems require exponential amounts of working memory and doubly exponential time in the worst case. We present a property of queries---the lack of a certain form of composition---that virtually all real-world XQueries have and that allows for query evaluation in PSPACE and thus singly exponential time. Still, we are able to show for an important special case---Core XQuery with equality testing restricted to atomic values---that the composition-free language is just as expressive as the language with composition. Thus, under widely-held complexity-theoretic assumptions, the language with composition is an exponentially more succinct version of the composition-free language." @default.
• W2000487974 created "2016-06-24" @default.
• W2000487974 creator A5004294235 @default.
• W2000487974 date "2006-12-01" @default.
• W2000487974 modified "2023-10-17" @default.
• W2000487974 title "On the complexity of nonrecursive XQuery and functional query languages on complex values" @default.
• W2000487974 cites W1586947774 @default.
• W2000487974 cites W1964605444 @default.
• W2000487974 cites W1969965298 @default.
• W2000487974 cites W1975355536 @default.
• W2000487974 cites W1975885036 @default.
• W2000487974 cites W1976078723 @default.
• W2000487974 cites W1979514837 @default.
• W2000487974 cites W1988305994 @default.
• W2000487974 cites W1989783863 @default.
• W2000487974 cites W1990870868 @default.
• W2000487974 cites W1996545223 @default.
• W2000487974 cites W2005471433 @default.
• W2000487974 cites W2021592352 @default.
• W2000487974 cites W2022357808 @default.
• W2000487974 cites W2025969711 @default.
• W2000487974 cites W2029138494 @default.
• W2000487974 cites W2036461602 @default.
• W2000487974 cites W2045583484 @default.
• W2000487974 cites W2060444615 @default.
• W2000487974 cites W2063323989 @default.
• W2000487974 cites W2093009437 @default.
• W2000487974 cites W2130872776 @default.
• W2000487974 cites W2155243135 @default.
• W2000487974 cites W2170477095 @default.
• W2000487974 cites W2185907055 @default.
• W2000487974 cites W4210283533 @default.
• W2000487974 cites W4230163234 @default.
• W2000487974 cites W4241108585 @default.
• W2000487974 doi "https://doi.org/10.1145/1189769.1189771" @default.
• W2000487974 hasPublicationYear "2006" @default.
• W2000487974 type Work @default.
• W2000487974 sameAs 2000487974 @default.
• W2000487974 citedByCount "34" @default.
• W2000487974 countsByYear W20004879742012 @default.
• W2000487974 countsByYear W20004879742013 @default.
• W2000487974 countsByYear W20004879742014 @default.
• W2000487974 countsByYear W20004879742015 @default.
• W2000487974 countsByYear W20004879742017 @default.
• W2000487974 countsByYear W20004879742018 @default.
• W2000487974 countsByYear W20004879742021 @default.
• W2000487974 countsByYear W20004879742023 @default.
• W2000487974 crossrefType "journal-article" @default.
• W2000487974 hasAuthorship W2000487974A5004294235 @default.
• W2000487974 hasBestOaLocation W20004879742 @default.
• W2000487974 hasConcept C111919701 @default.
• W2000487974 hasConcept C11413529 @default.
• W2000487974 hasConcept C118615104 @default.
• W2000487974 hasConcept C136119220 @default.
• W2000487974 hasConcept C156772000 @default.
• W2000487974 hasConcept C168773036 @default.
• W2000487974 hasConcept C179799912 @default.
• W2000487974 hasConcept C192028432 @default.
• W2000487974 hasConcept C197685441 @default.
• W2000487974 hasConcept C199360897 @default.
• W2000487974 hasConcept C202444582 @default.
• W2000487974 hasConcept C2776235265 @default.
• W2000487974 hasConcept C2780512708 @default.
• W2000487974 hasConcept C33923547 @default.
• W2000487974 hasConcept C33959348 @default.
• W2000487974 hasConcept C41008148 @default.
• W2000487974 hasConcept C68699486 @default.
• W2000487974 hasConcept C77088390 @default.
• W2000487974 hasConcept C8797682 @default.
• W2000487974 hasConceptScore W2000487974C111919701 @default.
• W2000487974 hasConceptScore W2000487974C11413529 @default.
• W2000487974 hasConceptScore W2000487974C118615104 @default.
• W2000487974 hasConceptScore W2000487974C136119220 @default.
• W2000487974 hasConceptScore W2000487974C156772000 @default.
• W2000487974 hasConceptScore W2000487974C168773036 @default.
• W2000487974 hasConceptScore W2000487974C179799912 @default.
• W2000487974 hasConceptScore W2000487974C192028432 @default.
• W2000487974 hasConceptScore W2000487974C197685441 @default.
• W2000487974 hasConceptScore W2000487974C199360897 @default.
• W2000487974 hasConceptScore W2000487974C202444582 @default.
• W2000487974 hasConceptScore W2000487974C2776235265 @default.
• W2000487974 hasConceptScore W2000487974C2780512708 @default.
• W2000487974 hasConceptScore W2000487974C33923547 @default.
• W2000487974 hasConceptScore W2000487974C33959348 @default.
• W2000487974 hasConceptScore W2000487974C41008148 @default.
• W2000487974 hasConceptScore W2000487974C68699486 @default.
• W2000487974 hasConceptScore W2000487974C77088390 @default.
• W2000487974 hasConceptScore W2000487974C8797682 @default.
• W2000487974 hasIssue "4" @default.
• W2000487974 hasLocation W20004879741 @default.
• W2000487974 hasLocation W20004879742 @default.
• W2000487974 hasLocation W20004879743 @default.
• W2000487974 hasLocation W20004879744 @default.
• W2000487974 hasOpenAccess W2000487974 @default.
• W2000487974 hasPrimaryLocation W20004879741 @default.
• W2000487974 hasRelatedWork W1525368680 @default.
• W2000487974 hasRelatedWork W1637463641 @default.
• W2000487974 hasRelatedWork W1800025980 @default.

• next