Efficient integrity checking over XML documents

Authors:
Daniele Braga;Alessandro Campi;Davide Martinenghi
Affiliations:
Dip. di Elettronica e Informazione, Politecnico di Milano, Milano, Italy;Dip. di Elettronica e Informazione, Politecnico di Milano, Milano, Italy;Faculty of Computer Science, Free University of Bozen/Bolzano, Bolzano, Italy
Venue:
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Year:
2006

Citing 16
Cited 0

Constraints and redundancy in datalog

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Storing semistructured data with STORED

SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Materialized views: techniques, implementations, and applications

Materialized views: techniques, implementations, and applications
Incremental maintenance of recursive views using relational calculus/SQL

ACM SIGMOD Record
Updating XML

SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Validating streaming XML documents

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XKvalidator: a constraint validator for XML

Proceedings of the eleventh international conference on Information and knowledge management
Relational Databases for Querying XML Documents: Limitations and Opportunities

VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Query Decomposition and View Maintenance for Query Languages for Unstructured Data

VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating

ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
XPath Containment in the Presence of Disjunction, DTDs, and Variables

ICDT '03 Proceedings of the 9th International Conference on Database Theory
XPath query containment

ACM SIGMOD Record
XPath-logic and XPathLog: A logic-programming style XML data manipulation language

Theory and Practice of Logic Programming
Incremental validation of XML documents

ACM Transactions on Database Systems (TODS)
Incremental maintenance of path-expression views

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
On Simplification of Database Integrity Constraints

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. This problem is addressed here by adapting to the XML data model some constraint verification techniques known in the context of deductive databases. Our approach allows the declarative specification of constraints as well as their optimization w.r.t. given update patterns. Such optimized constraints are automatically translated into equivalent XQuery expressions in order to avoid illegal updates. This automatic process guarantees an efficient integrity checking that combines the advantages of declarativity with incrementality and early detection of inconsistencies.