Elterjedt gyakorlat a nagy adathalmazokkal szemben lekérdezéseket megfogalmazni és kiértékelni. Ezen lekérdezések megfogalmazására deklaratív nyelvek szolgálnak, a hatékony kiértékelésüket pedig - akár a felhasználó által nem ismert módon - a szolgáltatást nyújtó motor végzi. Adatbázisok és egyéb nagy adatforrások mellett felmerülhet a modell alapú fejlesztésben használt nagyméretű modellek feletti lekérdezés gondolata is; helyességellenőrzési, modelltranszformációs és kódgenerálási feladatok támogatására.
A tanszéken fejlesztett, nemrég bemutatkozó EMF-IncQuery [4] eszköz jelenleg az Eclipse GMT projekthez tartozó Viatra2 [5] alprojektje. Az iparban is elterjedt Eclipse Modeling Framework (EMF) modellei felett támogat deklaratívan (az ún. gráfminták nyelvén) megfogalmazott lekérdezéseket. Különlegessége, hogy a lekérdezések eredménye állandóan rendelkezésre áll, a modell módosítása közben folyamatosan frissül, különösen alkalmassá téve bizonyos célfeladatokra (pl. modellek jólformáltságának folyamatos ellenőrzése).
A hallgató feladata bekapcsolódni a projektbe, és megegyezés alapján felhasználóbarát grafikus felületi támogatást, újszerű kiértékelő technikákat vagy automatikusan generálható eszközöket készítenie.