Theorem Proving Techniques for View Deletion in Databases. Aravindan, C. & Baumgartner, P. J. Symb. Comput. (JSC), 29(2):119-147, 2000.
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
{"_id":{"_str":"525ba8cb7e98fada7400008e"},"__v":0,"authorIDs":[],"author_short":["Aravindan, C.","Baumgartner, P."],"bibbaseid":"aravindan-baumgartner-theoremprovingtechniquesforviewdeletionindatabases-2000","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp3245675\"> </a>Theorem Proving Techniques for View Deletion in Databases.</span>\n\t<span class=\"bibbase_paper_author\">\nAravindan, C.; and Baumgartner, P.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2000</span>. -->\n</span>\n\n\n\n<i>J. Symb. Comput. (JSC)</i>,\n\n29(2):119-147.\n\n 2000.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('aravindan-baumgartner-theoremprovingtechniquesforviewdeletionindatabases-2000', 'http://dx.doi.org/10.1006/jsco.1999.0358')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1006/jsco.1999.0358\"\n onclick=\"javascript:log_download('aravindan-baumgartner-theoremprovingtechniquesforviewdeletionindatabases-2000', 'http://dx.doi.org/10.1006/jsco.1999.0358')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Theorem Proving Techniques for View Deletion in Databases [.0358]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n <a href=\"javascript:showBib('dblp3245675')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Theorem Proving Techniques for View Deletion in Databases [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n \n\n \n \n \n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"aravindan-baumgartner-theoremprovingtechniquesforviewdeletionindatabases-2000","urls":{"Paper":"http://dx.doi.org/10.1006/jsco.1999.0358"},"role":"author","bibtex":"@article{ dblp3245675,\n title = {Theorem Proving Techniques for View Deletion in Databases},\n author = {Chandrabose Aravindan and Peter Baumgartner},\n author_short = {Aravindan, C. and Baumgartner, P.},\n bibtype = {article},\n type = {article},\n year = {2000},\n key = {dblp3245675},\n id = {dblp3245675},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jsc/AravindanB00},\n url = {http://dx.doi.org/10.1006/jsco.1999.0358},\n journal = {J. Symb. Comput. (JSC)},\n pages = {119-147},\n number = {2},\n volume = {29},\n text = {J. Symb. Comput. (JSC) 29(2):119-147 (2000)}\n}","text":"J. Symb. Comput. (JSC) 29(2):119-147 (2000)","volume":"29","number":"2","pages":"119-147","journal":"J. Symb. Comput. (JSC)","url":"http://dx.doi.org/10.1006/jsco.1999.0358","biburl":"http://www.dblp.org/rec/bibtex/journals/jsc/AravindanB00","id":"dblp3245675","key":"dblp3245675","year":"2000","type":"article","bibtype":"article","author_short":["Aravindan, C.","Baumgartner, P."],"author":["Chandrabose Aravindan","Peter Baumgartner"],"title":"Theorem Proving Techniques for View Deletion in Databases"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jsc/AravindanB00","downloads":0,"search_terms":["theorem","proving","techniques","view","deletion","databases","aravindan","baumgartner"],"title":"Theorem Proving Techniques for View Deletion in Databases","year":2000,"dataSources":["DaveszRxFEQu7ZTCb"]}