Functional dependencies for XML

Authors:
Millist W. Vincent;Jixue Liu
Affiliations:
School of Computer and Information Science, University of South Australia;School of Computer and Information Science, University of South Australia
Venue:
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Year:
2003

Citing 7
Cited 27

Axiomatisation of functional dependencies in incomplete relations

Theoretical Computer Science
Interaction between path and type constraints

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Integrity constraints for XML

PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A normal form for XML documents

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On verifying consistency of XML specifications

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On XML integrity constraints in the presence of DTDs

Journal of the ACM (JACM)
Reasoning about Keys for XML

DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages

Local XML functional dependencies

WIDM '03 Proceedings of the 5th ACM international workshop on Web information and data management
Redundancy, dependencies and normal forms for XML databases

ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Functional dependencies over XML documents with DTDs

Acta Cybernetica
Counter-free keys and functional dependencies in higher-order datamodels

Fundamenta Informaticae
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets

Theoretical Computer Science - Logic, language, information and computation
Deciding implication for functional dependencies in complex-value databases

Theoretical Computer Science - Logic, language, information and computation
Dependency-preserving normalization of relational and XML data

Journal of Computer and System Sciences
X2R: a system for managing XML documents and key constraints using RDBMS

ACM-SE 45 Proceedings of the 45th annual southeast regional conference
XML design for relational storage

Proceedings of the 16th international conference on World Wide Web
RRXS: redundancy reducing XML storage in relations

VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
The XML Tree Model - toward an XML conceptual schema reversed from XML Schema Definition

Data & Knowledge Engineering
Preserving Functional Dependency in XML Data Transformation

ADBIS '08 Proceedings of the 12th East European conference on Advances in Databases and Information Systems
Checking Satisfactions of XML Referential Integrity Constraints

AMT '09 Proceedings of the 5th International Conference on Active Media Technology
On the Performances of Checking XML Key and Functional Dependency Satisfactions

OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Translating relational schema into XML schema definition with data semantic preservation and XSD graph

Information and Software Technology
Multivalued dependencies and a 4NF for XML

CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Multivalued dependencies in XML

BNCOD'03 Proceedings of the 20th British national conference on Databases
Towards the preservation of functional dependency in XML data transformation

International Journal of Intelligent Information and Database Systems
Distributed XML design

Journal of Computer and System Sciences
Constraints in RDF

SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Checking multivalued dependencies in XML

APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Dependency-preserving normalization of relational and XML data

DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Querying and repairing inconsistent XML data

WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
The nested list normal form for functional and multivalued dependencies

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Axiomatising functional dependencies for XML with frequencies

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
On the existence of armstrong data trees for XML functional dependencies

FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we address the problem of how to extend the definition of functional dependencies (FDs) in incomplete relations to XML documents. An incomplete relation is said to strongly satisfy a FD if every completion of the relation, obtained by replacing all null values by data values, satisfies the FD in the ordinary sense. We propose a syntactic definition of strong FD satisfaction in a XML document (called a XFD) and then justify it by proving that for a very general class of mappings of a relation into a XML document, a relation strongly satisfies a unary FD if and only if the XML document also strongly satisfies the equivalent XFD.