Compiling ER Specifications into Declarative Programs

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.

[1]  Rachid Echahed,et al.  A needed narrowing strategy , 2000, JACM.

[2]  Sverre H. Huseby.  Innocent Code: A Security Wake-Up Call for Web Programmers , 2004 .

[3]  Francisco Javier López-Fraguas,et al.  TOY: A Multiparadigm Declarative System , 1999, RTA.

[4]  Johann Eder,et al.  Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.

[5]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[6]  Ramin Sadre,et al.  Pakcs: The portland aachen kiel curry system , 2000 .

[7]  Peyton Jones,et al.  Haskell 98 language and libraries : the revised report , 2003 .

[8]  Michael Hanus,et al.  A unified computation model for functional and logic programming , 1997, POPL '97.

[9]  Philip Wadler,et al.  How to declare an imperative , 1997, CSUR.

[10]  J. S anchez Hern andez.  TO Y: A Multiparadigm Declarative System ? , 1999 .

[11]  Michael Hanus,et al.  A Functional Logic Programming Approach to Graphical User Interfaces , 2000, PADL.

[12]  M. Hanus,et al.  Curry: An Integrated Functional Logic Language , 2003 .

[13]  Michael Hanus,et al.  High-Level Server Side Web Scripting in Curry , 2001, PADL.

[14]  Michael Hanus,et al.  Multi-paradigm Declarative Languages , 2007, ICLP.

[15]  Michael Hanus,et al.  Dynamic Predicates in Functional Logic Programs , 2004, J. Funct. Log. Program..

[16]  Michael Hanus,et al.  Type-oriented construction of web user interfaces , 2006, PPDP '06.

[17]  Michael Hanus,et al.  Functional Logic Design Patterns , 2002, FLOPS.

[18]  Subrata Kumar Das,et al.  Deductive Databases and Logic Programming , 1992 .

[19]  J. Davenport.  Editor , 1960 .

[20]  Michael Hanus,et al.  Curry: an integrated functional logic language (version 0 , 2003 .

[21]  Sebastian Fischer.  A functional logic database library , 2005, WCFLP '05.