Search for European Projects

2 European Projects Found

Searched on 125080 European Projects

 FINISHED 

Expressive Power of Tree Logics (SOSNA)

Start date: Nov 1, 2009, End date: Oct 31, 2014,

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 ...
Read Project

 1

 FINISHED 

Foundations of XML - Safe Processing of Dynamic Data over the Internet (FOX)

Start date: May 1, 2009, End date: Sep 30, 2012,

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 ...
Read Project

 8