INTERACTIVE SPECIFICATION AND FORMAL VERIFICATION OF USER'S VIEWS IN DATA BASE DESIGN.

被引:0
作者
Baldissera, C.
Ceri, S.
Pelagatti, G.
Bracchi, G.
机构
来源
Journal of the New England Water Pollution Control Association | 1979年
关键词
Compendex;
D O I
暂无
中图分类号
学科分类号
摘要
Data base systems
引用
收藏
页码:262 / 272
相关论文
empty
未找到相关数据