Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000606446> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2000606446 endingPage "397" @default.
- W2000606446 startingPage "387" @default.
- W2000606446 abstract "This paper presents a methodology for the stepwise specification of dynamic database behaviour. A conceptual schema is described in three levels: data, objects and transactions. To determine which sequences of database states are “admissible”, integrity constraints on objects are given in temporal logic. Transactions are specified by pre/postconditions to produce “executable” state sequences. In order to guarantee that executable state sequences already become admissible, integrity constraints are completely transformed into additional pre/postconditions. We introduce general rules for these transformations. Thus, schema specifications can be refined and simplified systematically." @default.
- W2000606446 created "2016-06-24" @default.
- W2000606446 creator A5086656765 @default.
- W2000606446 date "1986-06-15" @default.
- W2000606446 modified "2023-10-18" @default.
- W2000606446 title "Stepwise specification of dynamic database behaviour" @default.
- W2000606446 cites W2044250648 @default.
- W2000606446 cites W2055862860 @default.
- W2000606446 cites W4205977236 @default.
- W2000606446 cites W4252511789 @default.
- W2000606446 doi "https://doi.org/10.1145/16856.16892" @default.
- W2000606446 hasPublicationYear "1986" @default.
- W2000606446 type Work @default.
- W2000606446 sameAs 2000606446 @default.
- W2000606446 citedByCount "10" @default.
- W2000606446 crossrefType "journal-article" @default.
- W2000606446 hasAuthorship W2000606446A5086656765 @default.
- W2000606446 hasConcept C138496976 @default.
- W2000606446 hasConcept C148840519 @default.
- W2000606446 hasConcept C15744967 @default.
- W2000606446 hasConcept C160145156 @default.
- W2000606446 hasConcept C165611974 @default.
- W2000606446 hasConcept C199360897 @default.
- W2000606446 hasConcept C23123220 @default.
- W2000606446 hasConcept C29275276 @default.
- W2000606446 hasConcept C30775581 @default.
- W2000606446 hasConcept C33762810 @default.
- W2000606446 hasConcept C41008148 @default.
- W2000606446 hasConcept C52146309 @default.
- W2000606446 hasConcept C77088390 @default.
- W2000606446 hasConcept C80444323 @default.
- W2000606446 hasConceptScore W2000606446C138496976 @default.
- W2000606446 hasConceptScore W2000606446C148840519 @default.
- W2000606446 hasConceptScore W2000606446C15744967 @default.
- W2000606446 hasConceptScore W2000606446C160145156 @default.
- W2000606446 hasConceptScore W2000606446C165611974 @default.
- W2000606446 hasConceptScore W2000606446C199360897 @default.
- W2000606446 hasConceptScore W2000606446C23123220 @default.
- W2000606446 hasConceptScore W2000606446C29275276 @default.
- W2000606446 hasConceptScore W2000606446C30775581 @default.
- W2000606446 hasConceptScore W2000606446C33762810 @default.
- W2000606446 hasConceptScore W2000606446C41008148 @default.
- W2000606446 hasConceptScore W2000606446C52146309 @default.
- W2000606446 hasConceptScore W2000606446C77088390 @default.
- W2000606446 hasConceptScore W2000606446C80444323 @default.
- W2000606446 hasIssue "2" @default.
- W2000606446 hasLocation W20006064461 @default.
- W2000606446 hasOpenAccess W2000606446 @default.
- W2000606446 hasPrimaryLocation W20006064461 @default.
- W2000606446 hasRelatedWork W1507426629 @default.
- W2000606446 hasRelatedWork W1586166785 @default.
- W2000606446 hasRelatedWork W1600920308 @default.
- W2000606446 hasRelatedWork W165618290 @default.
- W2000606446 hasRelatedWork W2000606446 @default.
- W2000606446 hasRelatedWork W2039157111 @default.
- W2000606446 hasRelatedWork W2093763175 @default.
- W2000606446 hasRelatedWork W2405544841 @default.
- W2000606446 hasRelatedWork W2911644013 @default.
- W2000606446 hasRelatedWork W2610863246 @default.
- W2000606446 hasVolume "15" @default.
- W2000606446 isParatext "false" @default.
- W2000606446 isRetracted "false" @default.
- W2000606446 magId "2000606446" @default.
- W2000606446 workType "article" @default.