@misc{abadi-ugrad-thesis,
  author    = {Daniel J. Abadi},
  title     = {Visual COKO: A Debugger for Query Optimizer Development},
  howpublished = {Brandeis University Senior Honors Thesis},
  year      = {2002},
  url_Paper = "http://www.cs.umd.edu/~abadi/papers/VisualCOKOThesis.pdf",
  abstract = "Query optimization generates plans to retrieve data requested by queries, and query rewriting (rewriting a query expression into an equivalent form to prepare it for plan generation) is typically the first step. 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 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 this paper describes a 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. Rule-based query rewriting and the COKO-KOLA project are described for background. Then the COKO syntax is summarized from the point of view of the COKO programmer using an example query transformation that converts query predicates to conjunctive normal form. Visual COKO is described and instructions for its use are presented. Finally, a description of its implementation is given.",
  pdfKB = "132",
  publicationtype = "Thesis",
  note = "Undergraduate Thesis",
  displayCategory = "Undergraduate Senior Honors Thesis",
  keywords = "Analytical database systems",
}

{"_id":"TWbvLWEt4itazBek4","bibbaseid":"abadi-visualcokoadebuggerforqueryoptimizerdevelopment-2002","downloads":0,"creationDate":"2018-07-19T20:49:30.520Z","title":"Visual COKO: A Debugger for Query Optimizer Development","author_short":["Abadi, D. J."],"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":[]}],"title":"Visual COKO: A Debugger for Query Optimizer Development","howpublished":"Brandeis University Senior Honors Thesis","year":"2002","url_paper":"http://www.cs.umd.edu/~abadi/papers/VisualCOKOThesis.pdf","abstract":"Query optimization generates plans to retrieve data requested by queries, and query rewriting (rewriting a query expression into an equivalent form to prepare it for plan generation) is typically the first step. 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 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 this paper describes a 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. Rule-based query rewriting and the COKO-KOLA project are described for background. Then the COKO syntax is summarized from the point of view of the COKO programmer using an example query transformation that converts query predicates to conjunctive normal form. Visual COKO is described and instructions for its use are presented. Finally, a description of its implementation is given.","pdfkb":"132","publicationtype":"Thesis","note":"Undergraduate Thesis","displaycategory":"Undergraduate Senior Honors Thesis","keywords":"Analytical database systems","bibtex":"@misc{abadi-ugrad-thesis,\n author = {Daniel J. Abadi},\n title = {Visual COKO: A Debugger for Query Optimizer Development},\n howpublished = {Brandeis University Senior Honors Thesis},\n year = {2002},\n url_Paper = \"http://www.cs.umd.edu/~abadi/papers/VisualCOKOThesis.pdf\",\n abstract = \"Query optimization generates plans to retrieve data requested by queries, and query rewriting (rewriting a query expression into an equivalent form to prepare it for plan generation) is typically the first step. 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 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 this paper describes a 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. Rule-based query rewriting and the COKO-KOLA project are described for background. Then the COKO syntax is summarized from the point of view of the COKO programmer using an example query transformation that converts query predicates to conjunctive normal form. Visual COKO is described and instructions for its use are presented. Finally, a description of its implementation is given.\",\n pdfKB = \"132\",\n publicationtype = \"Thesis\",\n note = \"Undergraduate Thesis\",\n displayCategory = \"Undergraduate Senior Honors Thesis\",\n keywords = \"Analytical database systems\",\n}\n","author_short":["Abadi, D. J."],"key":"abadi-ugrad-thesis","id":"abadi-ugrad-thesis","bibbaseid":"abadi-visualcokoadebuggerforqueryoptimizerdevelopment-2002","role":"author","urls":{" paper":"http://www.cs.umd.edu/~abadi/papers/VisualCOKOThesis.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"],"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"]}