@misc{vcoko,
  author    = {Daniel J. Abadi and Mitch Cherniack},
  title     = {Visual COKO: A Debugger for Query Optimizer Development},
  howpublished = {Demonstration. SIGMOD},
  year      = {2002},
  address  = {Madison, Wisconsin},
  pages    = {617-617},
  venue = "SIGMOD",
  url_Paper = "http://www.cs.umd.edu/~abadi/papers/vcoko.pdf",
  abstract = "Query optimization generates plans to retrieve data requested by queries. Query rewriting, which is the first step of this process, rewrites a query expression into an equivalent form to prepare it for plan generation. COKO-KOLA introduced a new approach to query rewriting that enables query rewrites to be formally verified using an automated theorem prover. KOLA is a language for expressing term rewriting rules that can be 'fired' on query expressions. COKO is a language for expressing query rewriting transformations that are too complex to express with simple KOLA rules. COKO is a programming language designed for query optimizer development. Programming languages require debuggers, and in this demonstration, we illustrate our COKO debugger: Visual COKO. Visual COKO enables a query optimization developer to visually trace the execution of a COKO transformation. At every step of the transformation, the developer can view a tree-display that illustrates how the original query expression has evolved.",
  pdfKB = "111",
  publicationtype = "Demonstration",
  displayCategory = "Demonstration",
  keywords = "Analytical database systems",
}

%% Theses

{"_id":"yiZeeXxwFQwNtbxiv","bibbaseid":"abadi-cherniack-visualcokoadebuggerforqueryoptimizerdevelopment-2002","downloads":0,"creationDate":"2018-07-19T20:49:30.517Z","title":"Visual COKO: A Debugger for Query Optimizer Development","author_short":["Abadi, D. J.","Cherniack, M."],"year":2002,"bibtype":"misc","biburl":"https://www.cs.umd.edu/~abadi/pubs/abadirefs.bib","bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Daniel","J."],"propositions":[],"lastnames":["Abadi"],"suffixes":[]},{"firstnames":["Mitch"],"propositions":[],"lastnames":["Cherniack"],"suffixes":[]}],"title":"Visual COKO: A Debugger for Query Optimizer Development","howpublished":"Demonstration. SIGMOD","year":"2002","address":"Madison, Wisconsin","pages":"617-617","venue":"SIGMOD","url_paper":"http://www.cs.umd.edu/~abadi/papers/vcoko.pdf","abstract":"Query optimization generates plans to retrieve data requested by queries. Query rewriting, which is the first step of this process, rewrites a query expression into an equivalent form to prepare it for plan generation. COKO-KOLA introduced a new approach to query rewriting that enables query rewrites to be formally verified using an automated theorem prover. KOLA is a language for expressing term rewriting rules that can be 'fired' on query expressions. COKO is a language for expressing query rewriting transformations that are too complex to express with simple KOLA rules. COKO is a programming language designed for query optimizer development. Programming languages require debuggers, and in this demonstration, we illustrate our COKO debugger: Visual COKO. Visual COKO enables a query optimization developer to visually trace the execution of a COKO transformation. At every step of the transformation, the developer can view a tree-display that illustrates how the original query expression has evolved.","pdfkb":"111","publicationtype":"Demonstration","displaycategory":"Demonstration","keywords":"Analytical database systems","bibtex":"@misc{vcoko,\n author = {Daniel J. Abadi and Mitch Cherniack},\n title = {Visual COKO: A Debugger for Query Optimizer Development},\n howpublished = {Demonstration. SIGMOD},\n year = {2002},\n address = {Madison, Wisconsin},\n pages = {617-617},\n venue = \"SIGMOD\",\n url_Paper = \"http://www.cs.umd.edu/~abadi/papers/vcoko.pdf\",\n abstract = \"Query optimization generates plans to retrieve data requested by queries. Query rewriting, which is the first step of this process, rewrites a query expression into an equivalent form to prepare it for plan generation. COKO-KOLA introduced a new approach to query rewriting that enables query rewrites to be formally verified using an automated theorem prover. KOLA is a language for expressing term rewriting rules that can be 'fired' on query expressions. COKO is a language for expressing query rewriting transformations that are too complex to express with simple KOLA rules. COKO is a programming language designed for query optimizer development. Programming languages require debuggers, and in this demonstration, we illustrate our COKO debugger: Visual COKO. Visual COKO enables a query optimization developer to visually trace the execution of a COKO transformation. At every step of the transformation, the developer can view a tree-display that illustrates how the original query expression has evolved.\",\n pdfKB = \"111\",\n publicationtype = \"Demonstration\",\n displayCategory = \"Demonstration\",\n keywords = \"Analytical database systems\",\n}\n\n%% Theses\n\n","author_short":["Abadi, D. J.","Cherniack, M."],"key":"vcoko","id":"vcoko","bibbaseid":"abadi-cherniack-visualcokoadebuggerforqueryoptimizerdevelopment-2002","role":"author","urls":{" paper":"http://www.cs.umd.edu/~abadi/papers/vcoko.pdf"},"keyword":["Analytical database systems"],"metadata":{"authorlinks":{"abadi, d":"https://www.cs.umd.edu/~abadi/pubs/pubs.shtml"}},"downloads":0,"html":""},"search_terms":["visual","coko","debugger","query","optimizer","development","abadi","cherniack"],"keywords":["analytical database systems"],"authorIDs":["545a372eb43425b772000d33","5GWfruXC8LGzsXQXZ","5dfafc2efa2bbbde01000123","5dfb4da1e04f92df01000122","5e0293fd64e549de01000015","5e07201f865432df01000050","5e0f3ab32c4a31df01000058","5e10fe46d6a01ede0100002d","5e18dd1da382e2de0100010a","5e196b6773bf69de01000051","5e1ed08b875c69df01000020","5e26cfec8535cedf01000169","5e28e675a3df5bdf0100013e","5e399a48d14579de0100029c","5e4aad9315f6c7df010000b3","5e59b208103b4fde0100000e","5e64a5a32551dede01000064","KDBQuK7XWc7CSqeit","LJreXapK6mk9Rc2Pu","N6yBEFnvRGqjThfK2","RspDsBhJKZKQBkgAw","Wp5ihSMdeiMT82YBn","e6qD3P7b8FZJE3FJf","ffuc7EABFba74ArWY","jhL6i2R8YgkXCbPae","oHD5MJpPt7u6NoDGo","qJmCcnJn6k7RTKK8o","wBCK972mKn88A3K3r","zfX7BeExuv4gc7kfg"],"dataSources":["YdtR8AbetSqiZGCey","MPg4deo7Xr6HYSthD","bHTCYJduhkrS5AHxu"]}