FRINK Linked Data Fragments server

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

• W2021964585 endingPage "48" @default.
• W2021964585 startingPage "1" @default.
• W2021964585 abstract "Predicate logic has long been seen as a good foundation for querying relational data. This is embodied in the correspondence between relational calculus and first-order logic, and can also be seen in mappings from fragments of the standard relational query language SQL to extensions of first-order logic (e.g. with counting). A key question is what is the analog to this correspondence for querying tree-structured data, as seen, for example, in XML documents. We formalize this as the question of the appropriate logical query language for defining transformations on tree-structured data. The predominant practitioner paradigm for defining such transformations is top-down tree building . This is embodied by the XQuery query language, which builds the output tree in parallel starting at the root, based on variable bindings and nodeset queries in the XPath language. The goal of this article is to compare the expressiveness of top-down tree-building languages based on a benchmark of predicate logic. We start by giving a formalized XQuery XQ that can serve as a representative of the top-down approach. We show that all queries in XQ with only atomic equality are equivalent to first-order interpretations, an analog to first-order logic (FO) in the setting of transformations of tree-structured data. We then consider fragments of atomic XQ . We identify a fragment that maps efficiently into first-order, a fragment that maps into existential first-order logic, and a fragment that maps into the navigationally two-variable fragment of first-order logic—an analog of two-variable logic in the setting where data values are unbounded. When XQ is considered with deep equality, we find that queries can be translated into FO with counting ( FO (Cnt)). Translations from XQ to logical languages on relations have a number of consequences. We use them to derive complexity bounds for XQ fragments, and to bound the Boolean expressiveness of XQ fragments." @default.
• W2021964585 created "2016-06-24" @default.
• W2021964585 creator A5037774973 @default.
• W2021964585 creator A5073869279 @default.
• W2021964585 date "2009-12-01" @default.
• W2021964585 modified "2023-10-16" @default.
• W2021964585 title "From XQuery to relational logics" @default.
• W2021964585 cites W1489366126 @default.
• W2021964585 cites W1520133645 @default.
• W2021964585 cites W1573061520 @default.
• W2021964585 cites W1586947774 @default.
• W2021964585 cites W1972514879 @default.
• W2021964585 cites W1975355536 @default.
• W2021964585 cites W1988899858 @default.
• W2021964585 cites W2000487974 @default.
• W2021964585 cites W2025969711 @default.
• W2021964585 cites W2045583484 @default.
• W2021964585 cites W2074385562 @default.
• W2021964585 cites W2075552472 @default.
• W2021964585 cites W2091973410 @default.
• W2021964585 cites W2127214181 @default.
• W2021964585 cites W2131159347 @default.
• W2021964585 cites W2133491514 @default.
• W2021964585 cites W2134826526 @default.
• W2021964585 cites W2143332976 @default.
• W2021964585 cites W2152535604 @default.
• W2021964585 cites W2160888032 @default.
• W2021964585 cites W2611888112 @default.
• W2021964585 cites W4236835455 @default.
• W2021964585 doi "https://doi.org/10.1145/1620585.1620592" @default.
• W2021964585 hasPublicationYear "2009" @default.
• W2021964585 type Work @default.
• W2021964585 sameAs 2021964585 @default.
• W2021964585 citedByCount "20" @default.
• W2021964585 countsByYear W20219645852012 @default.
• W2021964585 countsByYear W20219645852013 @default.
• W2021964585 countsByYear W20219645852015 @default.
• W2021964585 countsByYear W20219645852016 @default.
• W2021964585 countsByYear W20219645852018 @default.
• W2021964585 countsByYear W20219645852021 @default.
• W2021964585 crossrefType "journal-article" @default.
• W2021964585 hasAuthorship W2021964585A5037774973 @default.
• W2021964585 hasAuthorship W2021964585A5073869279 @default.
• W2021964585 hasConcept C100481476 @default.
• W2021964585 hasConcept C102993220 @default.
• W2021964585 hasConcept C110039528 @default.
• W2021964585 hasConcept C111919701 @default.
• W2021964585 hasConcept C148230440 @default.
• W2021964585 hasConcept C192028432 @default.
• W2021964585 hasConcept C199360897 @default.
• W2021964585 hasConcept C203659156 @default.
• W2021964585 hasConcept C23123220 @default.
• W2021964585 hasConcept C2776235265 @default.
• W2021964585 hasConcept C2780512708 @default.
• W2021964585 hasConcept C41008148 @default.
• W2021964585 hasConcept C510870499 @default.
• W2021964585 hasConcept C55348073 @default.
• W2021964585 hasConcept C5655090 @default.
• W2021964585 hasConcept C73314972 @default.
• W2021964585 hasConcept C80444323 @default.
• W2021964585 hasConcept C8797682 @default.
• W2021964585 hasConceptScore W2021964585C100481476 @default.
• W2021964585 hasConceptScore W2021964585C102993220 @default.
• W2021964585 hasConceptScore W2021964585C110039528 @default.
• W2021964585 hasConceptScore W2021964585C111919701 @default.
• W2021964585 hasConceptScore W2021964585C148230440 @default.
• W2021964585 hasConceptScore W2021964585C192028432 @default.
• W2021964585 hasConceptScore W2021964585C199360897 @default.
• W2021964585 hasConceptScore W2021964585C203659156 @default.
• W2021964585 hasConceptScore W2021964585C23123220 @default.
• W2021964585 hasConceptScore W2021964585C2776235265 @default.
• W2021964585 hasConceptScore W2021964585C2780512708 @default.
• W2021964585 hasConceptScore W2021964585C41008148 @default.
• W2021964585 hasConceptScore W2021964585C510870499 @default.
• W2021964585 hasConceptScore W2021964585C55348073 @default.
• W2021964585 hasConceptScore W2021964585C5655090 @default.
• W2021964585 hasConceptScore W2021964585C73314972 @default.
• W2021964585 hasConceptScore W2021964585C80444323 @default.
• W2021964585 hasConceptScore W2021964585C8797682 @default.
• W2021964585 hasIssue "4" @default.
• W2021964585 hasLocation W20219645851 @default.
• W2021964585 hasOpenAccess W2021964585 @default.
• W2021964585 hasPrimaryLocation W20219645851 @default.
• W2021964585 hasRelatedWork W145766074 @default.
• W2021964585 hasRelatedWork W1751256106 @default.
• W2021964585 hasRelatedWork W1760790424 @default.
• W2021964585 hasRelatedWork W2021964585 @default.
• W2021964585 hasRelatedWork W2404803650 @default.
• W2021964585 hasRelatedWork W2537373371 @default.
• W2021964585 hasRelatedWork W2791187237 @default.
• W2021964585 hasRelatedWork W3012264571 @default.
• W2021964585 hasRelatedWork W80356457 @default.
• W2021964585 hasRelatedWork W602206143 @default.
• W2021964585 hasVolume "34" @default.
• W2021964585 isParatext "false" @default.
• W2021964585 isRetracted "false" @default.
• W2021964585 magId "2021964585" @default.
• W2021964585 workType "article" @default.