Type of Document Dissertation Author Viswanath, Navin Author's Email Address navin@cs.gsu.edu URN etd-07072009-154950 Title Inconsistency and Incompleteness in Relational Databases and Logic Programs Degree Ph.D. Department Computer Science Advisory Committee
Advisor Name Title Rajshekhar Sunderraman Committee Chair Anu Bourgeois Committee Member Yanqing Zhang Committee Member Yichuan Zhao Committee Member Keywords
- Nonmonotonic reasoning
- Negation
- Logic programming
- Inconsistency
- Incompleteness
Date of Defense 2009-07-01 Availability unrestricted Abstract The aim of this thesis is to study the role played by negation in databases and to develop data models that can handle inconsistent and incomplete information. We develop models that also allow incompleteness through disjunctive information under both the CWA and the OWA in relational databases. In the area of logic programming, extended logic programs allow explicit representation of negative information. As a result, a number of extended logic programs have an inconsistent semantics. We present a translation of extended logic programs to normal logic programs that is more tolerant to inconsistencies. Extended logic programs have also been used widely in order to compute the repairs of an inconsistent database. We present some preliminary ideas on how source information can be incorporated into the repair program in order to produce a subset of the set of all repairs based on a preference for certain sources over others.Files
Filename Size Approximate Download Time (Hours:Minutes:Seconds)
28.8 Modem 56K Modem ISDN (64 Kb) ISDN (128 Kb) Higher-speed Access Viswanath_Navin_200908_phd.pdf 506.60 Kb 00:02:20 00:01:12 00:01:03 00:00:31 00:00:02