Login / Signup

Finitely recursive programs: Decidability and bottom-up computation.

Francesco CalimeriSusanna CozzaGiovambattista IanniNicola Leone
Published in: AI Commun. (2011)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • description logics
  • transformation rules
  • database
  • relational databases
  • data driven
  • query answering
  • case study
  • data management
  • database management systems