使用逻辑编程进行数据模型的形式化规范与验证

Using logic programming for formal specification and validation of data models

• R.G. Ramirez · 亚利桑那州立大学
• Joobin Choobineh · 得克萨斯农工大学
• Ronald Dattero · 佛罗里达大西洋大学