On the basis of regular tree grammars, we present a formal framework for XML schema
languages. This framework helps to describe, compare, and implement such schema …

经典的产生频繁项目集的Apriori 算法存在多次扫描数据库可能产生大量候选及反复对候选项集
和事务进行模式匹配的缺陷, 导致了算法的效率较低. 为此, 对Apriori 算法进行以下3 …

The advent of XML initiated a symbiosis between document research, databases and formal
languages (see, eg, the survey by Vianu [38]). This symbiosis resulted, for instance, in the …

We survey some recent developments in the broad area of automata and logic which are
motivated by the advent of XML. In particular, we consider unranked tree automata, tree …

As Extensible Markup Language (XML) is emerging as the data format of the Internet era,
there are increasing needs to efficiently store and query XML data. One path to this goal is …

Typechecking consists of statically verifying whether the output of an XML transformation is
always conform to an output type for documents satisfying a given input type. We focus on …

The validation of XML instances against a schema is usually performed separately from the
parsing of the more basic syntactic aspects of XML. We posit, however, that schema …

ABSTRACT XML data projection (or pruning) is one of the main optimization techniques
recently adopted in the context of main-memory XML query-engines. The underlying idea is …

XML Schema language has been proposed to replace Document Type Definitions (DTDs)
as schema mechanism for XML data. This language consistently extends grammar-based …

We investigate the typechecking problem for XML transformations: statically verifying that
every answer to a transformation conforms to a given output schema, for inputs satisfying a …