13 search results - page 3 / 3 » Strict Language Inequalities and Their Decision Problems |
IANDC
2011
13 years 1 months ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
JIIS
2006
13 years 6 months ago
2006
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...
PODS
2008
ACM
14 years 6 months ago
2008
ACM
A schema mapping is a specification that describes how data from a source schema is to be mapped to a target schema. Once the data has been transferred from the source to the targ...