The purpose of this paper is to study the basic theoretic structure of intelligent data base by means of logic. There are three parts of this paper. The first part introduces the concept and relational algebra in relational data base. The second part focuses on the relationship between logic and the structure of intelligent data base and compares the intelligent database application. The last part, a SQL (Structure Query Language) queries simulation program using logic programming language Prolog, demonstrates how logic applies to query languages.Department of Computer ScienceThesis (M.S.
AbstractThis paper provides a theoritical basis for deductive database systems. A deductive database...
The reformulation of data management type databases in a formal, logical calculus is described. Adva...
Much has happened in data and knowledge base research since the introduction of the relational mode...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
The purpose of this study is to explore that mathematics provides a convenient formalism for studyin...
Database Logic was proposed in the late 1970's as a generalization of first-order logic in order to ...
The logic programming language Prolog has been shown to be a very suitable language for implementing...
This article is a presentation of the objectives and techniques of deductive databases. The deducti...
International audienceThis chapter presents some noteworthy works which show the links between Datab...
Logic offers a uniform environment both for data description and program execution and provides a po...
Ph.D.Computer scienceUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deep...
Deductive databases intellectualize relational databases by providing complex inference ability. The...
Logic has traditionally provided a firm conceptual framework for representing knowledge. As it can f...
The chapter explains the relevance of these matters in approaching the design of information systems...
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database progra...
AbstractThis paper provides a theoritical basis for deductive database systems. A deductive database...
The reformulation of data management type databases in a formal, logical calculus is described. Adva...
Much has happened in data and knowledge base research since the introduction of the relational mode...
Abstract. Logic and databases have gone a long way together since the advent of relational databases...
The purpose of this study is to explore that mathematics provides a convenient formalism for studyin...
Database Logic was proposed in the late 1970's as a generalization of first-order logic in order to ...
The logic programming language Prolog has been shown to be a very suitable language for implementing...
This article is a presentation of the objectives and techniques of deductive databases. The deducti...
International audienceThis chapter presents some noteworthy works which show the links between Datab...
Logic offers a uniform environment both for data description and program execution and provides a po...
Ph.D.Computer scienceUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deep...
Deductive databases intellectualize relational databases by providing complex inference ability. The...
Logic has traditionally provided a firm conceptual framework for representing knowledge. As it can f...
The chapter explains the relevance of these matters in approaching the design of information systems...
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database progra...
AbstractThis paper provides a theoritical basis for deductive database systems. A deductive database...
The reformulation of data management type databases in a formal, logical calculus is described. Adva...
Much has happened in data and knowledge base research since the introduction of the relational mode...