Promoting the Semantic Capability of XML Keys
Keys for XML data trees can uniquely identify nodes based on the data values on some of their subnodes, either in the entire tree or relatively to some selected subtrees. Such keys have an impact on several XML applications. A challenge is to identify expressive classes of keys with good computational properties. In this paper, we propose such a new class of keys. In comparison to previous work, the new class of XML keys is defined using a more expressive navigational path language that allows the specification of single-label wildcards. This provides designers with an enhanced ability to capture properties of XML data that are significant for the application at hand. We establish a sound and complete set of inference rules that characterizes all keys that are implicit in the explicit specification of XML keys. Furthermore, we establish an efficient algorithm for deciding XML key implication.
KeywordsInference Rule Path Expression Contact Node Document Object Model Implication Problem
Unable to display preview. Download preview PDF.
- 1.Apparao, V., et al.: Document object model (DOM) level 1 specification, W3C recommendation (1998), http://www.w3.org/TR/REC-DOM-Level-1/
- 4.Clark, J., DeRose, S.: XML path language (XPath) version 1.0, W3C recommendation (1999), http://www.w3.org/TR/xpath
- 5.Fan, W.: XML constraints. In: DEXA Workshops, pp. 805–809. IEEE Computer Society, Los Alamitos (2005)Google Scholar
- 8.Hartmann, S., Link, S.: Efficient reasoning about a robust XML key fragment. ACM Trans. Database Syst. 34(2) (2009)Google Scholar
- 11.Thompson, H.S., Beech, D., Maloney, M., Mendelsohn, N.: XML Schema Part 1: Structures, 2nd edn., W3C Recomm (2004), http://www.w3.org/TR/xmlschema-1/