Elements of information theory
Elements of information theory
A corrected 5NF definition for relational database design
Theoretical Computer Science - Special issue: theoretical computer science in Australia and New Zealand
Path constraints on semistructured and structured data
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraints for semistructured data and XML
ACM SIGMOD Record
A normal form for XML documents
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)
Normal forms and relational database operators
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Justification for Inclusion Dependency Normal Form
IEEE Transactions on Knowledge and Data Engineering
Redundancy Elimination and a New Normal Form for Relational Database Design
Selected Papers from a Workshop on Semantics in Databases
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
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
Journal of Computer and System Sciences - Special issue on PODS 2000
Information Systems
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
Generating Compact Redundancy-Free XML Documents from Conceptual-Model Hypergraphs
IEEE Transactions on Knowledge and Data Engineering
Efficient discovery of XML data redundancies
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Propagating XML constraints to relations
Journal of Computer and System Sciences
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
Extended abstract: towards verifying semistructured data
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Consistent data for inconsistent XML document
Information and Software Technology
A Normalization Framework for Multimedia Databases
IEEE Transactions on Knowledge and Data Engineering
The XML Tree Model - toward an XML conceptual schema reversed from XML Schema Definition
Data & Knowledge Engineering
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Know your limits: enhanced XML modeling with cardinality constraints
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Semantics in Data and Knowledge Bases
Expressive, yet tractable XML keys
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Consistent Answers from Integrated XML Data
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
On Inferences ofWeak Multivalued Dependencies
Fundamenta Informaticae
Boolean Constraints for XML Modeling
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Spoilt for Choice: Full First-Order Hierarchical Decompositions
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
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
Numerical constraints on XML data
Information and Computation
Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML
Proceedings of the 2010 EDBT/ICDT Workshops
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Efficient reasoning about XFDs with pre-image semantics
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
When data dependencies over SQL tables meet the logics of paradox and S-3
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Towards the preservation of functional dependency in XML data transformation
International Journal of Intelligent Information and Database Systems
Consistent query answers from virtually integrated XML data
Journal of Systems and Software
On the role of the complementation rule for data dependencies over incomplete relations
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Solving the implication problem for XML functional dependencies with properties
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Fast detection of functional dependencies in XML data
XSym'10 Proceedings of the 7th international XML database conference on Database and XML technologies
Functional dependencies for XML
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
Design non-recursive and redundant-free XML conceptual schema with hypergraph
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications
Improving XML data quality with functional dependencies
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
The boyce-codd-heath normal form for SQL
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Attribute grammar for XML integrity constraint validation
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
A comparative study of functional dependencies for XML
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Checking multivalued dependencies in XML
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
ICDT'07 Proceedings of the 11th international conference on Database Theory
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
Functional dependencies in XML documents
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Axiomatising functional dependencies for XML with frequencies
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Database design with equality-generating dependencies
DASFAA'05 Proceedings of the 10th international conference on Database Systems for Advanced Applications
Checking functional dependency satisfaction in XML
XSym'05 Proceedings of the Third international conference on Database and XML Technologies
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
The implication problem for 'closest node' functional dependencies in complete XML documents
Journal of Computer and System Sciences
Research into verifying semistructured data
ICDCIT'06 Proceedings of the Third international conference on Distributed Computing and Internet Technology
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
Conceptual Modelling and Its Theoretical Foundations
Foundations for a fourth normal form over SQL-Like databases
Conceptual Modelling and Its Theoretical Foundations
ACM Transactions on Database Systems (TODS)
Appropriate inferences of data dependencies in relational databases
Annals of Mathematics and Artificial Intelligence
Functional dependencies on extended relations defined by regular languages
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Repairing XML functional dependency violations
Information Sciences: an International Journal
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
On Inferences ofWeak Multivalued Dependencies
Fundamenta Informaticae
XSym'07 Proceedings of the 5th international conference on Database and XML Technologies
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
XML data exchange with target constraints
Information Processing and Management: an International Journal
Formal Framework of XML Document Schema Design
International Journal of Information Retrieval Research
XML Documents Normalization Using GN-DTD
International Journal of Information Retrieval Research
Discovering conditional functional dependencies in XML data
ADC '11 Proceedings of the Twenty-Second Australasian Database Conference - Volume 115
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
XML normalization based on entity segments
Information Sciences: an International Journal
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Letting keys and functional dependencies out of the bag
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Hi-index | 0.00 |
In this article, we address the problem of how to extend the definition of functional dependencies (FDs) in incomplete relations to XML documents (called XFDs) using the well-known strong satisfaction approach.We propose a syntactic definition of strong XFD satisfaction in an XML document and then justify it by showing that, similar to the case in relational databases, for the case of simple paths, keys in XML are a special case of XFDs. We also propose a normal form for XML documents based on our definition of XFDs and provide a formal justification for it by proving that it is a necessary and sufficient condition for the elimination of redundancy in an XML document.