Matches in SemOpenAlex for { <https://semopenalex.org/work/W133994996> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W133994996 abstract "To be well defined, data need to be completed by information describing their characteristics. These characteristics represent the data model and are composed of a static part and a dynamic part. Static characteristics describe semantic information such as how data is organized and how some of its elements are related to others (data structures) or under what conditions data are considered sound (integrity constraints). Dynamic characteristics describe the behavior of data with respect to time or to effective surrounding factors such as events. Because of its importance in the data manipulation process, this knowledge must be correctly specified. In order to prove the correction of this specification, formal methods must be used." @default.
- W133994996 created "2016-06-24" @default.
- W133994996 creator A5056422155 @default.
- W133994996 date "1996-01-01" @default.
- W133994996 modified "2023-10-17" @default.
- W133994996 title "Using Formal Specification Languages to Prove Data Model Consistency" @default.
- W133994996 cites W2039601877 @default.
- W133994996 cites W2045057107 @default.
- W133994996 cites W2945526390 @default.
- W133994996 doi "https://doi.org/10.1007/978-3-642-80286-7_30" @default.
- W133994996 hasPublicationYear "1996" @default.
- W133994996 type Work @default.
- W133994996 sameAs 133994996 @default.
- W133994996 citedByCount "0" @default.
- W133994996 crossrefType "book-chapter" @default.
- W133994996 hasAuthorship W133994996A5056422155 @default.
- W133994996 hasConcept C124101348 @default.
- W133994996 hasConcept C154945302 @default.
- W133994996 hasConcept C184337299 @default.
- W133994996 hasConcept C199360897 @default.
- W133994996 hasConcept C2776436953 @default.
- W133994996 hasConcept C33762810 @default.
- W133994996 hasConcept C41008148 @default.
- W133994996 hasConcept C77088390 @default.
- W133994996 hasConcept C98045186 @default.
- W133994996 hasConceptScore W133994996C124101348 @default.
- W133994996 hasConceptScore W133994996C154945302 @default.
- W133994996 hasConceptScore W133994996C184337299 @default.
- W133994996 hasConceptScore W133994996C199360897 @default.
- W133994996 hasConceptScore W133994996C2776436953 @default.
- W133994996 hasConceptScore W133994996C33762810 @default.
- W133994996 hasConceptScore W133994996C41008148 @default.
- W133994996 hasConceptScore W133994996C77088390 @default.
- W133994996 hasConceptScore W133994996C98045186 @default.
- W133994996 hasLocation W1339949961 @default.
- W133994996 hasOpenAccess W133994996 @default.
- W133994996 hasPrimaryLocation W1339949961 @default.
- W133994996 hasRelatedWork W1485995104 @default.
- W133994996 hasRelatedWork W1532713898 @default.
- W133994996 hasRelatedWork W1901911297 @default.
- W133994996 hasRelatedWork W1985308264 @default.
- W133994996 hasRelatedWork W1996888673 @default.
- W133994996 hasRelatedWork W2014218541 @default.
- W133994996 hasRelatedWork W2041959755 @default.
- W133994996 hasRelatedWork W2053166267 @default.
- W133994996 hasRelatedWork W2059178770 @default.
- W133994996 hasRelatedWork W2071396752 @default.
- W133994996 hasRelatedWork W2074150039 @default.
- W133994996 hasRelatedWork W2092693902 @default.
- W133994996 hasRelatedWork W2164440547 @default.
- W133994996 hasRelatedWork W2250794905 @default.
- W133994996 hasRelatedWork W2406669637 @default.
- W133994996 hasRelatedWork W2528410472 @default.
- W133994996 hasRelatedWork W2556707580 @default.
- W133994996 hasRelatedWork W2743170952 @default.
- W133994996 hasRelatedWork W2897842245 @default.
- W133994996 hasRelatedWork W374826731 @default.
- W133994996 isParatext "false" @default.
- W133994996 isRetracted "false" @default.
- W133994996 magId "133994996" @default.
- W133994996 workType "book-chapter" @default.