Authors: Bell, Siegfried
Title: The expanded implication problem of data dependencies
Language (ISO): en
Abstract: The implication problem is the problem of deciding whether a given set of dependencies implies or entails another dependency. Up to now, the entailment of excluded dependencies or independencies is only regarded on a metalogical level which is not suitable for an automatic inference process of these. But the inference of independencies are important for new topics in database research like semantic query optimization. In this paper, the expanded implication problem is discussed in order to decide implications of dependencies and independencies. The main result is an axiomatization of functional, inclusion and multivalued independencies and the corresponding inference relations. Also we discuss the use of independencies in knowledge discovery in databases and semantic query optimization.
URI: http://hdl.handle.net/2003/2588
http://dx.doi.org/10.17877/DE290R-5092
Issue Date: 1999-10-29
Publisher: Universität Dortmund
Appears in Collections:LS 08 Künstliche Intelligenz

Files in This Item:
File Description SizeFormat 
report16_ps.pdfDNB331.57 kBAdobe PDFView/Open
report16_ps.ps787.65 kBPostscriptView/Open


This item is protected by original copyright



All resources in the repository are protected by copyright.