论文信息 - Proof System for Weakest Prespecification and its Applications - 字舞流文

Proof System for Weakest Prespecification and its Applications

[1] W. Buszkowski,et al. On the logic of database dependencies , 1986 .

[2] C. A. R. Hoare,et al. The Weakest Prespecification , 1987, Information Processing Letters.

[3] Zdzislaw Pawlak,et al. Information systems theoretical foundations , 1981, Inf. Syst..

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

[5] Alfred Tarski,et al. Relational selves as self-affirmational resources , 2008 .