Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091973410> ?p ?o ?g. }
- W2091973410 endingPage "117" @default.
- W2091973410 startingPage "85" @default.
- W2091973410 abstract "The nested model is an extension of the traditional, “flat” relational model in which relations can also have relation-valued entries. Its “default” query language, the nested algebra, is rather weak, unfortunately, since it is only a conservative extension of the traditional, flat relational algebra, and thus can express only a small fraction of the polynomial-time queries. Therefore, it was proposed to extend the nested algebra with a fixpoint construct, but the resulting language turned out to be too powerful: many inherently exponential queries could also be expressed. Two polynomial-time restrictions of the fixpoint closure of the nested algebra were proposed: the restricted fixpoint closure (by Gyssens and Van Gucht) and the bounded fixpoint closure (by Suciu). Here, we prove two results. First we show that both restrictions are equivalent in expressive power. The proof technique relies on known encodings of nested relations into flat ones, and on a novel technique, called type substitution, by which we reduce the equivalence of the two restrictions to its obvious counterpart in the flat relational model. Second we prove that both the bounded fixpoint queries and the restricted fixpoint queries admit normal forms, in which the fixpoint occurs exactly once. The proof technique relies on a novel encoding method of nested relations into flat ones." @default.
- W2091973410 created "2016-06-24" @default.
- W2091973410 creator A5016874794 @default.
- W2091973410 creator A5019309676 @default.
- W2091973410 creator A5048204602 @default.
- W2091973410 date "2001-01-01" @default.
- W2091973410 modified "2023-09-29" @default.
- W2091973410 title "Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra" @default.
- W2091973410 cites W2016282341 @default.
- W2091973410 cites W2042690606 @default.
- W2091973410 cites W2044215335 @default.
- W2091973410 cites W2059144726 @default.
- W2091973410 cites W2069597938 @default.
- W2091973410 cites W2088094394 @default.
- W2091973410 cites W2089781037 @default.
- W2091973410 cites W2093009437 @default.
- W2091973410 cites W2100220081 @default.
- W2091973410 cites W2121824141 @default.
- W2091973410 cites W2143332976 @default.
- W2091973410 cites W2185907055 @default.
- W2091973410 doi "https://doi.org/10.1006/inco.2000.2882" @default.
- W2091973410 hasPublicationYear "2001" @default.
- W2091973410 type Work @default.
- W2091973410 sameAs 2091973410 @default.
- W2091973410 citedByCount "4" @default.
- W2091973410 crossrefType "journal-article" @default.
- W2091973410 hasAuthorship W2091973410A5016874794 @default.
- W2091973410 hasAuthorship W2091973410A5019309676 @default.
- W2091973410 hasAuthorship W2091973410A5048204602 @default.
- W2091973410 hasBestOaLocation W20919734101 @default.
- W2091973410 hasConcept C102993220 @default.
- W2091973410 hasConcept C114092440 @default.
- W2091973410 hasConcept C114614502 @default.
- W2091973410 hasConcept C118615104 @default.
- W2091973410 hasConcept C134306372 @default.
- W2091973410 hasConcept C136119220 @default.
- W2091973410 hasConcept C146834321 @default.
- W2091973410 hasConcept C156103551 @default.
- W2091973410 hasConcept C162324750 @default.
- W2091973410 hasConcept C173125200 @default.
- W2091973410 hasConcept C199360897 @default.
- W2091973410 hasConcept C202444582 @default.
- W2091973410 hasConcept C2778029271 @default.
- W2091973410 hasConcept C2780069185 @default.
- W2091973410 hasConcept C33203268 @default.
- W2091973410 hasConcept C33923547 @default.
- W2091973410 hasConcept C34388435 @default.
- W2091973410 hasConcept C34447519 @default.
- W2091973410 hasConcept C41008148 @default.
- W2091973410 hasConcept C5655090 @default.
- W2091973410 hasConcept C61445026 @default.
- W2091973410 hasConcept C77088390 @default.
- W2091973410 hasConcept C80444323 @default.
- W2091973410 hasConcept C90119067 @default.
- W2091973410 hasConcept C95916125 @default.
- W2091973410 hasConceptScore W2091973410C102993220 @default.
- W2091973410 hasConceptScore W2091973410C114092440 @default.
- W2091973410 hasConceptScore W2091973410C114614502 @default.
- W2091973410 hasConceptScore W2091973410C118615104 @default.
- W2091973410 hasConceptScore W2091973410C134306372 @default.
- W2091973410 hasConceptScore W2091973410C136119220 @default.
- W2091973410 hasConceptScore W2091973410C146834321 @default.
- W2091973410 hasConceptScore W2091973410C156103551 @default.
- W2091973410 hasConceptScore W2091973410C162324750 @default.
- W2091973410 hasConceptScore W2091973410C173125200 @default.
- W2091973410 hasConceptScore W2091973410C199360897 @default.
- W2091973410 hasConceptScore W2091973410C202444582 @default.
- W2091973410 hasConceptScore W2091973410C2778029271 @default.
- W2091973410 hasConceptScore W2091973410C2780069185 @default.
- W2091973410 hasConceptScore W2091973410C33203268 @default.
- W2091973410 hasConceptScore W2091973410C33923547 @default.
- W2091973410 hasConceptScore W2091973410C34388435 @default.
- W2091973410 hasConceptScore W2091973410C34447519 @default.
- W2091973410 hasConceptScore W2091973410C41008148 @default.
- W2091973410 hasConceptScore W2091973410C5655090 @default.
- W2091973410 hasConceptScore W2091973410C61445026 @default.
- W2091973410 hasConceptScore W2091973410C77088390 @default.
- W2091973410 hasConceptScore W2091973410C80444323 @default.
- W2091973410 hasConceptScore W2091973410C90119067 @default.
- W2091973410 hasConceptScore W2091973410C95916125 @default.
- W2091973410 hasIssue "1" @default.
- W2091973410 hasLocation W20919734101 @default.
- W2091973410 hasOpenAccess W2091973410 @default.
- W2091973410 hasPrimaryLocation W20919734101 @default.
- W2091973410 hasRelatedWork W1568768396 @default.
- W2091973410 hasRelatedWork W1985488429 @default.
- W2091973410 hasRelatedWork W2017638392 @default.
- W2091973410 hasRelatedWork W2062762081 @default.
- W2091973410 hasRelatedWork W2069997585 @default.
- W2091973410 hasRelatedWork W2077122242 @default.
- W2091973410 hasRelatedWork W2091973410 @default.
- W2091973410 hasRelatedWork W2092071322 @default.
- W2091973410 hasRelatedWork W2964187826 @default.
- W2091973410 hasRelatedWork W3080875783 @default.
- W2091973410 hasVolume "164" @default.
- W2091973410 isParatext "false" @default.
- W2091973410 isRetracted "false" @default.
- W2091973410 magId "2091973410" @default.