Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046407079> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2046407079 endingPage "577" @default.
- W2046407079 startingPage "530" @default.
- W2046407079 abstract "Path constraints are capable of expressing inclusion and inverse relationships and have proved useful in modeling and querying semistructured data [Abiteboul and Vianu 1999; Buneman et al. 2000]. Types also constrain the structure of data and are commonly found in traditional databases. There has also been work on imposing structure or a type system on semistructured data for storing and querying semistructured data in a traditional database system [Alon et al. 2001; Deutsch et al. 1999a; Florescu and Kossmann 1999; Shanmugasundaram et al. 1999]. One wants to know whether complexity results for reasoning about path constraints established in the untyped (semistructured) context could carry over to traditional databases, and vice versa. It is therefore appropriate to understand the interaction between types and path constraints. In addition, XML [Bray et al. 1998], which may involve both an optional schema (e.g., DTDs or XML Schema [Thompson et al. 2001]) and integrity constraints, highlights the importance of the study of the interaction.This article investigates that interaction. In particular it studies constraint implication problems, which are important both in understanding the semantics of type/constraint systems and in query optimization. It shows that path constraints interact with types in a highly intricate way. For that purpose a number of results on path constraint implication are established in the presence and absence of type systems. These results demonstrate that adding a type system may in some cases simplify reasoning about path constraints and in other cases make it harder. For example, it is shown that there is a path constraint implication problem that is decidable in PTIME in the untyped context, but that becomes undecidable when a type system is added. On the other hand, there is an implication problem that is undecidable in the untyped context, but becomes not only decidable in cubic time but also finitely axiomatizable when a type system is imposed." @default.
- W2046407079 created "2016-06-24" @default.
- W2046407079 creator A5059611286 @default.
- W2046407079 creator A5070565287 @default.
- W2046407079 creator A5087078518 @default.
- W2046407079 date "2003-10-01" @default.
- W2046407079 modified "2023-10-16" @default.
- W2046407079 title "Interaction between path and type constraints" @default.
- W2046407079 cites W1549008998 @default.
- W2046407079 cites W2042853248 @default.
- W2046407079 cites W2064625378 @default.
- W2046407079 cites W2084175122 @default.
- W2046407079 cites W2148456474 @default.
- W2046407079 cites W4250124962 @default.
- W2046407079 doi "https://doi.org/10.1145/937555.937560" @default.
- W2046407079 hasPublicationYear "2003" @default.
- W2046407079 type Work @default.
- W2046407079 sameAs 2046407079 @default.
- W2046407079 citedByCount "16" @default.
- W2046407079 countsByYear W20464070792013 @default.
- W2046407079 countsByYear W20464070792014 @default.
- W2046407079 countsByYear W20464070792016 @default.
- W2046407079 countsByYear W20464070792017 @default.
- W2046407079 countsByYear W20464070792020 @default.
- W2046407079 crossrefType "journal-article" @default.
- W2046407079 hasAuthorship W2046407079A5059611286 @default.
- W2046407079 hasAuthorship W2046407079A5070565287 @default.
- W2046407079 hasAuthorship W2046407079A5087078518 @default.
- W2046407079 hasBestOaLocation W20464070792 @default.
- W2046407079 hasConcept C111919701 @default.
- W2046407079 hasConcept C148840519 @default.
- W2046407079 hasConcept C192028432 @default.
- W2046407079 hasConcept C199360897 @default.
- W2046407079 hasConcept C23123220 @default.
- W2046407079 hasConcept C2524010 @default.
- W2046407079 hasConcept C2776036281 @default.
- W2046407079 hasConcept C2777735758 @default.
- W2046407079 hasConcept C30775581 @default.
- W2046407079 hasConcept C33762810 @default.
- W2046407079 hasConcept C33923547 @default.
- W2046407079 hasConcept C40713593 @default.
- W2046407079 hasConcept C41008148 @default.
- W2046407079 hasConcept C52146309 @default.
- W2046407079 hasConcept C55348073 @default.
- W2046407079 hasConcept C61114434 @default.
- W2046407079 hasConcept C77088390 @default.
- W2046407079 hasConcept C80444323 @default.
- W2046407079 hasConcept C84314905 @default.
- W2046407079 hasConcept C8797682 @default.
- W2046407079 hasConceptScore W2046407079C111919701 @default.
- W2046407079 hasConceptScore W2046407079C148840519 @default.
- W2046407079 hasConceptScore W2046407079C192028432 @default.
- W2046407079 hasConceptScore W2046407079C199360897 @default.
- W2046407079 hasConceptScore W2046407079C23123220 @default.
- W2046407079 hasConceptScore W2046407079C2524010 @default.
- W2046407079 hasConceptScore W2046407079C2776036281 @default.
- W2046407079 hasConceptScore W2046407079C2777735758 @default.
- W2046407079 hasConceptScore W2046407079C30775581 @default.
- W2046407079 hasConceptScore W2046407079C33762810 @default.
- W2046407079 hasConceptScore W2046407079C33923547 @default.
- W2046407079 hasConceptScore W2046407079C40713593 @default.
- W2046407079 hasConceptScore W2046407079C41008148 @default.
- W2046407079 hasConceptScore W2046407079C52146309 @default.
- W2046407079 hasConceptScore W2046407079C55348073 @default.
- W2046407079 hasConceptScore W2046407079C61114434 @default.
- W2046407079 hasConceptScore W2046407079C77088390 @default.
- W2046407079 hasConceptScore W2046407079C80444323 @default.
- W2046407079 hasConceptScore W2046407079C84314905 @default.
- W2046407079 hasConceptScore W2046407079C8797682 @default.
- W2046407079 hasIssue "4" @default.
- W2046407079 hasLocation W20464070791 @default.
- W2046407079 hasLocation W20464070792 @default.
- W2046407079 hasLocation W20464070793 @default.
- W2046407079 hasLocation W20464070794 @default.
- W2046407079 hasLocation W20464070795 @default.
- W2046407079 hasOpenAccess W2046407079 @default.
- W2046407079 hasPrimaryLocation W20464070791 @default.
- W2046407079 hasRelatedWork W1497771634 @default.
- W2046407079 hasRelatedWork W1544585257 @default.
- W2046407079 hasRelatedWork W1570163446 @default.
- W2046407079 hasRelatedWork W2046407079 @default.
- W2046407079 hasRelatedWork W2049862114 @default.
- W2046407079 hasRelatedWork W2148549374 @default.
- W2046407079 hasRelatedWork W2152335717 @default.
- W2046407079 hasRelatedWork W2166215825 @default.
- W2046407079 hasRelatedWork W3145586138 @default.
- W2046407079 hasRelatedWork W340558589 @default.
- W2046407079 hasVolume "4" @default.
- W2046407079 isParatext "false" @default.
- W2046407079 isRetracted "false" @default.
- W2046407079 magId "2046407079" @default.
- W2046407079 workType "article" @default.