[IEEE Fifth International Conference on Very Large Data Bases, 1979. - Rio de Janeiro, Brazil (October 3-5, 1979)] Fifth International Conference on Very Large Data Bases, 1979. - Interactive Specification And Formal Verification Of User's Views In Data Base Design
Baldissera, C.; Ceri, S.; Pelagatti, G.; Bracchi, G.
- 作者Baldissera, C.; Ceri, S.; Pelagatti, G.; Bracchi, G.
- 文件大小912.82KB
- 发表时间1979
- DOI10.1109/vldb.1979.718141
- 页码262-272