Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103609748> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2103609748 endingPage "142" @default.
- W2103609748 startingPage "115" @default.
- W2103609748 abstract "Dynamic database behaviour can be specified by dynamic integrity constraints, which determine admissible sequences of database states, and by transaction specifications, which induce executable sequences. Constraints are expressed by formulae of temporal logic, whereas transactions are defined by pre⧸postconditions in predicate logic. This article presents concepts and rules for transforming dynamic constraints into transaction specifications in order to prepare integrity monitoring by transactions. At first, such transition graphs must be constructed from temporal formulae that have paths corresponding to admissible sequences. Then these graphs are utilized to refine and to simplify pre⧸postconditions systematically so that every executable state sequence will become admissible, too." @default.
- W2103609748 created "2016-06-24" @default.
- W2103609748 creator A5086656765 @default.
- W2103609748 date "1990-10-01" @default.
- W2103609748 modified "2023-10-01" @default.
- W2103609748 title "Transformation of dynamic integrity constraints into transaction specifications" @default.
- W2103609748 cites W1969368990 @default.
- W2103609748 cites W1974304857 @default.
- W2103609748 cites W2000606446 @default.
- W2103609748 cites W2040127143 @default.
- W2103609748 cites W2061706848 @default.
- W2103609748 cites W2076853127 @default.
- W2103609748 cites W2099805467 @default.
- W2103609748 cites W2806619258 @default.
- W2103609748 cites W4252511789 @default.
- W2103609748 doi "https://doi.org/10.1016/0304-3975(90)90014-9" @default.
- W2103609748 hasPublicationYear "1990" @default.
- W2103609748 type Work @default.
- W2103609748 sameAs 2103609748 @default.
- W2103609748 citedByCount "34" @default.
- W2103609748 countsByYear W21036097482013 @default.
- W2103609748 countsByYear W21036097482016 @default.
- W2103609748 crossrefType "journal-article" @default.
- W2103609748 hasAuthorship W2103609748A5086656765 @default.
- W2103609748 hasBestOaLocation W21036097481 @default.
- W2103609748 hasConcept C104317684 @default.
- W2103609748 hasConcept C140146324 @default.
- W2103609748 hasConcept C160145156 @default.
- W2103609748 hasConcept C185592680 @default.
- W2103609748 hasConcept C199360897 @default.
- W2103609748 hasConcept C204241405 @default.
- W2103609748 hasConcept C2778112365 @default.
- W2103609748 hasConcept C33762810 @default.
- W2103609748 hasConcept C41008148 @default.
- W2103609748 hasConcept C54355233 @default.
- W2103609748 hasConcept C55493867 @default.
- W2103609748 hasConcept C75949130 @default.
- W2103609748 hasConcept C77088390 @default.
- W2103609748 hasConcept C80444323 @default.
- W2103609748 hasConcept C86803240 @default.
- W2103609748 hasConceptScore W2103609748C104317684 @default.
- W2103609748 hasConceptScore W2103609748C140146324 @default.
- W2103609748 hasConceptScore W2103609748C160145156 @default.
- W2103609748 hasConceptScore W2103609748C185592680 @default.
- W2103609748 hasConceptScore W2103609748C199360897 @default.
- W2103609748 hasConceptScore W2103609748C204241405 @default.
- W2103609748 hasConceptScore W2103609748C2778112365 @default.
- W2103609748 hasConceptScore W2103609748C33762810 @default.
- W2103609748 hasConceptScore W2103609748C41008148 @default.
- W2103609748 hasConceptScore W2103609748C54355233 @default.
- W2103609748 hasConceptScore W2103609748C55493867 @default.
- W2103609748 hasConceptScore W2103609748C75949130 @default.
- W2103609748 hasConceptScore W2103609748C77088390 @default.
- W2103609748 hasConceptScore W2103609748C80444323 @default.
- W2103609748 hasConceptScore W2103609748C86803240 @default.
- W2103609748 hasIssue "1" @default.
- W2103609748 hasLocation W21036097481 @default.
- W2103609748 hasOpenAccess W2103609748 @default.
- W2103609748 hasPrimaryLocation W21036097481 @default.
- W2103609748 hasRelatedWork W1504576790 @default.
- W2103609748 hasRelatedWork W1530299232 @default.
- W2103609748 hasRelatedWork W1969324738 @default.
- W2103609748 hasRelatedWork W2026046761 @default.
- W2103609748 hasRelatedWork W2063468672 @default.
- W2103609748 hasRelatedWork W2107676802 @default.
- W2103609748 hasRelatedWork W2806908044 @default.
- W2103609748 hasRelatedWork W4322710807 @default.
- W2103609748 hasRelatedWork W82161441 @default.
- W2103609748 hasRelatedWork W2583313884 @default.
- W2103609748 hasVolume "76" @default.
- W2103609748 isParatext "false" @default.
- W2103609748 isRetracted "false" @default.
- W2103609748 magId "2103609748" @default.
- W2103609748 workType "article" @default.