Add to ORKGThe reformulation of data management type databases in a formal, logical calculus is described. Advantages of this logical form are to provide a framework for automatic inferencing on the database as well as a formal clarification of the databases semantics. Principle applications are to artificially intelligent managerial decision support systems
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database progra...
While the relational model for data storage is sufficient for the modelling and manipulation of a la...
Reiter’s variant of the Situation Calculus is tightly related to relational databases, when complete...
A comparison of relational databases, as known in Data Management, and logical databases, as used in...
The purpose of this study is to explore that mathematics provides a convenient formalism for studyin...
The use of databases for management decision support requires flexible inferencing mechanisms. The u...
Logic offers a uniform environment both for data description and program execution and provides a po...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
The development of database applications is usually carried out informally. The derivation of databa...
Principal "content" resources of a DSS are regarded as databases, organized according to data models...
The relational data model requires a theory of relations in which tuples are not only many-sorted, b...
A formal description of a database consists of the description of the relations (tables) of the data...
Much has happened in data and knowledge base research since the introduction of the relational mode...
The purpose of this paper is to study the basic theoretic structure of intelligent data base by mean...
Database Logic was proposed in the late 1970's as a generalization of first-order logic in order to ...
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database progra...
While the relational model for data storage is sufficient for the modelling and manipulation of a la...
Reiter’s variant of the Situation Calculus is tightly related to relational databases, when complete...
A comparison of relational databases, as known in Data Management, and logical databases, as used in...
The purpose of this study is to explore that mathematics provides a convenient formalism for studyin...
The use of databases for management decision support requires flexible inferencing mechanisms. The u...
Logic offers a uniform environment both for data description and program execution and provides a po...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
The development of database applications is usually carried out informally. The derivation of databa...
Principal "content" resources of a DSS are regarded as databases, organized according to data models...
The relational data model requires a theory of relations in which tuples are not only many-sorted, b...
A formal description of a database consists of the description of the relations (tables) of the data...
Much has happened in data and knowledge base research since the introduction of the relational mode...
The purpose of this paper is to study the basic theoretic structure of intelligent data base by mean...
Database Logic was proposed in the late 1970's as a generalization of first-order logic in order to ...
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database progra...
While the relational model for data storage is sufficient for the modelling and manipulation of a la...
Reiter’s variant of the Situation Calculus is tightly related to relational databases, when complete...