Proceedings of the 10th international conference on World Wide Web
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Relational Databases for Querying XML Documents: Limitations and Opportunities
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Indexing and Querying XML Data for Regular Path Expressions
Proceedings of the 27th International Conference on Very Large Data Bases
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
Efficient discovery of XML data redundancies
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Semantics in Data and Knowledge Bases
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
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
Attribute grammar for XML integrity constraint validation
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part I
Checking functional dependency satisfaction in XML
XSym'05 Proceedings of the Third international conference on Database and XML Technologies
Efficient integrity checking over XML documents
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
| Hi-index | 0.00 |
The role of XML in data exchange is evolving from one of merely conveying the structure of data to one that also conveys its semantics. In particular, several proposals for key and foreign key constraints have recently appeared, and aspects of these proposals have been adopted within XMLSchema.In this paper, we examine the problem of checking keys and foreign keys in XML documents using a validator based on SAX. The algorithm relies on an indexing technique based on the paths found in key definitions, and can be used for checking the correctness of an entire document (bulk checking) as well as for checking updates as they are made to the document (incremental checking). The asymptotic performance of the algorithm is linear in the size of the document or update. Furthermore, experimental results demonstrate reasonable performance.