Efficient algorithms for processing XPath queries
Our experimental analysis of several popular XPath processors reveals a striking fact: Query
evaluation in each of the systems requires time exponential in the size of queries in the …
evaluation in each of the systems requires time exponential in the size of queries in the …
Finite state machines for strings over infinite alphabets
Motivated by formal models recently proposed in the context of XML, we study automata and
logics on strings over infinite alphabets. These are conservative extensions of classical …
logics on strings over infinite alphabets. These are conservative extensions of classical …
Typechecking for XML transformers
We study the typechecking problem for XML transformers: given an XML transformation
program and a DTD for the input XML documents, check whether every result of the program …
program and a DTD for the input XML documents, check whether every result of the program …
Efficient processing of XPath queries
The disclosed teachings provide methods and systems for efficient evaluation of XPath
queries. In particular, the disclosed evaluation methods require only polynomial time with …
queries. In particular, the disclosed evaluation methods require only polynomial time with …
A Web odyssey: from Codd to XML
V Vianu - Proceedings of the twentieth ACM SIGMOD-SIGACT …, 2001 - dl.acm.org
The Web presents the database area with vast opportunities and commensurate challenges.
Databases and the Web are organically connected at many lev els. Web sites are …
Databases and the Web are organically connected at many lev els. Web sites are …
Monadic queries over tree-structured data
Monadic query languages over trees currently receive considerable interest in the database
community, as the problem of selecting nodes from a tree is the most basic and widespread …
community, as the problem of selecting nodes from a tree is the most basic and widespread …
XPath query evaluation: Improving time and space efficiency
Contemporary XPath query engines evaluate queries in time exponential in the sizes of
input queries, a fact that has gone unnoticed for a long time. Recently, the first main-memory …
input queries, a fact that has gone unnoticed for a long time. Recently, the first main-memory …
Typechecking for semistructured data
D Suciu - International workshop on database programming …, 2001 - Springer
Semistructured data is used in data exchange applications, like B2B and EAI, and
represents data in a flexible format. Every data item has a unique tag (also called label), and …
represents data in a flexible format. Every data item has a unique tag (also called label), and …
The XML typechecking problem
D Suciu - ACM SIGMOD Record, 2002 - dl.acm.org
When an XML document conforms to a given type (eg a DTD or an XML Schema type) it is
called a valid document. Checking if a given XML document is valid is called the validation …
called a valid document. Checking if a given XML document is valid is called the validation …
Communications system providing extensible protocol translation features and related methods
DJ Clarke, SS Virk, S Roy - US Patent 7,644,170, 2010 - Google Patents
US7644170B2 - Communications system providing extensible protocol translation features
and related methods - Google Patents US7644170B2 - Communications system providing …
and related methods - Google Patents US7644170B2 - Communications system providing …