ABSTRACT
We introduce in this paper a class of constraints for describing howan XML document can evolve, namely XML update constraints. For these constraints, we study the implication problem, giving algorithms and complexity results for constraints of varying expressive power. Besides classical constraint implication, we also consider an instance-based approach. More precisely, we study implication with respect to a current tree instance, resulting from a series of unknown updates. The main motivation of our work is reasoning about data integrity under update restrictions in contexts where owners may lose control over their data, such as in publishing or exchange.
- S. Abiteboul, B. Cautis, A. Fiat, and T. Milo. Digital signatures for modifiable collections. In ARES, 2006. Google Scholar
Digital Library
- S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995. Google Scholar
Digital Library
- S. Abiteboul, L. Segoufin, and V. Vianu. Representing and querying XML with incomplete information. In PODS, 2001. Google Scholar
Digital Library
- S. Abiteboul and V. Vianu. Regular path queries with constraints. J. Comput. Syst. Sci., 58(3), 1999. Google Scholar
Digital Library
- M. Arenas. Design principles for XML data. PhD thesis, 2005. Google Scholar
Digital Library
- M. Arenas and L. Libkin. XML data exchange: consistency and query answering. In PODS, 2005. Google Scholar
Digital Library
- M. Arenas, W. Fan, and L. Libkin. Consistency of XML specifications. In Inconsistency Tolerance, 2005. Google Scholar
Digital Library
- M. Bellare, O. Goldreich, and S. Goldwasser. Incremental cryptography: The case of hashing and signing. Lecture Notes in Computer Science, 1994. Google Scholar
Digital Library
- M. Benedikt and C. Koch. XPath leashed. Technical report, 2006.Google Scholar
- M. Bojanczyk, C. David, A. Muscholl, T. Schwentick, and L. Segoufin. Two-variable logic on data trees and XML reasoning. In PODS, 2006. Google Scholar
Digital Library
- P. Buneman, S. Davidson, W. Fan, C. Hara, and W. C. Tan. Reasoning about keys for XML. Inf. Syst., 28(8), 2003. Google Scholar
Digital Library
- B. Cautis, S. Abiteboul, and T. Milo. Reasoning about XML update constraints. In BDA, 2006.Google Scholar
- C. Y. Chan, W. Fan, P. Felber, M. N. Garofalakis, and R. Rastogi. Tree pattern aggregation for scalable XML data dissemination. In VLDB, 2002. Google Scholar
Digital Library
- A. Deutsch and V. Tannen. XML queries and constraints, containment and reformulation. Theor. Comput. Sci., 336(1), 2005. Google Scholar
Digital Library
- P. Devanbu, M. Gertz, C. Martel, and S. Stubblebine. Authentic third-party data publication. In IFIP Workshop on Database Security, 2000. Google Scholar
Digital Library
- W. Fan. XML constraints: Specification, analysis, and applications. In DEXA Workshops, 2005.Google Scholar
- W. Fan and L. Libkin. On XML integrity constraints in the presence of DTDs. J. ACM, 2002. Google Scholar
Digital Library
- W. Fan and J. Siméon. Integrity constraints for XML. J. Comput. Syst. Sci., 66(1), 2003. Google Scholar
Digital Library
- G. Gottlob, C. Koch, R. Pichler, and L. Segoufin. The complexity of XPath query evaluation and xml typing. J. ACM, 52(2), 2005. Google Scholar
Digital Library
- T. J. Green, G. Miklau, M. Onizuka, and D. Suciu. Processing XML streams with deterministic automata. In ICDT, 2003. Google Scholar
Digital Library
- R. Johnson, D. Molnar, D. Song, and D. Wagner. Homomorphic signature schemes. In CT-RSA, 2002. Google Scholar
Digital Library
- G. Miklau and D. Suciu. Containment and equivalence for an XPath fragment. In Proc. of ACM PODS, 2002. Google Scholar
Digital Library
- G. Miklau and D. Suciu. Modeling integrity in data exchange. In SDM, 2004.Google Scholar
Cross Ref
- F. Neven and T. Schwentick. On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Logical Methods in Computer Science, 2 (3:1), 2006.Google Scholar
Cross Ref
- Y. Papakonstantinou and V. Vianu. DTD inference for views of XML data. In PODS, 2000. Google Scholar
Digital Library
- R. L. Rivest. Two signature schemes., 2000. Manuscript.Google Scholar
- T. Schwentick. XPath query containment. SIGMOD Record, 33 (1), 2004. Google Scholar
Digital Library
- I. Tatarinov, Z. G. Ives, A. Y. Halevy, and D. S. Weld. Updating XML. In SIGMOD, 2001. Google Scholar
Digital Library
- P. Wadler. A formal semantics of patterns in XSLT, 1999.Google Scholar
- Extensible Markup Language 1.0 (2nd Edition). http://www.w3.org/TR/REC-xml.Google Scholar
- The XML Schema specification. http://www.w3.org/TR/XML/Schema.Google Scholar
Index Terms
Reasoning about XML update constraints
Recommendations
Reasoning about XML update constraints
We introduce in this paper a class of constraints for describing how an XML document can evolve, namely XML update constraints. For these constraints, we study the implication problem, giving algorithms and complexity results for constraints of varying ...
On XML integrity constraints in the presence of DTDs
The article investigates XML document specifications with DTDs and integrity constraints, such as keys and foreign keys. We study the consistency problem of checking whether a given specification is meaningful: that is, whether there exists an XML ...
The implication problem for 'closest node' functional dependencies in complete XML documents
With the growing use of XML as a format for the permanent storage of data, the study of functional dependencies in XML (XFDs) is of fundamental importance in a number of areas such as understanding how to effectively design XML databases without ...






Comments