Relational database theory
A Guided Tour of Relational Databases and Beyond
A Guided Tour of Relational Databases and Beyond
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Designing Functional Dependencies for XML
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Relational Databases for Querying XML Documents: Limitations and Opportunities
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
On the Interaction between Transitive Closure and Functional Dependencies
MFDBS '89 Proceedings of the 2nd Symposium on Mathematical Fundamentals of Database Systems
An information-theoretic approach to normal forms for relational and XML data
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Information Systems
ACM Transactions on Database Systems (TODS)
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Strong functional dependencies and their application to normal forms in XML
ACM Transactions on Database Systems (TODS)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
XML Data Stores: Emerging Practices
IEEE Internet Computing
An information-theoretic approach to normal forms for relational and XML data
Journal of the ACM (JACM)
System RX: one part relational, one part XML
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Redundancy, dependencies and normal forms for XML databases
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Removing XML data redundancies using functional and equality-generating dependencies
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Theory of Relational Databases
Theory of Relational Databases
Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing)
Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing)
Data integration: the teenage years
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Efficient discovery of XML data redundancies
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
An Introduction to Xml And Web Technologies
An Introduction to Xml And Web Technologies
On utilizing variables for specifying FDs in data-centric XML documents
Data & Knowledge Engineering
ACM SIGMOD Record
Dependency-preserving normalization of relational and XML data
Journal of Computer and System Sciences
XML design for relational storage
Proceedings of the 16th international conference on World Wide Web
On the equivalence between FDs in XML and FDs in relations
Acta Informatica
RRXS: redundancy reducing XML storage in relations
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Xml publishing: bridging theory and practice
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Efficient reasoning about XFDs with pre-image semantics
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Using transversals for discovering XML functional dependencies
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
A comparative study of functional dependencies for XML
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Characterization of the interaction of XML functional dependencies with DTDs
ICDT'07 Proceedings of the 11th international conference on Database Theory
Dependency-preserving normalization of relational and XML data
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Axiomatising functional dependencies for XML with frequencies
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Checking functional dependency satisfaction in XML
XSym'05 Proceedings of the Third international conference on Database and XML Technologies
Filtering XFD toward interoperability
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Hi-index | 0.00 |
With the growing use of XML as a format for the permanent storage of data, the study of functional dependencies in XML (XFDs) is of fundamental importance in a number of areas such as understanding how to effectively design XML databases without redundancy or update problems, and data integration. In this article we investigate a particular type of XFD, called a weak 'closest node' XFD, that has been shown to extend the classical notion of a functional dependency in relational databases. More specifically, we investigate the implication problem for weak 'closest node' XFDs in the context of XML documents with no missing information. The implication problem is the most important one in dependency theory, and is the problem of determining if a set of dependencies logically implies another dependency. Our first, and main, contribution is to provide an axiom system for XFD implication. We prove that our axiom system is both sound and complete, and we then use this result to develop a sound and complete quadratic time closure algorithm for XFD implication. Our second contribution is to investigate the implication problem for XFDs in the presence of a Document Type Definition (DTD). We show that for a class of DTDs called structured DTDs, the implication problem for a set of XFDs and a structured DTD can be converted to the implication problem for a set of XFDs alone, and so is axiomatizable and efficiently solvable by the first contribution. We do this by augmenting the original set of XFDs with additional XFDs generated from the structure of the DTD.