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
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
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
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Physical Data Independence, Constraints, and Optimization with Universal Plans
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
A unified constraint model for XML
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
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
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
A normal form for XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient algorithms for minimizing tree pattern queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Understanding the global semantics of referential actions using logic rules
ACM Transactions on Database Systems (TODS)
NeT & CoT: translating relational schemas to XML schemas using semantic constraints
Proceedings of the eleventh international conference on Information and knowledge management
Discovering approximate keys in XML data
Proceedings of the eleventh international conference on Information and knowledge management
Designing Functional Dependencies for XML
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Interactive Query Formulation in Semistructured Databases
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
On Decidability and Complexity of Description Logics with Uniqueness Constraints
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Mapping Referential Integrity Constraints from Relational Databases to XML
WAIM '01 Proceedings of the Second International Conference on Advances in Web-Age Information Management
Maintaining Consistency of Integrated XML Trees
WAIM '02 Proceedings of the Third International Conference on Advances in Web-Age Information Management
Efficiently Mapping Integrity Constraints from Relational Database to XML Document
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
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
A Web odyssey: from codd to XML
ACM SIGMOD Record
Integrity issues in the Web: beyond distributed databases
Database integrity
Deriving relation keys from XML keys
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Canonical Forms of XML Schemas
Programming and Computing Software
Information Systems
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)
Constraint-based wrapper specification and verification for cooperative information systems
Information Systems - Special issue: Data quality in cooperative information systems
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
XQuery containment in presence of variable binding dependencies
WWW '05 Proceedings of the 14th international conference on World Wide Web
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
Watermill: an optimized fingerprinting system for highly constrained data
MM&Sec '05 Proceedings of the 7th workshop on Multimedia and security
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
ACM SIGMOD Record
Dependency-preserving normalization of relational and XML data
Journal of Computer and System Sciences
Testing XML constraint satisfiability
Electronic Notes in Theoretical Computer Science (ENTCS)
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Preserving Functional Dependency in XML Data Transformation
ADBIS '08 Proceedings of the 12th East European conference on Advances in Databases and Information Systems
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
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
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
Towards the preservation of functional dependency in XML data transformation
International Journal of Intelligent Information and Database Systems
Consistent query answers from virtually integrated XML data
Journal of Systems and Software
Journal of Computer and System Sciences
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Dependency-preserving normalization of relational and XML data
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part II
Consistency of XML specifications
Inconsistency Tolerance
QP-T: query pattern-based RDB-to-XML translation
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Towards evolving constraints in data transformation for XML data warehousing
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
XTrigger: XML database trigger
Computer Science - Research and Development
| Hi-index | 0.00 |
Integrity constraints are useful for semantic specification, query optimization and data integration. The ID/IDREF mechanism provided by XML DTDs relics on a simple form of constraint to describe references. Yet, this mechanism is not sufficient to express semantic constraints, such as keys or inverse relationships, or stronger, object-style references. In this paper, we investigate integrity constraints for XML, both for semantic purposes and to improve its current reference mechanism. We extend DTDs with several families of constraints, including key, foreign key, inverse constraints and constraints specifying the semantics of object identities. These constraints are useful both for native XML documents and to preserve the semantics of data originating in relational or object databases. Complexity and axiomatization results are established for the (finite) implication problems associated with these constraints. These results also extend relational dependency theory on the interaction between (primary) keys and foreign keys. In addition, we investigate implication of more general constraints, such as functional, inclusion and inverse constraints defined in terms of navigation paths.