Search academic texts

Information × Registration Number 0299U000616, 0196U015894 , R & D reports Title Development theoretical foundations of database models with nonfirst normal form relations popup.stage_title Head Reznichenko V.A., Registration Date 30-03-2001 Organization Institute of Software Systems popup.description2 Objects of investigations are intellectual information systems and data bases. Purposes of investigations are determine of subject of intellectual information systems and data bases, development of theoretical foundations of the systems which are based on knowledge, development proposals for future developments in this area. Axiomatic methods of mathematical logic, predicate calculus, axiomatic theory of sets, modal logic, logic of fuzzy sets and database theory was use in the investigations. Results of the investigations are the following: Set of the basic notions was determined and the subject of intellectual information systems have been formulated. Formal logical approach to description of application areas was described. Problems of representation of incomplete and fuzzy knowledge was investigated Product Description popup.authors popup.nrat_date 2020-04-02 Close