A safe relational calculus for functional logic deductive databases

MaRDI QIDQ2844062zbMATH OpenFDO

Authors 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

Mathematics Subject Classification ID

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

Recommendations

• A relational algebra for functional logic deductive databases
• Comparison of functional and predicative query paradigms
• A Logic of Type Relations and its Applications to Relational Databases
• Database query languages and functional logic programming
• Relational and Kleene-Algebraic Methods in Computer Science

Cites work

• A relational algebra for functional logic deductive databases
• A relational model of data for large shared data banks
• An approach to declarative programming based on a rewriting logic
• Compilation of set terms in the logic data language (LDL)
• Deductive query languages for recursively typed complex objects
• 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 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 1395614 (Why is no real title available?)
• Logic programming with functions and predicates: The language Babel
• Principles of programming with complex objects and collection types
• Safe Constraint Queries
• The integration of functions into logic programming: From theory to practice

Cited in

(9)

• Safety, domain independence and translation of complex value database queries
• Tuple calculus: formal definition and conversion from first-order calculus
• A Logic of Type Relations and its Applications to Relational Databases
• scientific article; zbMATH DE number 2085287 (Why is no real title available?)
• A relational algebra for functional logic deductive databases
• Computing infinite relations using finite expressions: A new approach to the safety issue in relational databases
• A rule-based procedure for graph query solving
• Database query languages and functional logic programming
• Checking functional consistency in deductive databases

Describes a project that uses

Uses Software

• BABEL
• TOY

This page was built for publication: A safe relational calculus for functional logic deductive databases

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