Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966101528> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1966101528 abstract "It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a second-order tgd (SO tgd). We consider the question of what happens when target constraints are allowed. Specifically, we consider the question of specifying the composition of standard schema mappings (those specified by st-tgds, target egds, and a weakly acyclic set of target tgds). We show that SO tgds, even with the assistance of arbitrary source constraints and target constraints, cannot specify in general the composition of two standard schema mappings. Therefore, we introduce source-to-target second-order dependencies (st-SO dependencies), which are similar to SO tgds, but allow equations in the conclusion. We show that st-SO dependencies (along with target egds and target tgds) are sufficient to express the composition of every finite sequence of standard schema mappings, and further, every st-SO dependency specifies such a composition. In addition to this expressive power, we show that st-SO dependencies enjoy other desirable properties. In particular, they have a polynomial-time chase that generates a universal solution. This universal solution can be used to find the certain answers to unions of conjunctive queries in polynomial time. It is easy to show that the composition of an arbitrary number of standard schema mappings is equivalent to the composition of only two standard schema mappings. We show that surprisingly, the analogous result holds also for schema mappings specified by just st-tgds (no target constraints). This is proven by showing that every SO tgd is equivalent to an unnested SO tgd (one where there is no nesting of function symbols). Similarly, we prove unnesting results for st-SO dependencies, with the same types of consequences." @default.
- W1966101528 created "2016-06-24" @default.
- W1966101528 creator A5005196571 @default.
- W1966101528 creator A5011691423 @default.
- W1966101528 creator A5027117465 @default.
- W1966101528 date "2011-09-08" @default.
- W1966101528 modified "2023-09-25" @default.
- W1966101528 title "Composition with Target Constraints" @default.
- W1966101528 cites W1489366126 @default.
- W1966101528 cites W1517150411 @default.
- W1966101528 cites W1542543925 @default.
- W1966101528 cites W1560604137 @default.
- W1966101528 cites W1566586350 @default.
- W1966101528 cites W1968327952 @default.
- W1966101528 cites W1969053136 @default.
- W1966101528 cites W1971518725 @default.
- W1966101528 cites W1978460233 @default.
- W1966101528 cites W1980368539 @default.
- W1966101528 cites W1986330533 @default.
- W1966101528 cites W1992673035 @default.
- W1966101528 cites W1993268751 @default.
- W1966101528 cites W1993953362 @default.
- W1966101528 cites W1994520092 @default.
- W1966101528 cites W1997887309 @default.
- W1966101528 cites W2012791990 @default.
- W1966101528 cites W2057069578 @default.
- W1966101528 cites W2072881356 @default.
- W1966101528 cites W2078047958 @default.
- W1966101528 cites W2093480367 @default.
- W1966101528 cites W2095395853 @default.
- W1966101528 cites W2098213459 @default.
- W1966101528 cites W2102466282 @default.
- W1966101528 cites W2116929168 @default.
- W1966101528 cites W2120436863 @default.
- W1966101528 cites W2137208394 @default.
- W1966101528 cites W2147495866 @default.
- W1966101528 cites W2148791787 @default.
- W1966101528 cites W2169196165 @default.
- W1966101528 cites W2169602474 @default.
- W1966101528 cites W2731977666 @default.
- W1966101528 cites W2997050146 @default.
- W1966101528 cites W4213217869 @default.
- W1966101528 cites W4253795631 @default.
- W1966101528 cites W4256119157 @default.
- W1966101528 doi "https://doi.org/10.2168/lmcs-7(3:13)2011" @default.
- W1966101528 hasPublicationYear "2011" @default.
- W1966101528 type Work @default.
- W1966101528 sameAs 1966101528 @default.
- W1966101528 citedByCount "2" @default.
- W1966101528 countsByYear W19661015282016 @default.
- W1966101528 countsByYear W19661015282017 @default.
- W1966101528 crossrefType "journal-article" @default.
- W1966101528 hasAuthorship W1966101528A5005196571 @default.
- W1966101528 hasAuthorship W1966101528A5011691423 @default.
- W1966101528 hasAuthorship W1966101528A5027117465 @default.
- W1966101528 hasBestOaLocation W19661015281 @default.
- W1966101528 hasConcept C11413529 @default.
- W1966101528 hasConcept C23123220 @default.
- W1966101528 hasConcept C311688 @default.
- W1966101528 hasConcept C41008148 @default.
- W1966101528 hasConcept C52146309 @default.
- W1966101528 hasConcept C80444323 @default.
- W1966101528 hasConceptScore W1966101528C11413529 @default.
- W1966101528 hasConceptScore W1966101528C23123220 @default.
- W1966101528 hasConceptScore W1966101528C311688 @default.
- W1966101528 hasConceptScore W1966101528C41008148 @default.
- W1966101528 hasConceptScore W1966101528C52146309 @default.
- W1966101528 hasConceptScore W1966101528C80444323 @default.
- W1966101528 hasIssue "3" @default.
- W1966101528 hasLocation W19661015281 @default.
- W1966101528 hasLocation W19661015282 @default.
- W1966101528 hasOpenAccess W1966101528 @default.
- W1966101528 hasPrimaryLocation W19661015281 @default.
- W1966101528 hasRelatedWork W12196170 @default.
- W1966101528 hasRelatedWork W1499391544 @default.
- W1966101528 hasRelatedWork W1505756205 @default.
- W1966101528 hasRelatedWork W2016785840 @default.
- W1966101528 hasRelatedWork W2351491280 @default.
- W1966101528 hasRelatedWork W2371447506 @default.
- W1966101528 hasRelatedWork W2386767533 @default.
- W1966101528 hasRelatedWork W2390946922 @default.
- W1966101528 hasRelatedWork W303980170 @default.
- W1966101528 hasRelatedWork W55288988 @default.
- W1966101528 hasVolume "7" @default.
- W1966101528 isParatext "false" @default.
- W1966101528 isRetracted "false" @default.
- W1966101528 magId "1966101528" @default.
- W1966101528 workType "article" @default.