Bea Systems, Inc.

Daniela D Florescu

Fabio Riccardi

Paul J Lucas

Donald Kossmann

Christopher James Hillery

Till Carsten Westmann

Till Casten Westmann

Systems and methods in accordance with the present invention provide for an implementation of the XQuery standard, and such an implementation will be referred to herein as an XQuery (XML Query language) implementation. An XQuery implementation can be based on a token stream representation, which allows large XML documents to be processed without having to first read the entire document. An XQuery implementation can also utilize a streaming XQuery engine. A set of algorithms and a set of rewrite rules can be used for the implementation. Given a query, a set of rules can be applied to that query to transform the query into another query. Some of these rules allow the resulting query to be streamable. In other words, a query that would otherwise require an XML document to be read into memory can now be transformed into a query that can work on an XML stream. The type system of the XQuery language can be based on XML Schema, and the basic types of XML Schema can have derived types. The XQuery programs can execute in a context comprising of variable bindings, namespaces, operators, default parameters, etc. This description is not intended to be a complete description of, or limit the scope of, the invention. Other features, aspects, and objects of the invention can be obtained from a review of the specification, the figures, and the claims.

Systems and methods for implementing an XML query language

The invention provides systems and methods for implementation of a computer language type system by augmenting finite state automata algorithms to accommodate symbols having both subtype relationships and nested types. To make the classical automata algorithms work for type system with subtypes, finite state automata for a data type is augmented by additional transitions that include secondary symbols, wherein secondary symbols are subtypes of symbols of alphabet of finite state automata. A data type when compared to another data type must compare both names and the contents.

Systems and methods for implementing a computer language type system

Growing community of inventors

Palo Alto, CA, United States of America

Daniela D Florescu