Loading...
Please wait, while we are loading the content...
Similar Documents
The Implication Problem for Unary Functional Dependencies in Xml
| Content Provider | Semantic Scholar |
|---|---|
| Author | Advanced, Jixue Liu |
| Copyright Year | 2002 |
| Abstract | XML is of great importance in information storage and retrieval because of its recent emergence as a standard for data representation and interchange on the Internet. However XML provides little semantic content and as a result several papers have addressed the topic of how to improve the semantic expressiveness of XML. Among the most important of these approaches has been that of deening integrity constraints in XML. In a companion paper we deened strong functional dependencies in XML (called XFDs). We also presented a set of axioms for reasoning about the implication of XFDs and showed that the axiom system is sound for arbitrary XFDs. In this paper we prove that the axioms are also complete for unary XFDs (XFDs with a single path on the l.h.s.). The second contribution of the paper is to provide, and prove correct, an algorithm for the implication problem for unary XFDs that is linear in the number of dependencies. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cis.unisa.edu.au/~cismwv/papers/WEBDB.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
