Rechercher des projets européens

Logics for expressing properties of labeled trees and forests figure importantly in several different areas of Computer Science, including verification (branching temporal logics) and database theory (many XML query languages). The goal of this project is to investigate the expressive power of tree logics, mainly those logics that can be captured by tree automata. A similar study, but for word lan ...

The web has brought fundamentally new challenges to datamanagement. The key features that distinguish web data fromtraditional database applications are its structure - usuallydescribed by mark-up languages, such as XML - and its dynamicnature. The FOX research programme will study these challenges indetail and investigate ways to master them. To this end, FOX aims at aparadigm shift in the modell ...