STATIC TYPING OF XQUERY EXPRESSIONS IN LAX VALIDATION CONTENT

• US 20100023486A1
• Filed: 07/25/2008
• Published: 01/28/2010
• Est. Priority Date: 07/25/2008
• Status: Active Grant

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Corporation
• Inventors: Baras, Adrian Sorin, Rys, Michael
• Granted Patent: US 8,606,806 B2
• Time in Patent Office: Days
• US Class Current: N/A
• CPC Class Codes: G06F 16/835 Query processing
• CPC Class Codes: G06F 40/143 Markup, e.g. Standard Generalized Markup Language [SGML] or Document Type Definition [DTD]

Abstract

Systems and methods that extend static typing rules/algorithms of the World Wide Web Consortium (W3C) rules, with a more precise static typing algorithm that supplies knowledge for types occurring in the Lax validation section. The Lax validation can be identified, and associated expressions known with particularity, wherein types can be inferred for XQuery expressions that navigate down into the Lax validation section. An annotation component annotates elements (e.g., wild card sections) with additional information about wild card sections, and a mapping component maps Lax wild cards to type systems.

Claims

1. A computer implemented method comprising the following computer executable acts:

mapping a Lax validation for a schema into a XQuery type system;

annotating wild card sections of the Lax validation with wild card constraints; and

inferring types associated with the Lax validation in a static typing context.

2. The computer implemented method of claim 1 further comprising extending static types of World Wide Web Consortium (W3C) rules to a more precise static type inference algorithm as compared thereto.

3. The computer implemented method of claim 1 further comprising annotating nodes for a path expression that navigates down into a section of the Lax validation.

4. The computer implemented method of claim 1 further comprising identifying the Lax validation to infer new static type information.

5. The computer implemented method of claim 4 further comprising supplying type information and type inference rules.

6. The computer implemented method of claim 5 further comprising ensuring absence of disallowed names when employing name space wild card constraint as filter.

7. The computer implemented method of claim 1 further comprising querying via path expressions into a Lax validation section.

8. The computer implemented method of claim 1 further comprising preserving knowledge of types to be encountered within a Lax validation section.

9. The computer implemented method of claim 1 further comprising mapping a Lax validation into Xpath type system.

10. The computer implemented method of claim 1 further comprising compiling expressions with knowledge for types involved.

11. The computer implemented method of claim 8 further comprising optimizing operations based on the preserving act.

12. The computer implemented method of claim 1 further comprising employing type xs:

anyType.

13. The computer implemented method of claim 1 further comprising capturing semantics implied by the Lax validation.

14. The computer implemented method of claim 1 further comprising constraining name spaces as a filter against statically known XML schema.

15. The computer implemented method of claim 1 resolving a name inside a Lax validation.

16. A computer implemented system comprising the following computer executable components:

a collection of XML schemas; and

an annotation component that annotates wild card sections to facilitate type inference for a static schema context of the collection of XML schema.

17. The computer implemented system of claim 16 further comprising a mapping component that maps Lax wild cards to type systems.

18. The computer implemented system of claim 16 further comprising an optimization component that optimizes operations based on knowledge preservation of types to be encountered within a Lax validation section.

19. The computer implemented system of claim 16, the wild card further comprising <

xsd;

any> and

<

xsd;

anyAttribute>

that support use of a processContents attribute with value “

lax”

.

20. A computer implemented system comprising the following computer executable components:

means for annotating wild card sections of an XML schema;

means for mapping Lax wild cards to type elements of static context associated with XML data.