Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000480185> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2000480185 endingPage "129" @default.
- W2000480185 startingPage "109" @default.
- W2000480185 abstract "Maintainability and modifiability of information system software can be enhanced by the provision of comprehensive support for views , since view support allows application programs to continue to operate unchanged when the underlying information system is modified. Supporting views depend upon a solution to the view update problem . This paper presents a new treatment of view updates for formally specified semantic data models based on the category theoretic sketch data model. The sketch data model has been the basis of a number of successful major information system consultancies. We define view updates by a universal property in models of the formal specification, and explain why this indeed gives a complete and correct treatment of view updatability, including a solution to the view update problem. However, a definition of updatability which is based on models causes some inconvenience in applications, so we prove that in a variety of circumstances updatability is guaranteed independently of the current model. This is done first with a very general criterion, and then for some specific cases relevant to applications. We include some details about the sketch data model, noting that it involves extensions of algebraic data specification techniques." @default.
- W2000480185 created "2016-06-24" @default.
- W2000480185 creator A5035287875 @default.
- W2000480185 creator A5049401183 @default.
- W2000480185 date "2007-12-01" @default.
- W2000480185 modified "2023-10-16" @default.
- W2000480185 title "Fibrations and universal view updatability" @default.
- W2000480185 cites W1535752721 @default.
- W2000480185 cites W1570577173 @default.
- W2000480185 cites W1618713168 @default.
- W2000480185 cites W1983388924 @default.
- W2000480185 cites W1985223393 @default.
- W2000480185 cites W2008161228 @default.
- W2000480185 cites W2040293060 @default.
- W2000480185 cites W2052743207 @default.
- W2000480185 cites W2095324918 @default.
- W2000480185 cites W2113582770 @default.
- W2000480185 cites W2123215901 @default.
- W2000480185 cites W2146462464 @default.
- W2000480185 cites W2147869465 @default.
- W2000480185 cites W2152012515 @default.
- W2000480185 cites W2396455998 @default.
- W2000480185 cites W2945526390 @default.
- W2000480185 cites W4241523655 @default.
- W2000480185 cites W575783123 @default.
- W2000480185 doi "https://doi.org/10.1016/j.tcs.2007.06.004" @default.
- W2000480185 hasPublicationYear "2007" @default.
- W2000480185 type Work @default.
- W2000480185 sameAs 2000480185 @default.
- W2000480185 citedByCount "27" @default.
- W2000480185 countsByYear W20004801852012 @default.
- W2000480185 countsByYear W20004801852013 @default.
- W2000480185 countsByYear W20004801852014 @default.
- W2000480185 countsByYear W20004801852015 @default.
- W2000480185 countsByYear W20004801852016 @default.
- W2000480185 countsByYear W20004801852017 @default.
- W2000480185 countsByYear W20004801852018 @default.
- W2000480185 countsByYear W20004801852021 @default.
- W2000480185 crossrefType "journal-article" @default.
- W2000480185 hasAuthorship W2000480185A5035287875 @default.
- W2000480185 hasAuthorship W2000480185A5049401183 @default.
- W2000480185 hasBestOaLocation W20004801852 @default.
- W2000480185 hasConcept C100463513 @default.
- W2000480185 hasConcept C111472728 @default.
- W2000480185 hasConcept C11413529 @default.
- W2000480185 hasConcept C115903868 @default.
- W2000480185 hasConcept C119599485 @default.
- W2000480185 hasConcept C127413603 @default.
- W2000480185 hasConcept C136197465 @default.
- W2000480185 hasConcept C138885662 @default.
- W2000480185 hasConcept C154945302 @default.
- W2000480185 hasConcept C160713754 @default.
- W2000480185 hasConcept C180198813 @default.
- W2000480185 hasConcept C189950617 @default.
- W2000480185 hasConcept C199360897 @default.
- W2000480185 hasConcept C2777904410 @default.
- W2000480185 hasConcept C2779231336 @default.
- W2000480185 hasConcept C41008148 @default.
- W2000480185 hasConcept C80444323 @default.
- W2000480185 hasConceptScore W2000480185C100463513 @default.
- W2000480185 hasConceptScore W2000480185C111472728 @default.
- W2000480185 hasConceptScore W2000480185C11413529 @default.
- W2000480185 hasConceptScore W2000480185C115903868 @default.
- W2000480185 hasConceptScore W2000480185C119599485 @default.
- W2000480185 hasConceptScore W2000480185C127413603 @default.
- W2000480185 hasConceptScore W2000480185C136197465 @default.
- W2000480185 hasConceptScore W2000480185C138885662 @default.
- W2000480185 hasConceptScore W2000480185C154945302 @default.
- W2000480185 hasConceptScore W2000480185C160713754 @default.
- W2000480185 hasConceptScore W2000480185C180198813 @default.
- W2000480185 hasConceptScore W2000480185C189950617 @default.
- W2000480185 hasConceptScore W2000480185C199360897 @default.
- W2000480185 hasConceptScore W2000480185C2777904410 @default.
- W2000480185 hasConceptScore W2000480185C2779231336 @default.
- W2000480185 hasConceptScore W2000480185C41008148 @default.
- W2000480185 hasConceptScore W2000480185C80444323 @default.
- W2000480185 hasIssue "1-3" @default.
- W2000480185 hasLocation W20004801851 @default.
- W2000480185 hasLocation W20004801852 @default.
- W2000480185 hasOpenAccess W2000480185 @default.
- W2000480185 hasPrimaryLocation W20004801851 @default.
- W2000480185 hasRelatedWork W15314105 @default.
- W2000480185 hasRelatedWork W1552983112 @default.
- W2000480185 hasRelatedWork W2000480185 @default.
- W2000480185 hasRelatedWork W2000654499 @default.
- W2000480185 hasRelatedWork W2104401375 @default.
- W2000480185 hasRelatedWork W2134497209 @default.
- W2000480185 hasRelatedWork W2144907578 @default.
- W2000480185 hasRelatedWork W2360817942 @default.
- W2000480185 hasRelatedWork W3185692672 @default.
- W2000480185 hasRelatedWork W4253461608 @default.
- W2000480185 hasVolume "388" @default.
- W2000480185 isParatext "false" @default.
- W2000480185 isRetracted "false" @default.
- W2000480185 magId "2000480185" @default.
- W2000480185 workType "article" @default.