FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2617752655> ?p ?o ?g. }

• W2617752655 abstract "In database theory, the term $textit{database transformation}$ was used to refer to a unifying treatment for computable queries and updates. Recently, it was shown that non-deterministic database transformations can be captured exactly by a variant of ASMs, the so-called Database Abstract State Machines (DB-ASMs). In this article we present a logic for DB-ASMs, extending the logic of Nanchen and Stark for ASMs. In particular, we develop a rigorous proof system for the logic for DB-ASMs, which is proven to be sound and complete. The most difficult challenge to be handled by the extension is a proper formalisation capturing non-determinism of database transformations and all its related features such as consistency, update sets or multisets associated with DB-ASM rules. As the database part of a state of database transformations is a finite structure and DB-ASMs are restricted by allowing quantifiers only over the database part of a state, we resolve this problem by taking update sets explicitly into the logic, i.e. by using an additional modal operator $[X]$, where $X$ is interpreted as an update set $Delta$ generated by a DB-ASM rule. The DB-ASM logic provides a powerful verification tool to study properties of database transformations." @default.
• W2617752655 created "2017-06-05" @default.
• W2617752655 creator A5000905974 @default.
• W2617752655 creator A5035972346 @default.
• W2617752655 creator A5045905146 @default.
• W2617752655 creator A5073069452 @default.
• W2617752655 date "2016-02-24" @default.
• W2617752655 modified "2023-10-17" @default.
• W2617752655 title "A Complete Logic for Database Abstract State Machines" @default.
• W2617752655 cites W138050006 @default.
• W2617752655 cites W1504298044 @default.
• W2617752655 cites W1507391885 @default.
• W2617752655 cites W1561370784 @default.
• W2617752655 cites W1587281146 @default.
• W2617752655 cites W1603314635 @default.
• W2617752655 cites W17974129 @default.
• W2617752655 cites W1820619679 @default.
• W2617752655 cites W1853368733 @default.
• W2617752655 cites W189149083 @default.
• W2617752655 cites W1989910224 @default.
• W2617752655 cites W1998333922 @default.
• W2617752655 cites W2042690606 @default.
• W2617752655 cites W2045299352 @default.
• W2617752655 cites W2063294620 @default.
• W2617752655 cites W2069658123 @default.
• W2617752655 cites W2072375373 @default.
• W2617752655 cites W2090290455 @default.
• W2617752655 cites W2102360425 @default.
• W2617752655 cites W2125522861 @default.
• W2617752655 cites W2139801570 @default.
• W2617752655 cites W2160331299 @default.
• W2617752655 cites W2161609549 @default.
• W2617752655 cites W2162940764 @default.
• W2617752655 cites W2163751633 @default.
• W2617752655 cites W2309646126 @default.
• W2617752655 cites W2592241421 @default.
• W2617752655 doi "https://doi.org/10.48550/arxiv.1602.07486" @default.
• W2617752655 hasPublicationYear "2016" @default.
• W2617752655 type Work @default.
• W2617752655 sameAs 2617752655 @default.
• W2617752655 citedByCount "0" @default.
• W2617752655 crossrefType "posted-content" @default.
• W2617752655 hasAuthorship W2617752655A5000905974 @default.
• W2617752655 hasAuthorship W2617752655A5035972346 @default.
• W2617752655 hasAuthorship W2617752655A5045905146 @default.
• W2617752655 hasAuthorship W2617752655A5073069452 @default.
• W2617752655 hasBestOaLocation W26177526551 @default.
• W2617752655 hasConcept C104317684 @default.
• W2617752655 hasConcept C11413529 @default.
• W2617752655 hasConcept C12439846 @default.
• W2617752655 hasConcept C145243422 @default.
• W2617752655 hasConcept C148840519 @default.
• W2617752655 hasConcept C154945302 @default.
• W2617752655 hasConcept C158448853 @default.
• W2617752655 hasConcept C167822520 @default.
• W2617752655 hasConcept C17020691 @default.
• W2617752655 hasConcept C177264268 @default.
• W2617752655 hasConcept C185592680 @default.
• W2617752655 hasConcept C199360897 @default.
• W2617752655 hasConcept C204241405 @default.
• W2617752655 hasConcept C2776436953 @default.
• W2617752655 hasConcept C2778029271 @default.
• W2617752655 hasConcept C41008148 @default.
• W2617752655 hasConcept C48103436 @default.
• W2617752655 hasConcept C55493867 @default.
• W2617752655 hasConcept C77088390 @default.
• W2617752655 hasConcept C80444323 @default.
• W2617752655 hasConcept C86339819 @default.
• W2617752655 hasConceptScore W2617752655C104317684 @default.
• W2617752655 hasConceptScore W2617752655C11413529 @default.
• W2617752655 hasConceptScore W2617752655C12439846 @default.
• W2617752655 hasConceptScore W2617752655C145243422 @default.
• W2617752655 hasConceptScore W2617752655C148840519 @default.
• W2617752655 hasConceptScore W2617752655C154945302 @default.
• W2617752655 hasConceptScore W2617752655C158448853 @default.
• W2617752655 hasConceptScore W2617752655C167822520 @default.
• W2617752655 hasConceptScore W2617752655C17020691 @default.
• W2617752655 hasConceptScore W2617752655C177264268 @default.
• W2617752655 hasConceptScore W2617752655C185592680 @default.
• W2617752655 hasConceptScore W2617752655C199360897 @default.
• W2617752655 hasConceptScore W2617752655C204241405 @default.
• W2617752655 hasConceptScore W2617752655C2776436953 @default.
• W2617752655 hasConceptScore W2617752655C2778029271 @default.
• W2617752655 hasConceptScore W2617752655C41008148 @default.
• W2617752655 hasConceptScore W2617752655C48103436 @default.
• W2617752655 hasConceptScore W2617752655C55493867 @default.
• W2617752655 hasConceptScore W2617752655C77088390 @default.
• W2617752655 hasConceptScore W2617752655C80444323 @default.
• W2617752655 hasConceptScore W2617752655C86339819 @default.
• W2617752655 hasLocation W26177526551 @default.
• W2617752655 hasOpenAccess W2617752655 @default.
• W2617752655 hasPrimaryLocation W26177526551 @default.
• W2617752655 hasRelatedWork W138050006 @default.
• W2617752655 hasRelatedWork W2031219154 @default.
• W2617752655 hasRelatedWork W2105093310 @default.
• W2617752655 hasRelatedWork W2170018473 @default.
• W2617752655 hasRelatedWork W2178015501 @default.
• W2617752655 hasRelatedWork W2363939140 @default.
• W2617752655 hasRelatedWork W2368479705 @default.
• W2617752655 hasRelatedWork W2375164734 @default.

• next