Theorem Proving Techniques for View Deletion in Databases. Aravindan, C. & Baumgartner, P. J. Symb. Comput. (JSC), 29(2):119-147, 2000.
Theorem Proving Techniques for View Deletion in Databases [link]Paper  bibtex   
@article{ dblp3245675,
  title = {Theorem Proving Techniques for View Deletion in Databases},
  author = {Chandrabose Aravindan and Peter Baumgartner},
  author_short = {Aravindan, C. and Baumgartner, P.},
  bibtype = {article},
  type = {article},
  year = {2000},
  key = {dblp3245675},
  id = {dblp3245675},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jsc/AravindanB00},
  url = {http://dx.doi.org/10.1006/jsco.1999.0358},
  journal = {J. Symb. Comput. (JSC)},
  pages = {119-147},
  number = {2},
  volume = {29},
  text = {J. Symb. Comput. (JSC) 29(2):119-147 (2000)}
}

Downloads: 0