Computer-Assisted Query Formulation
Az adatbázis-kezelő rendszerek (DBMS) általában alkalmazásprogramozási felületet biztosítanak a felhasználók számára, hogy lekérdezéseket adhassanak ki olyan lekérdezési nyelvek segítségével, mint az SQL.
Sok ilyen nyelvet eredetileg üzleti adatfeldolgozó alkalmazásokhoz terveztek. Bár ezek az alkalmazások még mindig relevánsak, az alkalmazások két másik osztálya vált az adatkezelő rendszerek fontos felhasználójává: (1) webes alkalmazások, amelyek programozottan adnak ki lekérdezéseket a DBMS-hez, és (2) adatelemzés, amely komplex lekérdezéseket foglal magában, amelyek lehetővé teszik az adattudósok számára, hogy jobban megértsék adatkészleteiket.
Sajnos az adatbázis-kezelő rendszerek által biztosított jelenlegi lekérdezési nyelvek gyakran messze nem ideálisak ezekhez az alkalmazási területekhez. A számítógéppel támogatott lekérdezés megfogalmazása olyan technológiákat ír le, amelyek segítik a felhasználókat a különböző alkalmazási területekhez tartozó adatbázis-lekérdezések megadásában. Az ilyen rendszerek célja, hogy áthidalják az adatbázis-kezelő rendszerek által biztosított jelenlegi lekérdezési felületek és a különböző felhasználási forgatókönyvek igényei közötti szakadékot, amelyeket a meglévő lekérdezési nyelvek nem szolgálnak ki megfelelően.
Ez a monográfia az ilyen rendszerek által biztosított különböző interakciós módokat és a felhasználói lekérdezések levezetésére használt algoritmusokat tárgyalja. Különösen a programszintézis technikák felhasználásával épített rendszerek új osztályára összpontosít, és emellett tárgyalja a szintézis és más, korábbi rendszerekben használt módszerek kombinálásának lehetőségeit a felhasználói lekérdezések levezetésére.