View-based query processing and constraint satisfaction (2000)

by Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
Venue:IN PROC. OF THE 15TH IEEE SYMP. ON LOGIC IN COMPUTER SCIENCE (LICS 2000