Logic-based perspectives on query reformulation over restricted interfaces

We overview recent developments on query reformulation over a restricted interface, in the presence of integrity constraints. We overview an approach to the problem via reduction to query containment with constraints, where the reduction makes use of interpolation algorithms from logic. We first pre...

Ful tanımlama

Detaylı Bibliyografya
Yazar: Benedikt, M
Materyal Türü: Journal article
Baskı/Yayın Bilgisi: Association for Computing Machinery 2018