Pith. sign in

Paper Citation Record · LEDGER

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.23294 v2

Coverage vector

measured 63 of 63 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T06:26:43.244268Z

measured 63 of 63 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-07-21T06:31:05.380196+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

63 of 63 outbound references displayed

  • verified exact1
  • verified fuzzy0
  • unresolved62
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a7a4e7a5-f3f4-4421-a872-b4230b99bec5 · outbound

This paper cites Relational data-base management systems,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Relational data-base management systems,

Reference 1

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:51bdc1c4c7c3787d27e22dc63fd6eacf0cb0884bfc1fe39c6287dee95f5a58c1

Observation 41f89094-5f6b-495a-a3bf-037ef077e9b2 · outbound

This paper cites Intel “big data.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Intel “big data

Reference 2

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:2de8ef0a5df8bbfe011e10aabef5574f980514200d7bde7fca92ae24e142ca99

Observation 20219a14-1e15-4d48-940e-7bbc2e351654 · outbound

This paper cites What goes around comes around... and around.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations What goes around comes around... and around

Reference 3

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:f72c8a7d35d20dd3280f2278919a54ad264d7d577cac2c5d4184e9b9820ad2c3

Observation 0f705367-47c1-4189-912e-87a75a1f71a1 · outbound

This paper cites Quantum data management in the NISQ era,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Quantum data management in the NISQ era,

Reference 4

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:64218e8cfe27ae45801efefe0b8b13430c8eb285cb72bc86b6d0ec41533f81f8

Observation 4fecc754-7fcf-4393-a901-9816553ff57f · outbound

This paper cites Plan stitch: Harnessing the best of many plans,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Plan stitch: Harnessing the best of many plans,

Reference 5

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:c598786bd3524964adbe60ca8ec711f1f93fc5b5c7c6c099cc635a0f679ffcc7

Observation 88e5038c-4940-41ff-9fa5-e587938027d9 · outbound

This paper cites Neo: A learned query optimizer,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Neo: A learned query optimizer,

Reference 6

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:f7491343338d6fd62205ad8bb0f16c1c46a191933135f53980278a561f4877e5

Observation 18164161-0060-4c54-ad99-dda297e2c131 · outbound

This paper cites Simple adap- tive query processing vs. learned query optimizers: Observations and analysis,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Simple adap- tive query processing vs. learned query optimizers: Observations and analysis,

Reference 7

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:523e379f23dd5a85fcccd9b64bfc381a1ec7435e330126d57cc425fb1e06a5e8

Observation 28b663dc-af02-41d4-a00d-a5af39bdde5b · outbound

This paper cites Adaptive optimization of very large join queries,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Adaptive optimization of very large join queries,

Reference 8

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:7c83967fea00a0f99789bdb0f568f83a6487a7b8776f543ca9a7638a849192ea

Observation fccd1047-fa91-43ba-a69f-3f0047a35b3d · outbound

This paper cites Spatial query optimization with learning,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Spatial query optimization with learning,

Reference 9

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:c4eb6b56e0e4dd2f56380e32a35e5468919040b0de33b1941687adfa9783075e

Observation 83ea8571-98a7-4600-802e-a8a419a87abd · outbound

This paper cites Debunking the myth of join ordering: Toward robust SQL analytics,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Debunking the myth of join ordering: Toward robust SQL analytics,

Reference 10

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:1e78219d81d93448afc7835a4f27236024dd2186ca986067b18d6f1a9abdba01

Observation a80647bd-01ec-4cd2-aa09-c828f5120485 · outbound

This paper cites Robust join processing with diamond hardened joins,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Robust join processing with diamond hardened joins,

Reference 11

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:0bf9adee918032e265bef1590793535c71bb5b2aac4192a0bb92f8889369f9bf

Observation ba037f72-6a4d-46bd-9b93-f5b6a03469e4 · outbound

This paper cites Output-optimal algorithms for join-aggregate queries,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Output-optimal algorithms for join-aggregate queries,

Reference 12

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:9e96c613fff4f01ad395871e2c69a1e789040f3afe5df22f3317f2fef163045f

Observation e296eb68-ed3e-46d1-b1f1-472f6b27f661 · outbound

This paper cites Optimizing queries with many-to-many joins,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Optimizing queries with many-to-many joins,

Reference 13

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:a0d68d5b96d4aaa78c68af1d7a10a77bd675601b3a8bccf75554881f254decc1

Observation dea29471-9bbb-47f3-97e7-87f47ecf53f0 · outbound

This paper cites Test oracle,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Test oracle,

Reference 14

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:bc8cf69cdf5f459bf74e40ac7617692a1f75d4dcf34b07c7ba3e8aba400ab5c1

Observation e2e290a5-c7ae-4231-a265-b11540b2d78f · outbound

This paper cites Theoretical and empirical studies of program testing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Theoretical and empirical studies of program testing,

Reference 15

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:b655b7ed5ccd7deca95f253c31ff4d4e080903e85ba6a026e0dd3e35f1e961d3

Observation 5b046c3a-b693-4e3a-a387-53d724a373ce · outbound

This paper cites SQLSmith,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations SQLSmith,

Reference 16

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:c907904957a09306711fc16c0df437add0599a7f186653de26c20678a48e4285

Observation b8e72e5f-1113-4c8c-884d-63aaafc1c650 · outbound

This paper cites American fuzzy lop,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations American fuzzy lop,

Reference 17

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:310a2fe2526fb414b48dd8d41138a0bee2c8aa5378adfe107fa5e13bf50bf3aa

Observation 1f878f5b-5cef-49c0-8480-c067b6bfa7f3 · outbound

This paper cites Massive stochastic testing of SQL,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Massive stochastic testing of SQL,

Reference 18

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:de7cb645226539cb3401720fb4f44b7ef20f6cdf57084412e74f04b3b50c7281

Observation d7ec5629-3302-4cde-8e58-4f51cdc6c043 · outbound

This paper cites Testing database engines via pivoted query synthesis,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Testing database engines via pivoted query synthesis,

Reference 19

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:f1a14b8b69b9a0403e3063c9b9dc681dfc739d070c874020fc38d5c20e969843

Observation 581bdb74-be51-4835-ad6b-3e50370e4c43 · outbound

This paper cites Finding bugs in database systems via query partitioning,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Finding bugs in database systems via query partitioning,

Reference 20

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:47039edb5da81892e1904fbb2774ed67896349240b9a9db8eb8eca002ff02198

Observation dc38bdd5-6086-4fd0-8a88-f8444bb05dcc · outbound

This paper cites THANOS: DBMS bug detection via storage engine rotation based differential testing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations THANOS: DBMS bug detection via storage engine rotation based differential testing,

Reference 21

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:6a59dc722538cd684ad8f10fb43caceb290f83fc844eafd386e3d2cd8146f2b9

Observation 28b64969-9406-4f8a-b9ed-16d5d8df9e66 · outbound

This paper cites Detecting optimization bugs in database engines via non-optimizing reference engine construction,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Detecting optimization bugs in database engines via non-optimizing reference engine construction,

Reference 22

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:aec6041e2c225cd9ac9f12f956512e973132e0389fd220acc7b54d273d0a882a

Observation 3cb85ded-ba1c-48ae-948c-3c484b5bc883 · outbound

This paper cites Detecting schema-related logic bugs in relational DBMSs via equiv- alent database construction,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Detecting schema-related logic bugs in relational DBMSs via equiv- alent database construction,

Reference 23

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:736e3d2b4635fbe7a17cf922d21f3bf8585b033e26079b5b5860e1b473afcec0

Observation cdf48776-b5ff-409a-af9e-40292f535ef6 · outbound

This paper cites Detecting logic bugs of join optimizations in DBMS,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Detecting logic bugs of join optimizations in DBMS,

Reference 24

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:7f7684940ddaf927d081ce42be11dc5dc1fcb40724596745ab4dc7d2a6bf0144

Observation 6d46c886-f27b-4f45-9935-07f4373f247e · outbound

This paper cites Keep it simple: Testing databases via differential query plans,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Keep it simple: Testing databases via differential query plans,

Reference 25

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:92775a1ce1431a89282a5dc66883c8caeb17e42986271478148ae8298aac23b6

Observation 588bd2a1-170e-4bad-bce2-d4f9cb455e81 · outbound

This paper cites an unresolved cited work.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Unresolved cited work

Reference 26

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:d68b9e445cca5b94dea7568eb27963408773543b1d2d8098317c3102c5995b26

Observation ea81d7d3-2075-453c-ac4a-8b7b5da0a54d · outbound

This paper cites SQLancer,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations SQLancer,

Reference 27

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:bc86767e8be755fc44dcd35bd8dbf49423dbd8c85769d98a4d61307478ebdcf0

Observation 405a80af-3180-4593-9574-2be61789cb88 · outbound

This paper cites A relational model of data for large shared data banks,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations A relational model of data for large shared data banks,

Reference 28

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:27e1e99423bdcd6f15ff4ada2e7527aaa16e7d0573ce4896181efffb899a2ca4

Observation 722f60a0-a657-4f9a-bd5a-be44a0cf7734 · outbound

This paper cites Access path selection in a relational database management system,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Access path selection in a relational database management system,

Reference 29

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:ed20c0527d3a490e3bc94a19c4f192c74fcbe024ed3bab6833c19f99079cd3ab

Observation e3fc35f4-a4e8-4b5b-b5a7-5e6f092778d8 · outbound

This paper cites The volcano optimizer generator: Exten- sibility and efficient search,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations The volcano optimizer generator: Exten- sibility and efficient search,

Reference 30

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:07b0552dccb35b607fdf60b5f9f25db39decef4e764d457259c9f07a68395e33

Observation cba24fe1-5c52-47cc-9699-c18d74e8c11b · outbound

This paper cites An overview of query optimization in relational systems,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations An overview of query optimization in relational systems,

Reference 31

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:a095d9f896bf95014dc055e128f6e954f13d37020a49ba4d484c96d4f81af876

Observation 2c893c26-8e5c-489f-9ccf-9b362174492b · outbound

This paper cites Query optimization through the looking glass, and what we found running the join order benchmark,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Query optimization through the looking glass, and what we found running the join order benchmark,

Reference 32

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:e86097125df26a249312db2bbb4b45e04b272363a11d678fe320edd645a9b912

Observation c3311ff8-4bef-4c55-ba94-a25cc1fc678c · outbound

This paper cites Metamorphic Testing: A New Approach for Generating Next Test Cases.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Metamorphic Testing: A New Approach for Generating Next Test Cases

Reference 33

Resolution
verified exact
arxiv_id, observed 2026-07-04T12:39:49.232078Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-21T06:31:05.380196+00:00.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:bbee721eae16ce8fd934df9f468338ea4a92021e4f509244d71f92460a73cf7e

Observation 258542cb-b5a6-4caf-b2d0-5f581b746dc1 · outbound

This paper cites Metamorphic testing: A review of challenges and opportunities,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Metamorphic testing: A review of challenges and opportunities,

Reference 34

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:f0de568c92c98d18c0eecb1e21f0aeca6e0c881069ea049f2ec81141b088bade

Observation a1a70254-3e80-45c9-859b-f97c525d174a · outbound

This paper cites A survey on metamorphic testing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations A survey on metamorphic testing,

Reference 35

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:1c1ab0bba0f2c18a41e60df8432b40e8f6be26d7addc77f5f0cb83dbe060078a

Observation 213b1df0-fc14-4488-9bf3-c48810b22183 · outbound

This paper cites Richard Hipp speaks out on SQLite,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Richard Hipp speaks out on SQLite,

Reference 36

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:c7bd9f8c05743f21d57db617b3f5e5c3e767c45283ab39538a94479fdd60017e

Observation c00cef35-93f9-4a4a-8cf4-2c09133caaa9 · outbound

This paper cites CERT: Finding performance issues in database systems through the lens of cardinality estimation,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations CERT: Finding performance issues in database systems through the lens of cardinality estimation,

Reference 37

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:c438fdcf0fe85d93cf2ff7eb483d295bb09e82111da27da491b47dc8ce1fbf03

Observation 74fa87ba-172c-4644-b4ba-cad0e3ea6b6d · outbound

This paper cites QAGen: generating query-aware test databases,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations QAGen: generating query-aware test databases,

Reference 38

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:fe82338b96d97d951832ca6eb779ecd97c9a581c44783e6a6341b1f122499ef1

Observation 0405bb96-acbd-4dbc-a351-1f04551586cf · outbound

This paper cites Flexible database generators,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Flexible database generators,

Reference 39

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:46bec65969bc8adbc693a9f1d7fcdac0c172e1bf3d9241fcf020ac5003eb13bf

Observation dcd24f4c-463a-4132-aa1b-57040cb12498 · outbound

This paper cites Quickly generating billion-record synthetic databases,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Quickly generating billion-record synthetic databases,

Reference 40

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:1fc94c1153b3be7dd3e3083c50b6a76fe6cc2b15eac151951820a016b71bf72a

Observation 7cd6a0e8-185b-44ba-8509-7df61e701d31 · outbound

This paper cites Simple and realistic data gener- ation,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Simple and realistic data gener- ation,

Reference 41

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:be73680dc55f0cdb3b555a90551c5c200d31afefd6ec4f3ad8291fb4b9ea5588

Observation 4b7c02cd-3ada-4f5d-ad91-9b9ae9c6e884 · outbound

This paper cites Query- aware test generation using a relational constraint solver,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Query- aware test generation using a relational constraint solver,

Reference 42

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:5ee0df68ab0539470abc26ea6e3e718d64d5438ac50015aa09979f85145cc241

Observation 0a117beb-c322-4dcc-98e9-973421b8dcb0 · outbound

This paper cites A genetic approach for random testing of database systems,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations A genetic approach for random testing of database systems,

Reference 43

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:2554810b8fbef6708dbbccc9cd43b33b93cfe95acea45b965fc6f37e9e48dd84

Observation eda6ba88-8ad9-4f22-9e0e-25bdf1545ae2 · outbound

This paper cites Generating queries with cardinality constraints for DBMS testing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Generating queries with cardinality constraints for DBMS testing,

Reference 44

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:b88fac0aff07896f801dbfbdf138a97d30be0962016df92589aba5e102da5b87

Observation de55c1a5-4e20-4d27-93b3-1c6051ceb6ae · outbound

This paper cites Apollo: Automatic detection and diagnosis of performance regressions in database systems,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Apollo: Automatic detection and diagnosis of performance regressions in database systems,

Reference 45

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:f34723a5d546b4055f7ed99282f3f07378675d9ed9b076573ef0e92077cebc6f

Observation a5c86901-e20a-4742-b437-a58453e7c46c · outbound

This paper cites Generating targeted queries for database testing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Generating targeted queries for database testing,

Reference 46

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:61d37d1aff06580b35478ce8091987accf16913b42da8fb8f1d7a254b8bb3ea0

Observation faab9221-1a82-4ad9-82f9-e096f2a98db2 · outbound

This paper cites Generating thousand benchmark queries in seconds,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Generating thousand benchmark queries in seconds,

Reference 47

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:e22baaa23863647bdd16c931752884b24c1489986419dfa398a4c5a3d63b9f47

Observation c41759c7-1789-44f1-9aaa-bbc8f3d425e9 · outbound

This paper cites QRelX: generating meaningful queries that provide cardinality assurance,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations QRelX: generating meaningful queries that provide cardinality assurance,

Reference 48

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:9778c21295ed79d170377d6679e7c99d6f268383c68ced0be43319fd4d3565f6

Observation 00b5e563-fa96-4242-857e-1df897372f70 · outbound

This paper cites Testing the accuracy of query optimizers,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Testing the accuracy of query optimizers,

Reference 49

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:b2699a5c232b1c6cef6df4fa615d3ac2ca49b071f1d604f696578c6af40ebb04

Observation e9c38a61-1fc0-4cf3-82e3-367c7bfd3c4f · outbound

This paper cites Automated SQL query generation for systematic testing of database engines,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Automated SQL query generation for systematic testing of database engines,

Reference 50

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:d638798780e910d8204276ac0e37ed4bd51896a8e435e5dd81e9a0e9a6e32327

Observation f6b8e348-58e3-4ea9-9c93-bed535054940 · outbound

This paper cites A framework for testing DBMS features,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations A framework for testing DBMS features,

Reference 51

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:05b6b41f1ea2286cdebbe795ee855f2d2121f5171b34ff2e6648e258abb518f4

Observation e09e0e28-b4ea-4c97-846f-0d248f11f9f2 · outbound

This paper cites Snowtrail: Testing with production queries on a cloud database,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Snowtrail: Testing with production queries on a cloud database,

Reference 52

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:d57ddfdaea2047271a41c3c48186a7d2c9981afc12b3bb686e5bef13540cbac9

Observation 4528886d-99e3-4872-8eca-a1afa7329a6f · outbound

This paper cites SQUIRREL: Testing database management systems with language validity and cov- erage feedback,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations SQUIRREL: Testing database management systems with language validity and cov- erage feedback,

Reference 53

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:a0c11d081773434f55e7edca4b45544b192de17928b427517e6a7e30ac5dae90

Observation 5ad21fce-10aa-4f35-94a0-64c660d8232a · outbound

This paper cites REDQUEEN: Fuzzing with input-to-state correspondence,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations REDQUEEN: Fuzzing with input-to-state correspondence,

Reference 54

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:7affac2e9956813d4eb5819e7bf81eeb6e8a13f6e1f20eb162a25b15ca998d41

Observation 81867776-40c6-4160-92aa-3cc8d454fd05 · outbound

This paper cites EnFuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations EnFuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers,

Reference 55

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:7fe84175d76d1a26cccafae7dba0eaee46094f56e0c1bcd105d11c9db7efa139

Observation e82f622e-e005-4f4a-ae05-009421cade4a · outbound

This paper cites DeepFuzzer: Accelerated deep greybox fuzzing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations DeepFuzzer: Accelerated deep greybox fuzzing,

Reference 56

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:c3d36d28362bc7519eb9e7877a0d88ec016ebc3632e95ae6ab00824ab22f60c6

Observation 3091c7c3-334a-491a-b1bd-e93e67c304ab · outbound

This paper cites PATA: Fuzzing with path aware taint analysis,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations PATA: Fuzzing with path aware taint analysis,

Reference 57

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:4d9e6a4faa09d77a913541d798d089f4b53d7f00b686d3ed4f67835bd8e1d6c2

Observation 3ee67133-efc8-4ffb-8ce6-0fac50b2c0b1 · outbound

This paper cites RIFF: Reduced instruction footprint for Coverage-Guided fuzzing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations RIFF: Reduced instruction footprint for Coverage-Guided fuzzing,

Reference 58

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:f6f0f680c9a32afc255833f9203e56ea8f326ccdda16855620ef7e1de7190696

Observation 85d73382-4310-4024-aed4-d7d46f26e5d4 · outbound

This paper cites Industry practice of coverage-guided enterprise-level DBMS fuzzing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Industry practice of coverage-guided enterprise-level DBMS fuzzing,

Reference 59

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:6320ea640bdeba39e0b5e1ed139590dee5d58fef7829d2f7e1b8119031e4d648

Observation abc4f2e3-c8f0-4095-8198-a89bfe76f57f · outbound

This paper cites Unicorn: detect runtime errors in time-series databases with hybrid input synthesis,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Unicorn: detect runtime errors in time-series databases with hybrid input synthesis,

Reference 60

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:82992d3e48cac91b26bc93e22b72aa1dd96b53deb831d78761cbae98bcf2460a

Observation 91cd6272-7692-4916-ba80-b92c49829fe7 · outbound

This paper cites QSYM: A practical concolic execution engine tailored for hybrid fuzzing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations QSYM: A practical concolic execution engine tailored for hybrid fuzzing,

Reference 61

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:97eae2584c442e0ce9cadcd98d453011e054c7a9924acc6500be009ef2ca2baf

Observation c21cbfd9-0080-4e34-9291-f777b0f9f5ef · outbound

This paper cites Sequence-oriented DBMS fuzzing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Sequence-oriented DBMS fuzzing,

Reference 62

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:844ed7abf9f2033f1b664a196a37b0307532a974b6a1c622a742240c02d2dde5

Observation dc3d668d-dee1-4c4c-8120-18fe9e9f90c8 · outbound

This paper cites Griffin : Grammar-free DBMS fuzzing,.

A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations Griffin : Grammar-free DBMS fuzzing,

Reference 63

Resolution
unresolved
no resolver link, observed 2026-06-26T06:26:43.244268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-06-26T06:26:43.244268Z digest=sha256:ededd5e38fa8d53b20a647c8e240e31eb604483c07a8fc6f0d8a402356cfbcd0

Pith citing papers

No inbound Pith citation observations are available.