×

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
First Claim
Patent Images

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.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×