Reasoning about keys for XML

Authors:
Peter Buneman;Susan Davidson;Wenfei Fan;Carmem Hara;Wang-Chiew Tan
Affiliations:
School of Informatics, University of Edinburgh, Edinburgh EH9 3JZ, Scotland, UK;Department of Computer and Information Science, University of Pennsylvania, 3330 Walnut Street, Philadelphia, PA;Bell Laboratories, 600 Mountain Ave., Murray Hill, NJ;Departamento de Informatica, Universidade Federal do Parana, Centro Politecnico, Curitiba, PR 81531-990, Brazil;Department of Computer Science, University of California, Santa Cruz, 1156 High Street, Santa Cruz, CA
Venue:
Information Systems
Year:
2003

Citing 22
Cited 47

A new normal form for nested relations

ACM Transactions on Database Systems (TODS)
Implication problems for functional constraints on databases supporting complex objects

Journal of Computer and System Sciences
Regular path queries with constraints

PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Interaction between path and type constraints

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reasoning about nested functional dependencies

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data on the Web: from relations to semistructured data and XML

Data on the Web: from relations to semistructured data and XML
Integrity constraints for XML

PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Path constraints in semistructured databases

Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Constraints for semistructured data and XML

ACM SIGMOD Record
A Web Odyssey: from Codd to XML

PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Containment and equivalence for an XPath fragment

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
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Database Management Systems

Database Management Systems
On XML integrity constraints in the presence of DTDs

Journal of the ACM (JACM)
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Reasoning About Equations and Functional Dependencies on Complex Objects

IEEE Transactions on Knowledge and Data Engineering
Structural Properties of XPath Fragments

ICDT '03 Proceedings of the 9th International Conference on Database Theory
Reasoning about Keys for XML

DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
What's Hard about XML Schema Constraints?

DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
XPath Containment in the Presence of Disjunction, DTDs, and Variables

ICDT '03 Proceedings of the 9th International Conference on Database Theory

Local XML functional dependencies

WIDM '03 Proceedings of the 5th ACM international workshop on Web information and data management
Strong functional dependencies and their application to normal forms in XML

ACM Transactions on Database Systems (TODS)
Functional and multivalued dependencies in nested databases generated by record and list constructor

Annals of Mathematics and Artificial Intelligence
Two-variable logic on data trees and XML reasoning

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Dependency-preserving normalization of relational and XML data

Journal of Computer and System Sciences
Reasoning about XML update constraints

Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Erratum: Erratum to “Propagating XML constraints to relations” [J. Comput. System Sci. 73 (2007) 316--361]

Journal of Computer and System Sciences
Constraints-preserving GML storage in object-relational databases

Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems
XML data integration in SixP2P: a theoretical framework

DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
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
Reconciling Inconsistent Data in Probabilistic XML Data Integration

BNCOD '08 Proceedings of the 25th British national conference on Databases: Sharing Data, Information and Knowledge
On the Notion of an XML Key

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
Two-variable logic on data trees and XML reasoning

Journal of the ACM (JACM)
Efficient reasoning about a robust XML key fragment

ACM Transactions on Database Systems (TODS)
Reasoning about XML update constraints

Journal of Computer and System Sciences
On Inferences ofWeak Multivalued Dependencies

Fundamenta Informaticae
Keys in XML: Capturing Identification and Uniqueness

WISE '09 Proceedings of the 10th International Conference on Web Information Systems 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
Reasoning about XML schema mappings in the presence of key constraints and value dependencies

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Numerical constraints for XML

WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
XML data fusion

DaWaK'10 Proceedings of the 12th international conference on Data warehousing and knowledge discovery
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
Unlocking keys for XML trees

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
When conceptual model meets grammar: A dual approach to XML data modeling

Data & Knowledge Engineering
Automata and logics for words and trees over an infinite alphabet

CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Querying and repairing inconsistent XML data

WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Design by example for SQL table definitions with functional dependencies

The VLDB Journal — The International Journal on Very Large Data Bases
Consistency of XML specifications

Inconsistency Tolerance
Checking functional dependency satisfaction in XML

XSym'05 Proceedings of the Third international conference on Database and XML Technologies
Management of executable schema mappings for XML data exchange

EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
The implication problem for 'closest node' functional dependencies in complete XML documents

Journal of Computer and System Sciences
Some remarks on relational database schemes having few minimal keys

Conceptual Modelling and Its Theoretical Foundations
On Inferences ofWeak Multivalued Dependencies

Fundamenta Informaticae
Bounded depth data trees

ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
A grammarware for the incremental validation of integrity constraints on XML documents under multiple updates

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
Discovering XSD keys from XML data

Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study absolute and relative keys for XML, and investigate their associated decision problems. We argue that these keys are important to many forms of hierarchically structured data including XML documents. In contrast to other proposals of keys for XML, we show that these keys are always (finitely) satisfiable, and their (finite) implication problem is finitely axiomatizable. Furthermore, we provide a polynomial time algorithm for determining (finite) implication in the size of keys. Our results also demonstrate, among other things, that the analysis of XML keys is far more intricate than its relational counterpart.