Show simple item record

dc.contributor.advisor Van Gucht, Dirk en_US Niepert, Mathias en_US 2010-06-16T15:11:43Z 2011-05-14T12:10:12Z 2010-06-16T15:11:43Z 2009 en_US
dc.description Thesis (Ph.D.) - Indiana University, Computer Sciences, 2009 en_US
dc.description.abstract Constraints on different manifestations of data are a central concept in numerous areas of computer science. Examples include mathematical logic, database systems (functional and multivalued dependencies), data mining (association rules), and reasoning under uncertainty (conditional independence statements). One is often interested in a process that derives all or most of the constraints that are entailed by a set of known ones, without the expense and error-proneness of repeatedly analyzing the data. This is what is generally known as the implication problem for data constraints. We present a theoretical framework for disjunctive data constraints and the associated implication problems based on the observation that many instances can be reduced to an implication problem for additive constraints on specific classes of real-valued functions. Furthermore, we provide inference systems and testable properties of classes of real-valued functions which imply the soundness and completeness of these systems. We also derive properties of classes of functions that imply the non-existence of finite, complete axiomatizations. The theoretical framework is applied to derive novel results in the areas of uncertain reasoning and graphical models. en_US
dc.language.iso EN en_US
dc.publisher [Bloomington, Ind.] : Indiana University en_US
dc.subject conditional independence en_US
dc.subject constraints en_US
dc.subject disjunctive statements en_US
dc.subject lattice en_US
dc.subject real-valued functions en_US
dc.subject reasoning under uncertainty en_US
dc.subject.classification Computer Science en_US
dc.title A Unifying Framework for Disjunctive Data Constraints with Applications to Reasoning under Uncertainty en_US
dc.type Doctoral Dissertation en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search IUScholarWorks

Advanced Search


My Account