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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balmin, A., Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. ACM Trans. Database Syst. 29(4), 710–751 (2004)
Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated Update Management for XML Integrity Constraints. In: Inf. Proc. of PLAN-X Workshop (2002)
Bohannon, P., Freire, J., Roy, P., Siméon, J.: From XML schema to relations: A cost-based approach to XML storage. In: ICDE, pp. 64–75 (2002)
Chen, Y., Davidson, S.B., Zheng, Y.: Xkvalidator: a constraint validator for XML. In: CIKM, pp. 446–452. ACM Press, New York (2002)
Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundamenta Informaticae 71(4), 371–417 (2006)
Deutsch, A., Fernandez, M., Suciu, D.: Storing semi-struct-ured data with STORED. In: SIGMOD, pp. 431–442 (1999)
Dong, G., Su, J.: Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record 29(1), 44–51 (2000)
eXist. Open source native xml database, http://exist.sourceforge.net
Fan, W., Kuper, G.M., Siméon, J.: A unified constraint model for XML. Computer Networks 39(5), 489–505 (2002)
Florescu, D., Kossman, D.: Storing and Querying XML Data using an RDMBS. IEEE Data Eng. Bull. 22(3), 27–34 (1999)
Gupta, A., Mumick, I.S. (eds.): Materialized views: techniques, implementations, and applications. MIT Press, Cambridge (1999)
Krishnamurthy, R., Kaushik, R., Naughton, J.: XML-SQL query translation literature: The state of the art and open problems. In: XSym, pp. 1–18 (2003)
Laux, A., Matin, L.: XUpdate working draft. Technical report (2000), http://www.xmldb.org/xupdate
Levy, A., Sagiv, Y.: Constraints and redundancy in datalog. In: PODS, New York, NY, USA, pp. 67–80 (1992)
Ley, M.: Digital Bibliography & Library Project, http://dblp.uni-trier.de/
Martinenghi, D.: Simplification of integrity constraints with aggregates and arithmetic built-ins. In: Flexible Query-Answering Systems, pp. 348–361 (2004)
Martinenghi, D.: A simplification procedure for integrity constraints (2004), http://www.ruc.dk/~dm/spic
May, W.: XPath-Logic and XPathLog: a logic-programming-style XML data manipulation language. TPLP 4(3), 239–287 (2004)
Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: ER Workshops, pp. 62–73 (1999)
Neven, F., Schwentick, T.: XPath containment in the Presence of Disjunction, DTDs, and Variables. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 312–326. Springer, Heidelberg (2002)
Nicolas, J.-M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)
Sawires, A., Tatemura, J., Po, O., Agrawal, D., Candan, K.S.: Incremental maintenance of path expression views. In: SIGMOD (2005)
Schwentick, T.: XPath query containment. SIGMOD Record 33(1), 101–109 (2004)
Segoufin, L., Vianu, V.: Validating Streaming XML Documents. In: PODS, pp. 53–64 (2002)
Shanmugasundaram, J., Tufte, K., Zhang, C., He, G., DeWitt, D., Naughton, J.: Relational Databases for Querying XML Documents: Limitations and Opportunities. In: VLDB, pp. 302–314 (1999)
Suciu, D.: Query Decomposition and View Maintenance for Query Languages for Unstructured Data. In: VLDB, pp. 227–238 (1996)
Tatarinov, I., Ives, Z.G., Halevy, A.Y., Weld, D.S.: Updating XML. In: SIGMOD (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Braga, D., Campi, A., Martinenghi, D. (2006). Efficient Integrity Checking over XML Documents. In: Grust, T., et al. Current Trends in Database Technology – EDBT 2006. EDBT 2006. Lecture Notes in Computer Science, vol 4254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11896548_19
Download citation
DOI: https://doi.org/10.1007/11896548_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46788-5
Online ISBN: 978-3-540-46790-8
eBook Packages: Computer ScienceComputer Science (R0)