Title
High-level database programming in curry
Abstract
This paper presents an environment to support high-level database programming in the multi-paradigm declarative programming language Curry. We define an application programming interface (API) that abstracts from the concrete database access methods. The API supports transactions and exploits Curry's type system to ensure a strict separation between queries and updates. In order to ensure database updates that are safe w.r.t. an intended data model (e.g., containing specific relations between entities), we assume a description of the data dependencies in the entity-relationship (ER) model from which all access and update operations related to the database are generated. 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 safe access and update operations based on the API for database programming.
Year
DOI
Venue
2008
10.1007/978-3-540-77442-6_21
PADL
Keywords
Field
DocType
curry program,application programming interface,high-level database programming,database programming,safe access,database updates,er diagram,multi-paradigm declarative programming language,concrete database access method,update operation,type system,application program interface,declarative programming,data model,entity relationship,access method
Functional logic programming,Fifth-generation programming language,Programming language,Programming paradigm,Computer science,Inductive programming,Database design,Application programming interface,Declarative programming,Database,Entity–relationship model
Conference
Volume
ISSN
ISBN
4902
0302-9743
3-540-77441-6
Citations 
PageRank 
References 
12
0.61
12
Authors
3
Name
Order
Citations
PageRank
Bernd Braßel118112.47
Michael Hanus270745.18
Marion Müller3120.94