Database query languages and functional logic programming

DOI10.1007/BF03037296zbMath1108.68026OpenAlexW1990928191MaRDI QIDQ867491

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

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

Uses Software

• ML
• BABEL
• TOY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Principles of programming with complex objects and collection types
• Building a constraint-based spatial database system: Model, languages, and implementation.
• Using spatial data access structures for filtering nearest neighbor queries
• Logic programming with functions and predicates: The language Babel
• Compilation of set terms in the logic data language (LDL)
• The Implementation of FDL, a Functional Database Language
• Deductive query languages for recursively typed complex objects
• The integration of functions into logic programming: From theory to practice
• An approach to declarative programming based on a rewriting logic
• A proof theoretic approach to failure in functional logic programming
• A relational model of data for large shared data banks
• Perspectives of System Informatics

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