The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 50 of 55
Back to Result List

An ER-based framework for declarative web programming

  • We describe a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore and most important, the implementation ensures the consistency of the database w.r.t. the data dependencies specified in the ER model, i.e., updates initiated by the user cannot lead to an inconsistent state of the database. In order to generate a high-level declarative implementation that can be easily adapted to individual customer requirements, the framework exploits previous works on declarative database programming and web user interface construction in Curry.

Download full text files

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Michael Hanus, Sven Koschnicke
URN:urn:nbn:de:kobv:517-opus-41447
Publication type:Conference Proceeding
Language:English
Publication year:2010
Publishing institution:Universität Potsdam
Contributing corporation:Gesellschaft für Logische Programmierung e.V.
Release date:2010/03/04
Source:Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 35
RVK - Regensburg classification:ST 304
Organizational units:Extern / Extern
DDC classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Collection(s):Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Databases
License (German):License LogoKeine öffentliche Lizenz: Unter Urheberrechtsschutz
External remark:
Note: The full version of the paper will appear in the Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages (PADL 2010), Springer Lecture Notes in Computer Science
DOI 10.1007/978-3-642-11503-5_18
This work was partially supported by the German Research Council (DFG) under grant Ha 2457/5-2.
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.