This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filtered java 8 streams, enhanced with Tuples facilities from jOOλ library
Existing rule-based nested relational database query languages do not provide built-in predicates fo...
-Recently in the database field, deductive databases and object oriented databases are two major are...
AbstractA logic program consists of a set of Horn clauses, and can be used to express a query on rel...
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database progra...
A formal description of a database consists of the description of the relations (tables) of the data...
The purpose of this study is to explore that mathematics provides a convenient formalism for studyin...
AbstractWe investigate the expressive power of the typedλ-calculus when expressing computations over...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
Abstract. In this paper, we present an extended relational calculus for expressing queries in functi...
The purpose of this paper is to study the basic theoretic structure of intelligent data base by mean...
The logic programming language Prolog has been shown to be a very suitable language for implementing...
To obtain information, we can query a database management system. To do so, we express our queries ...
We present functional database query languages expressing the FO- and PTIME-queries. This framework ...
Abstract. In this paper, we study the integration of functional logic programming and databases by p...
The LOLA system has been designed as the query answering component of a deductive database system an...
Existing rule-based nested relational database query languages do not provide built-in predicates fo...
-Recently in the database field, deductive databases and object oriented databases are two major are...
AbstractA logic program consists of a set of Horn clauses, and can be used to express a query on rel...
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database progra...
A formal description of a database consists of the description of the relations (tables) of the data...
The purpose of this study is to explore that mathematics provides a convenient formalism for studyin...
AbstractWe investigate the expressive power of the typedλ-calculus when expressing computations over...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
Abstract. In this paper, we present an extended relational calculus for expressing queries in functi...
The purpose of this paper is to study the basic theoretic structure of intelligent data base by mean...
The logic programming language Prolog has been shown to be a very suitable language for implementing...
To obtain information, we can query a database management system. To do so, we express our queries ...
We present functional database query languages expressing the FO- and PTIME-queries. This framework ...
Abstract. In this paper, we study the integration of functional logic programming and databases by p...
The LOLA system has been designed as the query answering component of a deductive database system an...
Existing rule-based nested relational database query languages do not provide built-in predicates fo...
-Recently in the database field, deductive databases and object oriented databases are two major are...
AbstractA logic program consists of a set of Horn clauses, and can be used to express a query on rel...
DOI
Add to ORKG