Add to ORKGThis 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.
AbstractA logic program consists of a set of Horn clauses, and can be used to express a query on rel...
Logic offers a uniform environment both for data description and program execution and provides a po...
AbstractThis paper surveys and compares different techniques investigated in order to integrate nega...
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database progra...
The purpose of this study is to explore that mathematics provides a convenient formalism for studyin...
A formal description of a database consists of the description of the relations (tables) of the data...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
Much has happened in data and knowledge base research since the introduction of the relational mode...
A comparison of relational databases, as known in Data Management, and logical databases, as used in...
The logic programming language Prolog has been shown to be a very suitable language for implementing...
The purpose of this paper is to study the basic theoretic structure of intelligent data base by mean...
The reformulation of data management type databases in a formal, logical calculus is described. Adva...
Existing rule-based nested relational database query languages do not provide built-in predicates fo...
This paper describes QL, a language for querying complex, potentially recursive data structures. QL ...
The aim of this thesis is to study the role played by negation in databases and to develop data mod...
AbstractA logic program consists of a set of Horn clauses, and can be used to express a query on rel...
Logic offers a uniform environment both for data description and program execution and provides a po...
AbstractThis paper surveys and compares different techniques investigated in order to integrate nega...
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database progra...
The purpose of this study is to explore that mathematics provides a convenient formalism for studyin...
A formal description of a database consists of the description of the relations (tables) of the data...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
Much has happened in data and knowledge base research since the introduction of the relational mode...
A comparison of relational databases, as known in Data Management, and logical databases, as used in...
The logic programming language Prolog has been shown to be a very suitable language for implementing...
The purpose of this paper is to study the basic theoretic structure of intelligent data base by mean...
The reformulation of data management type databases in a formal, logical calculus is described. Adva...
Existing rule-based nested relational database query languages do not provide built-in predicates fo...
This paper describes QL, a language for querying complex, potentially recursive data structures. QL ...
The aim of this thesis is to study the role played by negation in databases and to develop data mod...
AbstractA logic program consists of a set of Horn clauses, and can be used to express a query on rel...
Logic offers a uniform environment both for data description and program execution and provides a po...
AbstractThis paper surveys and compares different techniques investigated in order to integrate nega...