Compiling ER Specifications into Declarative Programs
| dc.creator | Braßel, Bernd | |
| dc.creator | Hanus, Michael | |
| dc.creator | Muller, Marion | |
| dc.date | 2007-11-02 | |
| dc.date.accessioned | 2026-07-07T08:40:29Z | |
| dc.date.available | 2026-07-07T08:40:29Z | |
| dc.description | This paper proposes an environment to support high-level database programming in a declarative programming language. In order to ensure safe database updates, all access and update operations related to the database are generated from high-level descriptions in the entity- relationship (ER) model. We propose a representation of ER diagrams in the declarative language Curry so that they can be constructed by various tools and then translated into this representation. Furthermore, we have implemented a compiler from this representation into a Curry program that provides access and update operations based on a high-level API for database programming. | |
| dc.description | Paper presented at the 17th Workshop on Logic-based Methods in Programming Environments (WLPE2007) | |
| dc.identifier | https://arxiv.org/abs/0711.0348 | |
| dc.identifier | http://arxiv.org/abs/0711.0348 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/141387 | |
| dc.subject | Programming Languages | |
| dc.subject | Software Engineering | |
| dc.subject | D.2.6; D.1.6 | |
| dc.title | Compiling ER Specifications into Declarative Programs | |
| dc.type | text |