Cooperative query answering by abstract interpretation

  • Authors:
  • Raju Halder;Agostino Cortesi

  • Affiliations:
  • Dipartimento di Informatica, Università Ca' Foscari Venezia, Italy;Dipartimento di Informatica, Università Ca' Foscari Venezia, Italy

  • Venue:
  • SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

A common problem for many database users is how to formulate and submit correct queries in order to get useful responses from the system, with little or no knowledge of the database structure and its content. The notion of cooperative query answering has been explored as an effective mechanism to address this problem. In this paper, we propose a cooperative query answering scheme based on the Abstract Interpretation framework. In this context, we address three key issues: soundness, relevancy and optimality of the cooperative answers.