The definition of Standard ML
Extending the functional data model to computational completeness
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
The implementation of FDL, a functional database language
The Computer Journal - Special issue on database programming paradigms
Comprehensions, a query notation for DBPLs
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Compilation of set terms in the logic data language (LDL)
Journal of Logic Programming
Logic programming with functions and predicates: the language Babel
Journal of Logic Programming
Implementation of the CORAL deductive database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint query algebras
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Constraint Databases
The aditi deductive database system
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
IEEE Transactions on Knowledge and Data Engineering
An Extended Algebra for Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
A Computational Model for Functional Logic Deductive Databases
Proceedings of the 17th International Conference on Logic Programming
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Semantics-based Approach to Design of Query Languages for Partial Information
Selected Papers from a Workshop on Semantics in Databases
A proof theoretic approach to failure in functional logic programming
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
Functional logic programming is a paradigm which integrates functional and logic programming. It is based on the use of rewriting rules for defining programs, and rewriting for goal solving. In this context, goals, usually, consist of equality (and, sometimes, inequality) constraints, which are solved in order to obtain answers, represented by means of substitutions. On the other hand, database programming languages involve a data model, a data definition language and, finally, a query language against the data defined according to the data model. To use functional logic programming as a database programming language, (1) we will propose a data model involving the main features adopted from functional logic programming (for instance, handling of partial and infinite data), (2) we will use conditional rewriting rules as data definition language, and finally, (3) we will deal with equality and inequality constraints as query language. Moreover, as most database systems, (4) we will propose an extended relational calculus and algebra, which can be used as alternative query languages in this framework. Finally, (5) we will prove that three alternative query languages are equivalent.