Traitement Logique de l'Integrete et de l'Organisation Semantique des Connaissances dans les Systemes de Gestion de Bases de Donnees (Logical Treatment of Knowledge Semantic Integrity and Organization in Data Base Management Syste

摘要

Data semantic integrity in data base management systems was studied. The organization of knowledge such as general laws of an environmental reality is analyzed using a method which allows their coherent definition. The proposed ideas are formalized using first order predicate calculus. Prolog language is used to implement these ideas. It is shown that this logics approach is applicable to obtain a uniform treatment of data semantic integrity, operation on open or closed data universes, and the treatment of implicit data.