{"as_of":"2026-07-22T08:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a59701038e53c9214f7177a820bffd7a87672f0e1decb45f2b57d20ad793fb94","coverage":[{"denominator":63,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":63,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T06:26:43.244268Z","state":"measured"},{"denominator":63,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":63,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-07-22T06:31:00.163083+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.23294/citation-record","integrity":"/paper/2606.23294/integrity","json":"/paper/2606.23294/citation-record.json","paper":"/paper/2606.23294"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Relational data-base management systems,","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:51bdc1c4c7c3787d27e22dc63fd6eacf0cb0884bfc1fe39c6287dee95f5a58c1","observation_id":"a7a4e7a5-f3f4-4421-a872-b4230b99bec5","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Intel “big data","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:2de8ef0a5df8bbfe011e10aabef5574f980514200d7bde7fca92ae24e142ca99","observation_id":"41f89094-5f6b-495a-a3bf-037ef077e9b2","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"What goes around comes around... and around","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:f72c8a7d35d20dd3280f2278919a54ad264d7d577cac2c5d4184e9b9820ad2c3","observation_id":"20219a14-1e15-4d48-940e-7bbc2e351654","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Quantum data management in the NISQ era,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:64218e8cfe27ae45801efefe0b8b13430c8eb285cb72bc86b6d0ec41533f81f8","observation_id":"0f705367-47c1-4189-912e-87a75a1f71a1","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Plan stitch: Harnessing the best of many plans,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:c598786bd3524964adbe60ca8ec711f1f93fc5b5c7c6c099cc635a0f679ffcc7","observation_id":"4fecc754-7fcf-4393-a901-9816553ff57f","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Neo: A learned query optimizer,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:f7491343338d6fd62205ad8bb0f16c1c46a191933135f53980278a561f4877e5","observation_id":"88e5038c-4940-41ff-9fa5-e587938027d9","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Simple adap- tive query processing vs. learned query optimizers: Observations and analysis,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:523e379f23dd5a85fcccd9b64bfc381a1ec7435e330126d57cc425fb1e06a5e8","observation_id":"18164161-0060-4c54-ad99-dda297e2c131","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Adaptive optimization of very large join queries,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:7c83967fea00a0f99789bdb0f568f83a6487a7b8776f543ca9a7638a849192ea","observation_id":"28b663dc-af02-41d4-a00d-a5af39bdde5b","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Spatial query optimization with learning,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:c4eb6b56e0e4dd2f56380e32a35e5468919040b0de33b1941687adfa9783075e","observation_id":"fccd1047-fa91-43ba-a69f-3f0047a35b3d","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Debunking the myth of join ordering: Toward robust SQL analytics,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:1e78219d81d93448afc7835a4f27236024dd2186ca986067b18d6f1a9abdba01","observation_id":"83ea8571-98a7-4600-802e-a8a419a87abd","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Robust join processing with diamond hardened joins,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:0bf9adee918032e265bef1590793535c71bb5b2aac4192a0bb92f8889369f9bf","observation_id":"a80647bd-01ec-4cd2-aa09-c828f5120485","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Output-optimal algorithms for join-aggregate queries,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:9e96c613fff4f01ad395871e2c69a1e789040f3afe5df22f3317f2fef163045f","observation_id":"ba037f72-6a4d-46bd-9b93-f5b6a03469e4","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Optimizing queries with many-to-many joins,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:a0d68d5b96d4aaa78c68af1d7a10a77bd675601b3a8bccf75554881f254decc1","observation_id":"e296eb68-ed3e-46d1-b1f1-472f6b27f661","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Test oracle,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:bc8cf69cdf5f459bf74e40ac7617692a1f75d4dcf34b07c7ba3e8aba400ab5c1","observation_id":"dea29471-9bbb-47f3-97e7-87f47ecf53f0","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Theoretical and empirical studies of program testing,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:b655b7ed5ccd7deca95f253c31ff4d4e080903e85ba6a026e0dd3e35f1e961d3","observation_id":"e2e290a5-c7ae-4231-a265-b11540b2d78f","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"SQLSmith,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:c907904957a09306711fc16c0df437add0599a7f186653de26c20678a48e4285","observation_id":"5b046c3a-b693-4e3a-a387-53d724a373ce","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"American fuzzy lop,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:310a2fe2526fb414b48dd8d41138a0bee2c8aa5378adfe107fa5e13bf50bf3aa","observation_id":"b8e72e5f-1113-4c8c-884d-63aaafc1c650","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Massive stochastic testing of SQL,","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:de7cb645226539cb3401720fb4f44b7ef20f6cdf57084412e74f04b3b50c7281","observation_id":"1f878f5b-5cef-49c0-8480-c067b6bfa7f3","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Testing database engines via pivoted query synthesis,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:f1a14b8b69b9a0403e3063c9b9dc681dfc739d070c874020fc38d5c20e969843","observation_id":"d7ec5629-3302-4cde-8e58-4f51cdc6c043","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Finding bugs in database systems via query partitioning,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:47039edb5da81892e1904fbb2774ed67896349240b9a9db8eb8eca002ff02198","observation_id":"581bdb74-be51-4835-ad6b-3e50370e4c43","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"THANOS: DBMS bug detection via storage engine rotation based differential testing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:6a59dc722538cd684ad8f10fb43caceb290f83fc844eafd386e3d2cd8146f2b9","observation_id":"dc38bdd5-6086-4fd0-8a88-f8444bb05dcc","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Detecting optimization bugs in database engines via non-optimizing reference engine construction,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:aec6041e2c225cd9ac9f12f956512e973132e0389fd220acc7b54d273d0a882a","observation_id":"28b64969-9406-4f8a-b9ed-16d5d8df9e66","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Detecting schema-related logic bugs in relational DBMSs via equiv- alent database construction,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:736e3d2b4635fbe7a17cf922d21f3bf8585b033e26079b5b5860e1b473afcec0","observation_id":"3cb85ded-ba1c-48ae-948c-3c484b5bc883","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Detecting logic bugs of join optimizations in DBMS,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:7f7684940ddaf927d081ce42be11dc5dc1fcb40724596745ab4dc7d2a6bf0144","observation_id":"cdf48776-b5ff-409a-af9e-40292f535ef6","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Keep it simple: Testing databases via differential query plans,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:92775a1ce1431a89282a5dc66883c8caeb17e42986271478148ae8298aac23b6","observation_id":"6d46c886-f27b-4f45-9935-07f4373f247e","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:d68b9e445cca5b94dea7568eb27963408773543b1d2d8098317c3102c5995b26","observation_id":"588bd2a1-170e-4bad-bce2-d4f9cb455e81","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"SQLancer,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:bc86767e8be755fc44dcd35bd8dbf49423dbd8c85769d98a4d61307478ebdcf0","observation_id":"ea81d7d3-2075-453c-ac4a-8b7b5da0a54d","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"A relational model of data for large shared data banks,","venue":null,"work_id":null,"year":1970},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:27e1e99423bdcd6f15ff4ada2e7527aaa16e7d0573ce4896181efffb899a2ca4","observation_id":"405a80af-3180-4593-9574-2be61789cb88","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Access path selection in a relational database management system,","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:ed20c0527d3a490e3bc94a19c4f192c74fcbe024ed3bab6833c19f99079cd3ab","observation_id":"722f60a0-a657-4f9a-bd5a-be44a0cf7734","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"The volcano optimizer generator: Exten- sibility and efficient search,","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:07b0552dccb35b607fdf60b5f9f25db39decef4e764d457259c9f07a68395e33","observation_id":"e3fc35f4-a4e8-4b5b-b5a7-5e6f092778d8","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"An overview of query optimization in relational systems,","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:a095d9f896bf95014dc055e128f6e954f13d37020a49ba4d484c96d4f81af876","observation_id":"cba24fe1-5c52-47cc-9699-c18d74e8c11b","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Query optimization through the looking glass, and what we found running the join order benchmark,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:e86097125df26a249312db2bbb4b45e04b272363a11d678fe320edd645a9b912","observation_id":"2c893c26-8e5c-489f-9ccf-9b362174492b","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.12543","last_updated":"2020-02-28T04:47:31Z","snapshot_observed_at":"2026-07-06T09:00:49.214701Z","submitted_at":"2020-02-28T04:47:31Z","title":"Metamorphic Testing: A New Approach for Generating Next Test Cases","version":1},"cited_work":{"arxiv_id":"2002.12543","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2002.12543","snapshot_observed_at":"2026-07-04T12:39:49.230696Z","title":"Metamorphic testing: a new approach for generating next test cases","venue":null,"work_id":"86215440-bb96-48e8-ad27-6b8279b56e9f","year":2002},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"cited_paper":"/paper/2002.12543","citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:83dcb0b9343a4e5a9cefe262f507a2ec5497f0bca2055be590ea5fe1699af81e","observation_id":"c3311ff8-4bef-4c55-ba94-a25cc1fc678c","resolution":{"observed_at":"2026-07-04T12:39:49.232078Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-22T06:31:00.163083+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Metamorphic testing: A review of challenges and opportunities,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:f0de568c92c98d18c0eecb1e21f0aeca6e0c881069ea049f2ec81141b088bade","observation_id":"258542cb-b5a6-4caf-b2d0-5f581b746dc1","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"A survey on metamorphic testing,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:1c1ab0bba0f2c18a41e60df8432b40e8f6be26d7addc77f5f0cb83dbe060078a","observation_id":"a1a70254-3e80-45c9-859b-f97c525d174a","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Richard Hipp speaks out on SQLite,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:c7bd9f8c05743f21d57db617b3f5e5c3e767c45283ab39538a94479fdd60017e","observation_id":"213b1df0-fc14-4488-9bf3-c48810b22183","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"CERT: Finding performance issues in database systems through the lens of cardinality estimation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:c438fdcf0fe85d93cf2ff7eb483d295bb09e82111da27da491b47dc8ce1fbf03","observation_id":"c00cef35-93f9-4a4a-8cf4-2c09133caaa9","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"QAGen: generating query-aware test databases,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:fe82338b96d97d951832ca6eb779ecd97c9a581c44783e6a6341b1f122499ef1","observation_id":"74fa87ba-172c-4644-b4ba-cad0e3ea6b6d","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Flexible database generators,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:46bec65969bc8adbc693a9f1d7fcdac0c172e1bf3d9241fcf020ac5003eb13bf","observation_id":"0405bb96-acbd-4dbc-a351-1f04551586cf","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Quickly generating billion-record synthetic databases,","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:1fc94c1153b3be7dd3e3083c50b6a76fe6cc2b15eac151951820a016b71bf72a","observation_id":"dcd24f4c-463a-4132-aa1b-57040cb12498","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Simple and realistic data gener- ation,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:be73680dc55f0cdb3b555a90551c5c200d31afefd6ec4f3ad8291fb4b9ea5588","observation_id":"7cd6a0e8-185b-44ba-8509-7df61e701d31","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Query- aware test generation using a relational constraint solver,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:5ee0df68ab0539470abc26ea6e3e718d64d5438ac50015aa09979f85145cc241","observation_id":"4b7c02cd-3ada-4f5d-ad91-9b9ae9c6e884","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"A genetic approach for random testing of database systems,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:2554810b8fbef6708dbbccc9cd43b33b93cfe95acea45b965fc6f37e9e48dd84","observation_id":"0a117beb-c322-4dcc-98e9-973421b8dcb0","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Generating queries with cardinality constraints for DBMS testing,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:b88fac0aff07896f801dbfbdf138a97d30be0962016df92589aba5e102da5b87","observation_id":"eda6ba88-8ad9-4f22-9e0e-25bdf1545ae2","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Apollo: Automatic detection and diagnosis of performance regressions in database systems,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:f34723a5d546b4055f7ed99282f3f07378675d9ed9b076573ef0e92077cebc6f","observation_id":"de55c1a5-4e20-4d27-93b3-1c6051ceb6ae","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Generating targeted queries for database testing,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:61d37d1aff06580b35478ce8091987accf16913b42da8fb8f1d7a254b8bb3ea0","observation_id":"a5c86901-e20a-4742-b437-a58453e7c46c","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Generating thousand benchmark queries in seconds,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:e22baaa23863647bdd16c931752884b24c1489986419dfa398a4c5a3d63b9f47","observation_id":"faab9221-1a82-4ad9-82f9-e096f2a98db2","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"QRelX: generating meaningful queries that provide cardinality assurance,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:9778c21295ed79d170377d6679e7c99d6f268383c68ced0be43319fd4d3565f6","observation_id":"c41759c7-1789-44f1-9aaa-bbc8f3d425e9","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Testing the accuracy of query optimizers,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:b2699a5c232b1c6cef6df4fa615d3ac2ca49b071f1d604f696578c6af40ebb04","observation_id":"00b5e563-fa96-4242-857e-1df897372f70","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Automated SQL query generation for systematic testing of database engines,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:d638798780e910d8204276ac0e37ed4bd51896a8e435e5dd81e9a0e9a6e32327","observation_id":"e9c38a61-1fc0-4cf3-82e3-367c7bfd3c4f","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"A framework for testing DBMS features,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:05b6b41f1ea2286cdebbe795ee855f2d2121f5171b34ff2e6648e258abb518f4","observation_id":"f6b8e348-58e3-4ea9-9c93-bed535054940","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Snowtrail: Testing with production queries on a cloud database,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:d57ddfdaea2047271a41c3c48186a7d2c9981afc12b3bb686e5bef13540cbac9","observation_id":"e09e0e28-b4ea-4c97-846f-0d248f11f9f2","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"SQUIRREL: Testing database management systems with language validity and cov- erage feedback,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:a0c11d081773434f55e7edca4b45544b192de17928b427517e6a7e30ac5dae90","observation_id":"4528886d-99e3-4872-8eca-a1afa7329a6f","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"REDQUEEN: Fuzzing with input-to-state correspondence,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:7affac2e9956813d4eb5819e7bf81eeb6e8a13f6e1f20eb162a25b15ca998d41","observation_id":"5ad21fce-10aa-4f35-94a0-64c660d8232a","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"EnFuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:7fe84175d76d1a26cccafae7dba0eaee46094f56e0c1bcd105d11c9db7efa139","observation_id":"81867776-40c6-4160-92aa-3cc8d454fd05","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"DeepFuzzer: Accelerated deep greybox fuzzing,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:c3d36d28362bc7519eb9e7877a0d88ec016ebc3632e95ae6ab00824ab22f60c6","observation_id":"e82f622e-e005-4f4a-ae05-009421cade4a","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"PATA: Fuzzing with path aware taint analysis,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:4d9e6a4faa09d77a913541d798d089f4b53d7f00b686d3ed4f67835bd8e1d6c2","observation_id":"3091c7c3-334a-491a-b1bd-e93e67c304ab","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"RIFF: Reduced instruction footprint for Coverage-Guided fuzzing,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:f6f0f680c9a32afc255833f9203e56ea8f326ccdda16855620ef7e1de7190696","observation_id":"3ee67133-efc8-4ffb-8ce6-0fac50b2c0b1","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Industry practice of coverage-guided enterprise-level DBMS fuzzing,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:6320ea640bdeba39e0b5e1ed139590dee5d58fef7829d2f7e1b8119031e4d648","observation_id":"85d73382-4310-4024-aed4-d7d46f26e5d4","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Unicorn: detect runtime errors in time-series databases with hybrid input synthesis,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:82992d3e48cac91b26bc93e22b72aa1dd96b53deb831d78761cbae98bcf2460a","observation_id":"abc4f2e3-c8f0-4095-8198-a89bfe76f57f","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"QSYM: A practical concolic execution engine tailored for hybrid fuzzing,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:97eae2584c442e0ce9cadcd98d453011e054c7a9924acc6500be009ef2ca2baf","observation_id":"91cd6272-7692-4916-ba80-b92c49829fe7","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Sequence-oriented DBMS fuzzing,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:844ed7abf9f2033f1b664a196a37b0307532a974b6a1c622a742240c02d2dde5","observation_id":"c21cbfd9-0080-4e34-9291-f777b0f9f5ef","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T06:26:43.244268Z","title":"Griffin : Grammar-free DBMS fuzzing,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-06-26T06:26:43.244268Z"},"links":{"citing_paper":"/paper/2606.23294"},"observation_digest":"sha256:ededd5e38fa8d53b20a647c8e240e31eb604483c07a8fc6f0d8a402356cfbcd0","observation_id":"dc3d668d-dee1-4c4c-8120-18fe9e9f90c8","resolution":{"observed_at":"2026-06-26T06:26:43.244268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.23294","last_updated":"2026-06-25T05:44:57Z","latest_version":2,"primary_category":"cs.DB","snapshot_observed_at":"2026-07-06T23:58:02.040198Z","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations"},"reference_resolution":{"displayed":63,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":62,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":63},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-07-22T06:31:00.163083+00:00","source":"crossref"},{"observed_at":"2026-07-22T06:30:55.410749+00:00","source":"retraction_watch"}],"thesis":"As of 22 July 2026, this Paper Citation Record lists 63 of 63 outbound references and 0 inbound Pith citation observations for arXiv:2606.23294."}