A dialogue-based model for the query synchronization problem

The synchronization of queries is one of the schema evolution problems and it calls for the redefinition of those queries becoming undefined after a schema change, in order to keep them still working on the new schema. This problem is particularly difficult for changes that upset the schema, because it could not be possible to rewrite the queries exactly. In this paper we show that the dialogue can play an important role in these cases and we propose a model of dialogue for query synchronization based on the Hintikka interrogative logic.