Effective Datalog-like representation of procedural programs

Abstrakt

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.

Klíčová slova

• Datalog
• procedural programming languages
• program analysis
• program transformation