Dynamic modelling of a simple existence constraint
暂无分享,去创建一个
Abstract A method is described for systematically deriving from a static formulation of a simple existence constraint the corresponding dynamic formulation. The latter formulation is embedded, under the form of applicability conditions, in a set of axiomatized update operations. A many-sorted first-order predicate calculus is used as the specification language. Update behaviour issues are identified and discussed.
[1] Erich J. Neuhold,et al. A Data Type Approach to the Entity-Relationship Approach , 1979, ER.
[2] C. Mohan,et al. An overview of recent data base research , 1978, DATB.
[3] Jean-Marie Nicolas,et al. Integrity Checking in Deductive Data Bases , 1977, Logic and Data Bases.
[4] Peter P. Chen. The entity-relationship model: toward a unified view of data , 1975, VLDB '75.
[5] Frank Manola. A Review of the 1978 CODASYL Database Specifications , 1978, VLDB.