A tight, practical integration of relations and functions.

MaRDI QIDQ1880433zbMATH OpenFDO

Authors Harold Boley

Publication date 28 September 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Functional-logic integration via minimal reciprocal extensions
• scientific article; zbMATH DE number 986251
• Logic programming, functional programming, and inductive definitions
• scientific article; zbMATH DE number 2063843
• A relational algebra for functional logic deductive databases

Cited in

(6)

• Flat matching
• scientific article; zbMATH DE number 2063843 (Why is no real title available?)
• Integrating relational databases and constraint languages
• scientific article; zbMATH DE number 1904892 (Why is no real title available?)
• On the relation between context and sequence unification
• Solving equations with sequence variables and sequence functions

Describes a project that uses

Uses Software

• LISP
• BABEL

This page was built for publication: A tight, practical integration of relations and functions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1880433)