Data Models: A Semantic Approach for Database Systems
This book deals with two issues which are of considerable interest within database management today: the development of semantic data models, and equivalence properties of data models. Semantic data models ease the expression of a particular application to a database system. An understanding of data model equivalence is necessary for accessing a single database using different data models and for transferring data and programs from one database system to another.In addition to explaining previous work in these areas, "Data Models" presents new research results. This is done with a balance of definitions, examples, discussion, and theorems.Two semantic data models are presented: the semantic relation data model and the semantic graph data model. These data models are related in form to two popular data models: the relational data model and the network data model.The equivalence properties of the two semantic data models are explored in a general framework useful for understanding equivalence properties of any data models. Significantly, the derivations of equivalent update operations are considered in detail."Data Models" can be used to advantage by practitioners as well as researchers. For designers of database systems, especially shared or distributed systems, it provides a framework for understanding important aspects of such systems and points out specific problems which must be addressed in the system design. "Data Models" can help users of database systems understand their current systems as well as understand what database systems of the future will look like."Data Models" is appropriate as a supplemental text on database management at the advanced undergraduate and graduate levels. Instructors will appreciate this book as a fine example of applying formal techniques to a relevant research area.
What people are saying - Write a review
We haven't found any reviews in the usual places.
a-id age number type Algorithm application model equivalence arg-list association type B.Belglm base relations Baserelation Chapter characteristic edges Codasyl Codd Col-func conceptual schema corresponding data model equivalence database relation database system DBTG definition delete describing e-id employee machine name employee name age entity type function g-schema G.Wayshum 50 graph data model heading-1 insert key characteristics lathe press machine name number machine number type mandatory name age names name age number name number type non-key characteristic null values number type names NZ745 lathe object operate operate:agent operate:object operation equivalent predicate predicate:case pairs r-state relation application model relation data model relation database relation of Figure relational algebra relational model relational operation relational schema restricted semantic relation semantic data models semantic graph data semantic graph schema semantic network semantic relation application semantic relation data semantic unit serial numbers machine-types set notation specified state.E statements subgraph subset supervise tuple type 1 base