On XML integrity constraints in the presence of DTDs

Authors:
Wenfei Fan;Leonid Libkin
Affiliations:
Bell Laboratories, Murray Hill, New Jersey;University of Toronto, Toronto, Ontario, Canada
Venue:
Journal of the ACM (JACM)
Year:
2002

Citing 24
Cited 71

Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Polynomial-time implication problems for unary inclusion dependencies

Journal of the ACM (JACM)
Understanding the new SQL: a complete guide

Understanding the new SQL: a complete guide
Making object-oriented schemas more expressive

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Implication problems for functional constraints on databases supporting complex objects

Journal of Computer and System Sciences
Extensible markup language

World Wide Web Journal - Special issue on XML: principles, tools, and techniques
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
XML-based information mediation with MIX

SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
On the complexity of integer programming

Journal of the ACM (JACM)
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
DTD inference for views of XML data

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
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
Introduction to Automata Theory, Languages and Computability

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

Computers and Intractability: A Guide to the Theory of NP-Completeness
On the Interaction Between ISA and Cardinality Constraints

Proceedings of the Tenth International Conference on Data Engineering
Verifying Integrity Constraints on Web Sites

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Reasoning about Keys for XML

DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Object/relational query optimization with chase and backchase

Object/relational query optimization with chase and backchase
Constraints-preserving transformation from XML document type deffinition to relational schema

ER'00 Proceedings of the 19th international conference on Conceptual modeling

Consistency management with repair actions

Proceedings of the 25th International Conference on Software Engineering
A Web odyssey: from codd to XML

ACM SIGMOD Record
XML access control using static analysis

Proceedings of the 10th ACM conference on Computer and communications security
Reasoning about keys for XML

Information Systems
Strong functional dependencies and their application to normal forms in XML

ACM Transactions on Database Systems (TODS)
On the consistency of XML DTDs

Data & Knowledge Engineering - Special issue: XML schema and data management
On reasoning about structural equality in XML: a description logic approach

Theoretical Computer Science - Database theory
Functional and multivalued dependencies in nested databases generated by record and list constructor

Annals of Mathematics and Artificial Intelligence
Incremental consistency checking for pervasive context

Proceedings of the 28th international conference on Software engineering
On the decidability and finite controllability of query processing in databases with incomplete information

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
Efficient discovery of XML data redundancies

VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Putting context into schema matching

VLDB '06 Proceedings of the 32nd international conference on Very large data bases
XML access control using static analysis

ACM Transactions on Information and System Security (TISSEC)
Propagating XML constraints to relations

Journal of Computer and System Sciences
Deciding implication for functional dependencies in complex-value databases

Theoretical Computer Science - Logic, language, information and computation
Reasoning about XML update constraints

Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Static analysis of XML processing with data values

ACM SIGMOD Record
Scalable automatic test data generation from modeling diagrams

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Information preserving XML schema embedding

ACM Transactions on Database Systems (TODS)
XPath satisfiability in the presence of DTDs

Journal of the ACM (JACM)
Semantic validation for XML updates

Proceedings of the 2nd international conference on Ubiquitous information management and communication
SPARQLing constraints for RDF

EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Incorporating constraints in probabilistic XML

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Dependencies revisited for improving data quality

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database 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
Relational Databases in RDF: Keys and Foreign Keys

Semantic Web, Ontologies and Databases
Complexity of Data Tree Patterns over XML Documents

MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
On the Notion of an XML Key

Semantics in Data and Knowledge Bases
Scalable satisfiability checking and test data generation from modeling diagrams

Automated Software Engineering
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
XML schema mappings

Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Running tree automata on probabilistic XML

Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Incorporating constraints in probabilistic XML

ACM Transactions on Database Systems (TODS)
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
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
Functional dependencies for XML

APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Semantic query optimization in the presence of types

Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Capturing missing tuples and missing values

Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML with incomplete information

Journal of the ACM (JACM)
Consistent query answers from virtually integrated XML data

Journal of Systems and Software
Integrity assurance for RESTful XML

ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
On the satisfiability of two-variable logic over data words

LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Efficient reasoning about data trees via integer linear programming

Proceedings of the 14th International Conference on Database Theory
On the finite controllability of conjunctive query answering in databases under open-world assumption

Journal of Computer and System Sciences
Constraints in RDF

SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
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
XML data integration with identification

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
Functional dependencies in XML documents

APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
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
The implication problem for 'closest node' functional dependencies in complete XML documents

Journal of Computer and System Sciences
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
Finding optimal probabilistic generators for XML collections

Proceedings of the 15th International Conference on Database Theory
Repairing XML functional dependency violations

Information Sciences: an International Journal
Efficient reasoning about data trees via integer linear programming

ACM Transactions on Database Systems (TODS)
An Automata Model for Trees with Ordered Data Values

LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Normalization theory for XML

XSym'07 Proceedings of the 5th international conference on Database and XML Technologies
Containment of pattern-based queries over data trees

Proceedings of the 16th International Conference on Database Theory
Discovering XSD keys from XML data

Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
XML normalization based on entity segments

Information Sciences: an International Journal
Semantic query optimization in the presence of types

Journal of Computer and System Sciences
Reasoning about pattern-based XML queries

RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Extending two-variable logic on data trees with order on data values and its automata

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The article investigates XML document specifications with DTDs and integrity constraints, such as keys and foreign keys. We study the consistency problem of checking whether a given specification is meaningful: that is, whether there exists an XML document that both conforms to the DTD and satisfies the constraints. We show that DTDs interact with constraints in a highly intricate way and as a result, the consistency problem in general is undecidable. When it comes to unary keys and foreign keys, the consistency problem is shown to be NP-complete. This is done by coding DTDs and integrity constraints with linear constraints on the integers. We consider the variations of the problem (by both restricting and enlarging the class of constraints), and identify a number of tractable cases, as well as a number of additional NP-complete ones. By incorporating negations of constraints, we establish complexity bounds on the implication problem, which is shown to be coNP-complete for unary keys and foreign keys.