Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045522022> ?p ?o ?g. }
- W2045522022 endingPage "3" @default.
- W2045522022 startingPage "3" @default.
- W2045522022 abstract "The named nested relational calculus is the canonical query language for the complex object database model and is equipped with a natural static type system. Given an expression in the language, without type declarations for the input variables, there is the problem of whether there are any input type declarations under which the expression is well-typed. Moreover, if there are, then which are they, and what is the corresponding output type for each of these? This problem is solved by a logic-based approach, and the decision problem is shown to be NP-complete." @default.
- W2045522022 created "2016-06-24" @default.
- W2045522022 creator A5022558461 @default.
- W2045522022 creator A5089823917 @default.
- W2045522022 date "2007-12-01" @default.
- W2045522022 modified "2023-10-18" @default.
- W2045522022 title "Polymorphic type inference for the named nested relational calculus" @default.
- W2045522022 cites W1500120746 @default.
- W2045522022 cites W1584521688 @default.
- W2045522022 cites W1638026557 @default.
- W2045522022 cites W1982801224 @default.
- W2045522022 cites W2007907624 @default.
- W2045522022 cites W2021217869 @default.
- W2045522022 cites W2021365199 @default.
- W2045522022 cites W2036378583 @default.
- W2045522022 cites W2060439566 @default.
- W2045522022 cites W2092632814 @default.
- W2045522022 cites W2113722134 @default.
- W2045522022 cites W2130872776 @default.
- W2045522022 cites W2151856838 @default.
- W2045522022 cites W3004180788 @default.
- W2045522022 cites W3022449549 @default.
- W2045522022 cites W4213232664 @default.
- W2045522022 cites W5498931 @default.
- W2045522022 doi "https://doi.org/10.1145/1297658.1297661" @default.
- W2045522022 hasPublicationYear "2007" @default.
- W2045522022 type Work @default.
- W2045522022 sameAs 2045522022 @default.
- W2045522022 citedByCount "11" @default.
- W2045522022 countsByYear W20455220222012 @default.
- W2045522022 countsByYear W20455220222013 @default.
- W2045522022 countsByYear W20455220222015 @default.
- W2045522022 countsByYear W20455220222016 @default.
- W2045522022 countsByYear W20455220222017 @default.
- W2045522022 countsByYear W20455220222022 @default.
- W2045522022 crossrefType "journal-article" @default.
- W2045522022 hasAuthorship W2045522022A5022558461 @default.
- W2045522022 hasAuthorship W2045522022A5089823917 @default.
- W2045522022 hasBestOaLocation W20455220222 @default.
- W2045522022 hasConcept C11413529 @default.
- W2045522022 hasConcept C124101348 @default.
- W2045522022 hasConcept C154945302 @default.
- W2045522022 hasConcept C16739119 @default.
- W2045522022 hasConcept C18903297 @default.
- W2045522022 hasConcept C198370458 @default.
- W2045522022 hasConcept C199360897 @default.
- W2045522022 hasConcept C20528804 @default.
- W2045522022 hasConcept C2776214188 @default.
- W2045522022 hasConcept C2777299769 @default.
- W2045522022 hasConcept C33923547 @default.
- W2045522022 hasConcept C3746660 @default.
- W2045522022 hasConcept C40207289 @default.
- W2045522022 hasConcept C41008148 @default.
- W2045522022 hasConcept C5655090 @default.
- W2045522022 hasConcept C62073222 @default.
- W2045522022 hasConcept C80444323 @default.
- W2045522022 hasConcept C86803240 @default.
- W2045522022 hasConcept C90559484 @default.
- W2045522022 hasConcept C99436015 @default.
- W2045522022 hasConceptScore W2045522022C11413529 @default.
- W2045522022 hasConceptScore W2045522022C124101348 @default.
- W2045522022 hasConceptScore W2045522022C154945302 @default.
- W2045522022 hasConceptScore W2045522022C16739119 @default.
- W2045522022 hasConceptScore W2045522022C18903297 @default.
- W2045522022 hasConceptScore W2045522022C198370458 @default.
- W2045522022 hasConceptScore W2045522022C199360897 @default.
- W2045522022 hasConceptScore W2045522022C20528804 @default.
- W2045522022 hasConceptScore W2045522022C2776214188 @default.
- W2045522022 hasConceptScore W2045522022C2777299769 @default.
- W2045522022 hasConceptScore W2045522022C33923547 @default.
- W2045522022 hasConceptScore W2045522022C3746660 @default.
- W2045522022 hasConceptScore W2045522022C40207289 @default.
- W2045522022 hasConceptScore W2045522022C41008148 @default.
- W2045522022 hasConceptScore W2045522022C5655090 @default.
- W2045522022 hasConceptScore W2045522022C62073222 @default.
- W2045522022 hasConceptScore W2045522022C80444323 @default.
- W2045522022 hasConceptScore W2045522022C86803240 @default.
- W2045522022 hasConceptScore W2045522022C90559484 @default.
- W2045522022 hasConceptScore W2045522022C99436015 @default.
- W2045522022 hasIssue "1" @default.
- W2045522022 hasLocation W20455220221 @default.
- W2045522022 hasLocation W20455220222 @default.
- W2045522022 hasLocation W20455220223 @default.
- W2045522022 hasOpenAccess W2045522022 @default.
- W2045522022 hasPrimaryLocation W20455220221 @default.
- W2045522022 hasRelatedWork W1501177887 @default.
- W2045522022 hasRelatedWork W1542080972 @default.
- W2045522022 hasRelatedWork W2005835473 @default.
- W2045522022 hasRelatedWork W2045522022 @default.
- W2045522022 hasRelatedWork W2056340443 @default.
- W2045522022 hasRelatedWork W2085988990 @default.
- W2045522022 hasRelatedWork W2089781037 @default.
- W2045522022 hasRelatedWork W2095705070 @default.
- W2045522022 hasRelatedWork W2243465518 @default.
- W2045522022 hasRelatedWork W60748262 @default.
- W2045522022 hasVolume "9" @default.
- W2045522022 isParatext "false" @default.
- W2045522022 isRetracted "false" @default.