Accession Number : ADA300824

Title :   Computation and Implementation of Non-Monotonic Deductive Databases.

Descriptive Note : Final rept. Jun 92-Jun 95,

Corporate Author : MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE

Personal Author(s) : Subrahmanian, V. S.

PDF Url : ADA300824

Report Date : 15 JUL 1995

Pagination or Media Count : 14

Abstract : This is the final report on a 3-year grant from the Army Research Office to the University of Maryland to conduct research in the area of 'Computation and Implementation of Non-Monotonic Deductive Databases.' The main goal of the research was to study methods of efficient, scalable reasoning about situations where only incomplete and/or uncertain information is available. Towards this end, we conducted research on databases that contain incomplete symbolic information-such databases are typically called 'nonmonotonic deductive databases.' We also studied systems that contain incomplete information, but where different probability measures are available specifying partial information about the missing information.

Descriptors :   *DATA BASES, *RESEARCH MANAGEMENT, MARYLAND, COMPUTATIONS, ARMY RESEARCH, TECHNOLOGY TRANSFER, INTEGER PROGRAMMING, EFFICIENCY, HYBRID SYSTEMS, MEASURE THEORY.

Subject Categories : Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE