|
Modify search criterions 5 matches
| Title |
An introduction to databases and to the foundations of the relational case |
| Author |
DEL VIGNA Claude |
| Keywords |
Databases, Logic, Relational model |
| Topics |
Computer Sciences, Databases, Logic |
| Abstract |
This paper is divided between two volumes of the review. The introduction presents some of the general principles of database (DB) systems. The rest of the text addresses certain mathematical and technical aspects of the relational DB systems. In the introduction, DB systems are described as programming tools and the notion of DB machine is introduced. The following chapters formally describe the steps to design a skeleton of a relational DB machine. The last chapter examines the expressive power of the tool previously described. Because of its elegant simplicity, the advances it made possible, and its wide diffusion, the relational case has a special place in the DB discipline. It is, in some ways, representative of the DB methods. This article presents only a limited part of the wide range of theoretical and practical knowlege covered by the relational case. |
| Number |
169, Spring 2005 |
| Language |
French | Read the article
| Title |
Mental schemes: how to represent and maintain a learned knowledge |
| Author |
PIERRE Denis |
| Keywords |
None |
| Topics |
Cognitive Sciences, Computer Sciences, Databases, Logic, Social Psychology |
| Abstract |
We are interested in learning from examples and problem solving in an evolutive universe represented by an incomplete knowledge base. We formalize a knowledge representation framework that could be built and criticized by human and/or artificial agents. This knowledge representation is called a semi-empirical theory because this kind of theory is not completely axiomatic. We formalize a system called a mental scheme modelling the knowledge increase during the learning process. We deal with the dynamic characteristic of the learning acquisition process through reasoning mechanisms, proof building and the definition of a knowledge core. |
| Number |
139, Fall 1997 |
| Language |
French | Read the article
Read the article
Read the article
Users rights :

The entire journal is licensed under a Creative Commons license
|