Functional dependencies in relations with null values
Information Processing Letters
Incomplete Information in Relational Databases
Journal of the ACM (JACM)
A new normal form for nested relations
ACM Transactions on Database Systems (TODS)
Relative information capacity of simple relational database schemata
SIAM Journal on Computing
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
Using powerdomains to generalize relational databases
Theoretical Computer Science
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
A normal form for precisely characterizing redundancy in nested relations
ACM Transactions on Database Systems (TODS)
Bounded fixpoints for complex objects
Theoretical Computer Science
Object normal forms and dependency constraints for object-oriented schemata
ACM Transactions on Database Systems (TODS)
Axiomatisation of functional dependencies in incomplete relations
Theoretical Computer Science
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the 10th international conference on World Wide Web
On XML integrity constraints in the presence of DTDs
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Representing and querying XML with incomplete information
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Normal form algorithms for extended context-free grammars
Theoretical Computer Science
Problem of Incomplete Information in Relational Databases
Problem of Incomplete Information in Relational Databases
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
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
Developing XML Documents with Guaranteed ``Good'' Properties
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
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
ICDE '00 Proceedings of the 16th International Conference on Data Engineering
An information-theoretic approach to normal forms for relational and XML data
Journal of the ACM (JACM)
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
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
On a problem of Fagin concerning multivalued dependencies in relational databases
Theoretical Computer Science
On the logical implication of multivalued dependencies with null values
CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
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
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
ACM SIGMOD Record
XML design for relational storage
Proceedings of the 16th international conference on World Wide Web
Style normalization for canonical X-to-O mappings
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
The complexity of reasoning about pattern-based XML schemas
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On inferences of full hierarchical dependencies
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
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
Full hierarchical dependencies in fixed and undetermined universes
Annals of Mathematics and Artificial Intelligence
A Normalization Framework for Multimedia Databases
IEEE Transactions on Knowledge and Data Engineering
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Constraint acquisition you can chase but you cannot find
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
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
Expressive, yet tractable XML keys
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Discovering XML keys and foreign keys in queries
Proceedings of the 2009 ACM symposium on Applied Computing
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
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Semantic clustering of XML documents
ACM Transactions on Information Systems (TOIS)
An information-theoretic analysis of worst-case redundancy in database design
ACM Transactions on Database Systems (TODS)
The Implication Problem of Functional Dependencies in Complex-value Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Automatic generation of model translations
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
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
Appropriate reasoning about data dependencies in fixed and undetermined universes
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Using transversals for discovering XML functional dependencies
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
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
Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics
Information Processing Letters
Predicate-based indexing for desktop search
The VLDB Journal — The International Journal on Very Large Data Bases
XML schema and data summarization
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Consistent query answers from virtually integrated XML data
Journal of Systems and Software
Detecting XML functional dependencies through formal concept analysis
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
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
Theorem prover approach to semistructured data design
Formal Methods in System Design
Functional dependencies for XML
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
Using structural information in XML keyword search effectively
ACM Transactions on Database Systems (TODS)
Two-variable logic and key constraints on data words
Proceedings of the 14th International Conference on Database Theory
A model for complex tree integration tasks
ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
Improving XML data quality with functional dependencies
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
Data exchange between distributed spectral databases
Computers & Geosciences
The boyce-codd-heath normal form for SQL
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Journal of Computer and System Sciences
Collaborative clustering of XML documents
Journal of Computer and System Sciences
Types and constraints: from relational to XML data
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Attribute grammar for XML integrity constraint validation
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
Towards secure XML document with usage control
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
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
Using ontologies for XML data cleaning
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Repairing inconsistent XML documents
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Integrating unnormalised semi-structured data sources
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
LAX: an efficient approximate XML join based on clustered leaf nodes for XML data integration
BNCOD'05 Proceedings of the 22nd British National conference on Databases: enterprise, Skills and Innovation
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 multivalued dependencies in fixed and undetermined universes
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Summarizing XML data by means of association rules
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
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
ACM Transactions on Database Systems (TODS)
Application of the condition based maintenance checking system for aircrafts
Journal of Intelligent Manufacturing
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
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
On the logical implication of multivalued dependencies with null values
CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51
| Hi-index | 0.00 |
This article takes a first step towards the design and normalization theory for XML documents. We show that, like relational databases, XML documents may contain redundant information, and may be prone to update anomalies. Furthermore, such problems are caused by certain functional dependencies among paths in the document. Our goal is to find a way of converting an arbitrary DTD into a well-designed one, that avoids these problems. We first introduce the concept of a functional dependency for XML, and define its semantics via a relational representation of XML. We then define an XML normal form, XNF, that avoids update anomalies and redundancies. We study its properties, and show that XNF generalizes BCNF; we also discuss the relationship between XNF and normal forms for nested relations. Finally, we present a lossless algorithm for converting any DTD into one in XNF.