zbMATH — the first resource for mathematics

A relational algebra for functional logic deductive databases. (English) Zbl 1254.68103
Broy, Manfred (ed.) et al., Perspectives of system informatics. 5th international Andrei Ershov memorial conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9–12, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20813-5/pbk). Lecture Notes in Computer Science 2890, 494-508 (2003).
Summary: In this paper, we study the integration of functional logic programming and databases by presenting a data model, and a query and data definition language. The data model is adopted from functional logic programming by allowing complex values. The query and data definition language is based on the use of algebra expressions built from a set of algebra operators over an extended relational algebra. In addition, algebra expressions can be used for defining functions, typical in a functional logic program.
For the entire collection see [Zbl 1088.68003].
Reviewer: Reviewer (Berlin)

68P15 Database theory
68N17 Logic programming
68N18 Functional programming and lambda calculus
Full Text: DOI