Abstract | ||
---|---|---|
In this paper, we attempt to outline a proposal of a data- base management system which supports an entity- relationship model, as a collection of abstract data tvpes. Each abstract data type in this collection can be for--' malized using algebraic axiom specification technique of Guttag; each can then be implemented to yield a set of interactive tools which will provide a formal and stepwise process in the specification of a database system. |
Year | Venue | Keywords |
---|---|---|
1983 | ER | abstract data type,database system,entity relationship model,database management system |
Field | DocType | Citations |
Data administration,Database model,Data retrieval,Computer science,Database design,Database testing,Database schema,Physical data model,Database theory,Database | Conference | 8 |
PageRank | References | Authors |
36.94 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paul K. Blackwell | 1 | 8 | 37.62 |
Sushil Jajodia | 2 | 9375 | 1839.16 |
Peter A. Ng | 3 | 444 | 411.06 |