Matches in SemOpenAlex for { <https://semopenalex.org/work/W77244048> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W77244048 endingPage "61" @default.
- W77244048 startingPage "35" @default.
- W77244048 abstract "This chapter is devoted to the integration of the ASSO features in B. ASSO is a database design methodology defined for achieving conceptual schema consistency, logical schema correctness, flexibility in reflecting the real-life changes on the schema and efficiency in accessing and storing information. B is an industrial formal method for specifying, designing, and coding software systems. Starting from a B specification of the data structures and of the transactions allowed on a database, two model transformations are designed: The resulting model, called Structured Database Schema, integrates static and dynamics exploiting the novel concepts of Class-Machine and Specialized Class-Machine. Formal details which must be specified if the conceptual model of ASSO is directly constructed in B are avoided; the costs of the consistency obligations are minimized. Class-Machines supported by semantic data models can be correctly linked with Class-Machines supported by object Models." @default.
- W77244048 created "2016-06-24" @default.
- W77244048 creator A5082230741 @default.
- W77244048 date "2011-05-24" @default.
- W77244048 modified "2023-09-25" @default.
- W77244048 title "Database Design Based on B" @default.
- W77244048 doi "https://doi.org/10.4018/978-1-59140-684-6.ch002" @default.
- W77244048 hasPublicationYear "2011" @default.
- W77244048 type Work @default.
- W77244048 sameAs 77244048 @default.
- W77244048 citedByCount "0" @default.
- W77244048 crossrefType "book-chapter" @default.
- W77244048 hasAuthorship W77244048A5082230741 @default.
- W77244048 hasConcept C41008148 @default.
- W77244048 hasConcept C77088390 @default.
- W77244048 hasConceptScore W77244048C41008148 @default.
- W77244048 hasConceptScore W77244048C77088390 @default.
- W77244048 hasLocation W772440481 @default.
- W77244048 hasOpenAccess W77244048 @default.
- W77244048 hasPrimaryLocation W772440481 @default.
- W77244048 hasRelatedWork W1446776201 @default.
- W77244048 hasRelatedWork W1502610062 @default.
- W77244048 hasRelatedWork W1817971457 @default.
- W77244048 hasRelatedWork W1995028378 @default.
- W77244048 hasRelatedWork W2027162968 @default.
- W77244048 hasRelatedWork W2099343405 @default.
- W77244048 hasRelatedWork W2116460927 @default.
- W77244048 hasRelatedWork W2130474477 @default.
- W77244048 hasRelatedWork W2337168131 @default.
- W77244048 hasRelatedWork W2386848747 @default.
- W77244048 hasRelatedWork W2493728692 @default.
- W77244048 hasRelatedWork W2602282026 @default.
- W77244048 hasRelatedWork W2794395498 @default.
- W77244048 hasRelatedWork W3028911214 @default.
- W77244048 hasRelatedWork W3159615956 @default.
- W77244048 hasRelatedWork W46528900 @default.
- W77244048 hasRelatedWork W582983836 @default.
- W77244048 hasRelatedWork W2184242359 @default.
- W77244048 hasRelatedWork W2929790391 @default.
- W77244048 hasRelatedWork W2932817212 @default.
- W77244048 isParatext "false" @default.
- W77244048 isRetracted "false" @default.
- W77244048 magId "77244048" @default.
- W77244048 workType "book-chapter" @default.