论文信息 - A concise formal framework for data modeling

A concise formal framework for data modeling

A frameworlc for datamodeling is presented which is both fonnal and concise. It is constructed around the concepts of objects and their murual functional relations, has a complete datalanguage based on first order logic and a diagram technique. Relations to other frameworks for data modeling and an implementation of the framework are discussed.

Atm Ad Aerts | van Km Kees Hee | V. Hee | A. Aerts

[1] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[2] Charles W. Bachman,et al. Data structure diagrams , 1969, DATB.

[3] Serge Abiteboul,et al. IFO: a formal semantic database model , 1987, TODS.

[4] David W. Shipman,et al. The functional data model and the data languages DAPLEX , 1981, TODS.

[5] David W. Shipman. The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[6] E. F. Codd,et al. A relational model of data for large shared data banks , 1970, CACM.

[7] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.

[8] Peter P. Chen. The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[9] Peter P. Chen. The entity-relationship model: toward a unified view of data , 1975, VLDB '75.