Update zhaokun's talk

Author: suyZhong

content/event/250219.md

@@ -0,0 +1,70 @@
+---
+title: "A Benchmark Harness for Query Execution Correctness Verification and Query Optimizer Evaluation of Database Systems"
+
+event: Weekly Talk
+event_url: 
+
+location: COM3-B1-15 - Meeting Rm 92
+address:
+  street: 
+  city: 
+  region: 
+  postcode:
+  country: Singapore
+
+summary: 
+abstract: "Query engines are the cornerstone of any relational databases, including query optimizers and query executors. It is imperative for database developers to be equipped with a tool to detect the query execution bug and evaluate the query optimizer quality during rapid iterative development phases.
+We propose a testing framework for query (especially join) execution verification, cardinality estimation benchmarking, and join order selection evaluation.
+Our core components are a data and schema generator, a complex and effective join query generator, as well as an exact cardinality and join oracle generator. In the data and schema generator, we propose a PK-driven deterministic data generation mechanism which not only compresses the entire database in a memory-saving way via mathematical relationships but also enables our tool to be aware of data and orchestrate data meaningfully. We can generate large-scale data with customizable skewness and a complex schema with rich joinable key sets, providing an ample search space for diverse join generation.
+For the join query generation, we implement a complex join template generator which covers intricate join graphs including chain join, star join, tree join, cycle query, and other complex join graphs. The biggest obstacle preventing existing database fuzzers from generating massive joins is to ensure their meaningfulness. To address it, we propose a synergy-aware and result-guided query parameter inference method to quantify and infer the sample spaces for query parameters, guaranteeing the effectiveness of complex join queries.
+In terms of the exact cardinality and join oracle generation, we formulate the Join Query Processing as the Constraint Satisfaction Problem (CSP) and build a true cardinality and join oracle generator on top of SMT solvers, providing a formal, provable, and highly reliable solution for generating exact cardinality and join ground-truth results in a self-inferable way.
+Our tool has been collaborating with many famous database vendors such as OceanBase, demonstrating its effectiveness by evaluating it on many open-sourced databases regarding cardinality estimation benchmarking, join order performance diagnostics, and logic bug detection."
+
+# Talk start and end times.
+#   End time can optionally be hidden by prefixing the line with `#`.
+date: "2025-02-19T14:00:00Z"
+date_end: "2025-02-19T15:00:00Z"
+all_day: false
+
+# Schedule page publish date (NOT talk date).
+publishDate: "2017-01-01T00:00:00Z"
+
+authors: [Zhaokun Xiang]
+tags: [Weekly Talk]
+
+# Is this a featured talk? (true/false)
+featured: false
+
+image:
+  caption: 'Image credit: [**Unsplash**](https://unsplash.com/photos/bzdhc5b3Bxs)'
+  focal_point: Right
+
+url_code: ""
+url_pdf: ""
+url_slides: ""
+url_video: ""
+
+# Markdown Slides (optional).
+#   Associate this talk with Markdown slides.
+#   Simply enter your slide deck's filename without extension.
+#   E.g. `slides = "example-slides"` references `content/slides/example-slides.md`.
+#   Otherwise, set `slides = ""`.
+slides:
+
+# Projects (optional).
+#   Associate this post with one or more of your projects.
+#   Simply enter your project's folder or file name without extension.
+#   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
+#   Otherwise, set `projects = []`.
+projects:
+
+# Slides can be added in a few ways:
+# 
+# - **Create** slides using Wowchemy's [*Slides*](https://wowchemy.com/docs/managing-content/#create-slides) feature and link using `slides` parameter in the front matter of the talk file
+# - **Upload** an existing slide deck to `static/` and link using `url_slides` parameter in the front matter of the talk file
+# - **Embed** your slides (e.g. Google Slides) or presentation video on this page using [shortcodes](https://wowchemy.com/docs/writing-markdown-latex/).
+# 
+# Further event details, including page elements such as image galleries, can be added to the body of this page.
+
+
+---