Publication:2844062
From MaRDI portal
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
68P15: Database theory
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
68Q42: Grammars and rewriting systems
68N17: Logic programming
Related Items
Database query languages and functional logic programming, Safety, domain independence and translation of complex value database queries
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item