Database query languages and functional logic programming

DOI10.1007/BF03037296MaRDI QIDQ867491zbMATH OpenOpenAlexFDO

Authors Jesús M. Alemandros-Jiménez, Antonio Becerra-Terón

Publication date 15 February 2007

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037296

zbMATH Keywords

deductive databases

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)

Recommendations

• A relational algebra for functional logic deductive databases
• A safe relational calculus for functional logic deductive databases
• Comparison of functional and predicative query paradigms
• scientific article; zbMATH DE number 4043306
• Logic programming, functional programming, and inductive definitions

Cites work

• scientific article; zbMATH DE number 1692896 (Why is no real title available?)
• scientific article; zbMATH DE number 1696795 (Why is no real title available?)
• scientific article; zbMATH DE number 605809 (Why is no real title available?)
• scientific article; zbMATH DE number 1515858 (Why is no real title available?)
• scientific article; zbMATH DE number 2085287 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 1395614 (Why is no real title available?)
• A proof theoretic approach to failure in functional logic programming
• A relational algebra for functional logic deductive databases
• A relational model of data for large shared data banks
• A safe relational calculus for functional logic deductive databases
• An approach to declarative programming based on a rewriting logic
• Building a constraint-based spatial database system: Model, languages, and implementation.
• Compilation of set terms in the logic data language (LDL)
• Deductive query languages for recursively typed complex objects
• Logic programming with functions and predicates: The language Babel
• Principles of programming with complex objects and collection types
• The Implementation of FDL, a Functional Database Language
• The integration of functions into logic programming: From theory to practice
• Using spatial data access structures for filtering nearest neighbor queries

Cited in

(11)

• Database query languages embedded in the typed lambda calculus
• Declarative Programming with Function Patterns
• A relational algebra for functional logic deductive databases
• Functional SQL (FSQL), an SQL upward-compatible database programming language
• A safe relational calculus for functional logic deductive databases
• Datalog and recursive query processing
• The Implementation of FDL, a Functional Database Language
• Syntax and semantics of hybrid database languages
• Lazy database access with persistent predicates
• Logic Programming Languages for Databases and the Web
• Abstract interpretation of database query languages

Describes a project that uses

Uses Software

• ML
• BABEL
• TOY

This page was built for publication: Database query languages and functional logic programming

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