Charles Explorer logo
🇬🇧

Effective Datalog-like representation of procedural programs

Publication at Faculty of Mathematics and Physics |
2012

Abstract

Database systems are constantly extending their application area towards more general computing. However, applications that combine database access and general computing still suffer from the conceptual and tech- nical gap between relational algebra and procedural pro- gramming.

In this paper, we show that procedural programs may be effectively represented in a Datalog-like language with functions and aggregates. Such a language may then be used as a common representation for both relational and procedural part of an application.