zbMATH — the first resource for mathematics

A computational model for functional logic deductive databases. (English) Zbl 1053.68563
Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 331-347 (2001).
Summary: This paper adds the handling of negative information to a functional-logic deductive database language. By adopting as semantics for negation the so-called CRWLF, wherein the negation is intended as ‘finite failure’ of reduction, we define Herbrand algebras and models for this semantics and a fixed-point operator to be used in a new goal-directed bottom-up evaluation mechanism based on magic transformations. This bottom-up evaluation simulates the top-down one of the original program; in fact, it carries out a goal-directed lazy evaluation.
For the entire collection see [Zbl 0977.00040].

68P15 Database theory
Full Text: Link