Show simple item record

dc.contributor.advisor Van Gucht, Dirk en Niepert, Mathias en 2010-06-16T15:11:43Z 2011-05-14T12:10:12Z 2010-06-16T15:11:43Z 2009 en
dc.description Thesis (Ph.D.) - Indiana University, Computer Sciences, 2009 en
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
dc.language.iso EN en
dc.publisher [Bloomington, Ind.] : Indiana University en
dc.subject conditional independence en
dc.subject constraints en
dc.subject disjunctive statements en
dc.subject lattice en
dc.subject real-valued functions en
dc.subject reasoning under uncertainty en
dc.subject.classification Computer Science en
dc.title A Unifying Framework for Disjunctive Data Constraints with Applications to Reasoning under Uncertainty en
dc.type Doctoral Dissertation en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search IUScholarWorks

Advanced Search


My Account