Decidability of First-Order Logic Queries over Views.

@inproceedings{DBLP:conf/icdt/BaileyD99,
  author    = {James Bailey and
               Guozhu Dong},
  editor    = {Catriel Beeri and
               Peter Buneman},
  title     = {Decidability of First-Order Logic Queries over Views},
  booktitle = {Database Theory - ICDT '99, 7th International Conference, Jerusalem,
               Israel, January 10-12, 1999, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1540},
  year      = {1999},
  isbn      = {3-540-65452-6},
  pages     = {83-99},
  ee        = {db/conf/icdt/BaileyD99.html, http://link.springer.de/link/service/series/0558/bibs/1540/15400083.htm},
  crossref  = {DBLP:conf/icdt/99},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Online Edition: Springer LINK

References

[1]

Serge Abiteboul, Oliver M. Duschka: Complexity of Answering Queries Using Materialized Views. PODS 1998: 254-263 BibTeX

[2]

James Bailey, Guozhu Dong, Kotagiri Ramamohanarao: Decidability and Undecidability Results for the Termination Problem of Active Database Rules. PODS 1998: 264-273 BibTeX

[3]

...

[4]

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Decidability of Query Containment under Constraints. PODS 1998: 149-158 BibTeX

[5]

Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi: Decidable Optimization Problems for Database Logic Programs (Preliminary Report). STOC 1988: 477-490 BibTeX

[6]

Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi: Polynomial-Time Implication Problems for Unary Inclusion Dependencies. J. ACM 37(1): 15-46(1990) BibTeX

[7]

Neil Immerman: Upper and Lower Bounds for First Order Expressibility. J. Comput. Syst. Sci. 25(1): 76-98(1982) BibTeX

[8]

Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli: Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. PODS 1993: 109-122 BibTeX

[9]

Alon Y. Levy, Marie-Christine Rousset: The Limits on Combining Recursive Horn Rules with Description Logics. AAAI/IAAI, Vol. 1 1996: 577-584 BibTeX

[10]

Yehoshua Sagiv, Mihalis Yannakakis: Equivalences Among Relational Expressions with the Union and Difference Operators. J. ACM 27(4): 633-655(1980) BibTeX

[11]

Dimitri Theodoratos: Deductive Object Oriented Schemas. ER 1996: 58-72 BibTeX

[12]

Jeffrey D. Ullman: Information Integration Using Logical Views. ICDT 1997: 19-40 BibTeX