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
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
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
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)
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
Proceedings of the 10th international conference on World Wide Web
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Object/relational query optimization with chase and backchase
Object/relational query optimization with chase and backchase
A unified constraint model for XML
Proceedings of the 10th international conference on World Wide Web
Proceedings of the 10th international conference on World Wide Web
A Web Odyssey: from Codd to XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Requirements for XML document database systems
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Proceedings of the 4th ACM international workshop on Data warehousing and OLAP
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
Interactive Query Formulation in Semistructured Databases
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Maintaining Consistency of Integrated XML Trees
WAIM '02 Proceedings of the Third International Conference on Advances in Web-Age Information Management
TEMPPLET: A New Method for Domain-Specific Ontology Design
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Keys with Upward Wildcards for XML
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
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
Journal of Computer and System Sciences - Special issue on PODS 2000
Interaction between path and type constraints
ACM Transactions on Computational Logic (TOCL)
Canonical Forms of XML Schemas
Programming and Computing Software
RDF metadata for XML access control
Proceedings of the 2003 ACM workshop on XML security
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
Multi-valued dependencies in the presence of lists
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the consistency of XML DTDs
Data & Knowledge Engineering - Special issue: XML schema and data management
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
Redundancy, dependencies and normal forms for XML databases
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
A function-based access control model for XML databases
Proceedings of the 14th ACM international conference on Information and knowledge management
Efficient schema-based XML-to-Relational data mapping
Information Systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Dependency-preserving normalization of relational and XML data
Journal of Computer and System Sciences
DTD-directed publishing with attribute translation grammars
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
Discrete Applied Mathematics
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
The Implication Problem of Functional Dependencies in Complex-value Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Relational to XML schema conversion with constraints
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
Checking multivalued dependencies in XML
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
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
Meta modeling approach for XML based data integration
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
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
Summarizing XML data by means of association rules
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
XML access control with policy matching tree
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Hi-index | 0.00 |
The paper 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.