<?xml version="1.0" encoding="iso-8859-1"?>
<?xml-stylesheet href="../make-menu.xsl" type="text/xsl"?><html>
   <head>
      <this-is section="conditions" page="algorithms" subpage=""/>
      <!--
           Generated at 2010-10-29T18:20:48.427+01:00--><title>Saxonica: XSLT and XQuery Processing: Published Algorithms and Specifications</title>
      <meta name="coverage" content="Worldwide"/>
      <meta name="copyright" content="Copyright Saxonica Ltd"/>
      <meta name="title"
            content="Saxonica: XSLT and XQuery Processing: Published Algorithms and Specifications"/>
      <meta name="robots" content="noindex,nofollow"/>
      <link rel="stylesheet" href="../saxondocs.css" type="text/css"/>
   </head>
   <body class="main">
      <h1>Published Algorithms and Specifications</h1>
      <p>The table below lists published specifications and algorithms that formed a significant intellectual input 
into the development of the product.</p>
      <table border="1">
         <tr>
            <td content="para">
               <p>
               <b>Title of Publication</b>
            </p>
            </td>
            <td content="para">
               <p>
               <b>Usage</b>
            </p>
            </td>
         </tr>
         <tr>
            <td content="para">
               <p>Java 2 SE 6 interface specifications</p>
            </td>
            <td content="para">
               <p>	Saxon implements many
 interfaces defined in the Java 2 SE specifications, notably the JAXP
  interfaces </p>
            </td>
         </tr>
         <tr>
            <td content="para">
               <p>W3C specifications for XML 1.0, XSLT 2.0, XPath 2.0, 
XQuery 1.0 and associated documents	
</p>
            </td>
            <td content="para">
               <p>
Define the language standards that Saxon implements</p>
            </td>
         </tr>
         <tr>
            <td content="para">
               <p>Using Finite-State Automata to Implement W3C XML Schema
 Content Model Validation and Restriction Checking. 
 Henry Thompson and Richard Tobin. XML Europe 2003	
</p>
            </td>
            <td content="para">
               <p>
 
 The Saxon-EE schema processor implements this algorithm to validate 
 instance documents</p>
            </td>
         </tr>
         <tr>
            <td content="para">
               <p>How to Print Floating Point Numbers Accurately. 
Guy Steele and Jon White. ACM SIGPLAN 1990	
</p>
            </td>
            <td content="para">
               <p>
Saxon uses this algorithm to convert floating point numbers to strings
</p>
            </td>
         </tr>
         <tr>
            <td content="para">
               <p>Amélie Marian and Jérôme Siméon. Projecting XML Documents. 
VLDB'2003, Berlin, Germany, September 2003.	
</p>
            </td>
            <td content="para">
               <p>
Saxon-EE provides the option of performing document projection (to eliminate parts a a source document that a query cannot reach) using an algorithm similar to the one published in this paper
</p>
            </td>
         </tr>
         <tr>
            <td content="para">
               <p>XQJ (XQuery API for Java). Java Community Process JSR-225. 
The current Public Draft 0.9 Specification is 
Copyright (c) 2003, 2006, 2007 Oracle. 
</p>
            </td>
            <td content="para">
               <p>
The specification includes a license describing the terms under which an implementation of the specification may be made or distributed.	Saxon contains a provisional implementation of this specification, provided for users who wish to gain early exposure to this draft API. This is distributed under the terms of the license in the JSR document.
</p>
            </td>
         </tr>
         <tr>
            <td content="para">
               <p>Date calculation algorithms, taken from  http://vsg.cape.com/~pbaum/date/jdalg.htm,
http://vsg.cape.com/~pbaum/date/jdalg2.htm,
and http://www.hermetic.ch/cal_stud/jdn.htm#comp	
</p>
            </td>
            <td content="para">
               <p>
Saxon implements these published algorithms for converting dates to 
Julian day numbers and vice versa
</p>
            </td>
         </tr>
      </table>
      <table width="100%">
         <tr>
            <td>
               <p align="right"/>
            </td>
         </tr>
      </table>
   </body>
</html>