Titlebook: Database Theory - ICDT 2003; 9th International Co Diego Calvanese,Maurizio Lenzerini,Rajeev Motwani Conference proceedings 2003 Springer-Ve

metropolitan

DEMUR

蕁麻

bifurcate

ALE

Bioinformatics Adventures in Database Research biology in the post-genome era.We discuss here data integration and datamining in bioinformatics, as well as the role that database theory played in these topics. We also describe LIMS as a third key topic in bioinformatics where advances in database system and theory can be very relevant.

indubitable

rectocele

Typechecking Top-Down Uniform Unranked Tree Transducersts satisfying a given input schema. As typechecking quickly turns undecidable for query languages capable of testing equality of data values, we return to the limited framework where we abstract XML documents as labeled ordered trees. We focus on simple top-down recursive transformations motivated b

BILL

cloture

On Reasoning about Structural Equality in XML: A Description Logic Approachn the presence of document type definitions. This application depends on the novel ability of .. to express functional dependencies over sets of possibly infinite feature paths defined by regular languages. We also present a decision procedure for the associated logical implication problem. The proc

Nefarious