Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Implication problems for functional constraints on databases supporting complex objects
Journal of Computer and System Sciences
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
Your mediators need data conversion!
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
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
Regular path queries with constraints
Journal of Computer and System Sciences
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
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
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Physical Data Independence, Constraints, and Optimization with Universal Plans
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Object/relational query optimization with chase and backchase
Object/relational query optimization with chase and backchase
Strong functional dependencies and their application to normal forms in XML
ACM Transactions on Database Systems (TODS)
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
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
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
Semantic validation for XML updates
Proceedings of the 2nd international conference on Ubiquitous information management and communication
Incorporating constraints in probabilistic XML
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
Temporal XML: modeling, indexing, and query processing
The VLDB Journal — The International Journal on Very Large Data Bases
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
Discovering XML keys and foreign keys in queries
Proceedings of the 2009 ACM symposium on Applied Computing
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
Incorporating constraints in probabilistic XML
ACM Transactions on Database Systems (TODS)
Inclusion Dependencies in XML: Extending Relational Semantics
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Numerical constraints on XML data
Information and Computation
Verification technology for object-oriented/XML transactions
ICOODB'09 Proceedings of the Second international conference on Object databases
Types and constraints: from relational to XML data
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
ICDT'07 Proceedings of the 11th international conference on Database Theory
Querying and repairing inconsistent XML data
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Checking functional dependency satisfaction in XML
XSym'05 Proceedings of the Third international conference on Database and XML Technologies
Verification theories for XML schema
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
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
A faceted taxonomy of semantic integrity constraints for the XML data model
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
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
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
| Hi-index | 0.00 |
Integrity constraints have proved fundamentally important in database management. The ID/IDREF mechanism provided by XML DTDs relies on a simple form of constraints to describe references. Yet, this mechanism is sufficient neither for specifying references in XML documents, nor for expressing semantic constraints commonly found in databases. In this paper, we extend XML DTDs with several classes of integrity constraints and investigate the complexity of reasoning about these constraints. The constraints range over keys, foreign keys, inverse constraints as well as ID constraints for capturing the semantics of object identities. They improve semantic specifications and provide a better reference mechanism for native XML applications. They are also useful in information exchange and data integration for preserving the semantics of data originating in relational and object-oriented databases. We establish complexity and axiomatization results for the (finite) implication problems associated with these constraints. In addition, we study implication of more general constraints, such as functional, inclusion and inverse constraints defined in terms of navigation paths.