将 ER 规范编译为声明式程序
编程语言
2007-11-06 v1 软件工程
摘要
本文提出了一种支持在声明式编程语言中进行高层数据库编程的环境。为确保数据库更新的安全性，所有与数据库相关的访问和更新操作均从实体 - 关系（ER）模型的高层描述中生成。我们提出了在声明式语言 Curry 中表示 ER 图的方法，以便它们可以由各种工具构建并翻译为该表示形式。此外，我们实现了一个编译器，将该表示形式编译为 Curry 程序，该程序提供基于高层 API 的数据库编程访问和更新操作。
引用
@article{arxiv.0711.0348,
title = {Compiling ER Specifications into Declarative Programs},
author = {Bernd Braßel and Michael Hanus and Marion Muller},
journal= {arXiv preprint arXiv:0711.0348},
year = {2007}
}
评论
Paper presented at the 17th Workshop on Logic-based Methods in Programming Environments (WLPE2007)