scientific article

zbMath1270.68101MaRDI QIDQ2844062

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

Publication date: 27 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Database theory (68P15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (2)

Database query languages and functional logic programming ⋮ Safety, domain independence and translation of complex value database queries

Uses Software

• BABEL
• TOY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Principles of programming with complex objects and collection types
• Logic programming with functions and predicates: The language Babel
• Compilation of set terms in the logic data language (LDL)
• 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
• Safe Constraint Queries
• A relational model of data for large shared data banks
• Perspectives of System Informatics

This page was built for publication: