Reasoning about Keys for XML

Authors:
Peter Buneman;Susan B. Davidson;Wenfei Fan;Carmem S. Hara;Wang Chiew Tan
Affiliations:
-;-;-;-;-
Venue:
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Year:
2001

Citing 20
Cited 37

Implication problems for functional constraints on databases supporting complex objects

Journal of Computer and System Sciences
Regular languages

Handbook of formal languages, vol. 1
Path constraints on semistructured and structured data

PODS '98 Proceedings of the seventeenth 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
Regular path queries with constraints

Journal of Computer and System Sciences
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
Keys for XML

Proceedings of the 10th international conference on World Wide Web
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
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
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Database Management Systems

Database Management Systems
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
Index Structures for Path Expressions

ICDT '99 Proceedings of the 7th International Conference on Database Theory
On the equivalence, containment, and covering problems for the regular and context-free languages

Journal of Computer and System Sciences
XML Path Language (XPath) 2.0 Standard

XML Path Language (XPath) 2.0 Standard

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)
Discovering approximate keys in XML data

Proceedings of the eleventh international conference on Information and knowledge management
A Model Theory for Generic Schema Management

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
Deriving relation keys from XML keys

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Integrity constraints for XML

Journal of Computer and System Sciences - Special issue on PODS 2000
Local XML functional dependencies

WIDM '03 Proceedings of the 5th ACM international workshop on Web information and data management
Reasoning about keys for XML

Information Systems
A normal form for XML documents

ACM Transactions on Database Systems (TODS)
TQL: a query language for semistructured data based on the ambient logic

Mathematical Structures in Computer Science
Databases, but not as we know them

ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Strong functional dependencies and their application to normal forms in XML

ACM Transactions on Database Systems (TODS)
Validating key constraints over XML document using XPath and structure checking

Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Removing XML data redundancies using functional and equality-generating dependencies

ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Consistent data for inconsistent XML document

Information and Software Technology
RRXS: redundancy reducing XML storage in relations

VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases

Discrete Applied Mathematics
HCH for checking containment of XPath fragment

Journal of Computer Science and Technology
On the Notion of an XML Key

Semantics in Data and Knowledge Bases
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)
Validating key constraints over XML document using XPath and structure checking

Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML

Proceedings of the 2010 EDBT/ICDT Workshops
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
Functional dependencies for XML

APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Consistent query answers from virtually integrated XML data

Journal of Systems and Software
Types and constraints: from relational to XML data

SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Unlocking keys for XML trees

ICDT'07 Proceedings of the 11th international conference on Database Theory
Functional dependencies in XML documents

APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Repairing inconsistent XML documents

KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Towards an XML representation of proper names and their relationships

NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Summarizing XML data by means of association rules

EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Verification theories for XML schema

BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
Repairing XML functional dependency violations

Information Sciences: an International Journal

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, these keys can be reasoned about efficiently. We show that the (finite) satisfiability problem for these keys is trivial, and their (finite) implication problem is finitely axiomatizable and decidable in PTIME in the size of keys.