Commit Graph

  • f5766379ce Allow unbound identifiers specifically for INSERT ... ON CONFLICT Jussi Saurio 2025-10-08 08:36:12 +03:00
  • 13566e5cad Merge 'Integrity check enhancements' from Jussi Saurio Pekka Enberg 2025-10-08 08:57:18 +03:00
  • 1f68e80c50 test(cli_tests): .tables with attached db Konstantinos Artopoulos 2025-10-08 00:17:03 +03:00
  • 7b17c824fb feat(cli): .tables and .indexes dot commands should show tables and indexes from attached databases Konstantinos Artopoulos 2025-10-08 00:16:33 +03:00
  • 7e9277958b Fix deferred FK in vdbe PThorpe92 2025-10-06 15:07:23 -04:00
  • a232e3cc7a Implement proper handling of deferred foreign keys PThorpe92 2025-10-01 13:54:13 -04:00
  • f56f37fae5 Add more tests for self-referencing FKs and remove unneeded FkIfZero checks/labels in emitter PThorpe92 2025-10-01 12:59:08 -04:00
  • 99ae96c5f6 Fix self-referential FK relationships and validation of FKs PThorpe92 2025-10-01 11:09:18 -04:00
  • fa23cedbbe Add helper to pragma to parse enabled opts and fix schema parsing for foreign key constraints PThorpe92 2025-09-30 20:12:39 -04:00
  • 23248d9001 Add UPSERT to fuzzing for FK constraints PThorpe92 2025-09-30 19:42:03 -04:00
  • 37c8abf247 Fix schema representation and methods for ForeignKey resolution PThorpe92 2025-09-29 19:44:39 -04:00
  • ae975afe49 Remove unnecessary FK resolution on schema parsing PThorpe92 2025-09-29 19:16:03 -04:00
  • a343dacaaf translate: make bind_and_rewrite_expr() reject identifiers if no referenced tables exist Jussi Saurio 2025-10-07 23:34:26 +03:00
  • 16d19fd39e Add tcl tests for foreign keys PThorpe92 2025-09-29 19:15:50 -04:00
  • 2db18f8230 Add fk_fuzzing sql file to .gitignore PThorpe92 2025-09-29 19:15:14 -04:00
  • 346e6fedfa Create ForeignKey, ResolvedFkRef types and FK resolution PThorpe92 2025-09-27 20:49:26 -04:00
  • 223b060a6a Increase instance size to avoid OOM Henrik Ingo 2025-10-07 23:26:19 +03:00
  • c2b7026131 Add FOREIGN_KEY constraint error PThorpe92 2025-09-27 20:49:02 -04:00
  • d04b07b8b7 Add pragma foreign_keys and fk_if_zero and fk_counter opcodes PThorpe92 2025-09-27 20:48:42 -04:00
  • b40e784903 Update COMPAT.md, add fk related opcodes PThorpe92 2025-09-27 20:45:17 -04:00
  • 8bdef12e15 Merge 'Remove unsafe pointers (RawSlice) from RefValue' from Levy A. Jussi Saurio 2025-10-07 22:42:52 +03:00
  • 1cef12ef73 Merge 'Simulator: Add Drop and pave the way for Schema changes' from Pedro Muniz Jussi Saurio 2025-10-07 22:41:53 +03:00
  • 300d918040 fix differential check for parse error pedrocarlo 2025-10-07 14:58:56 -03:00
  • 3b2583c540 adjust Interaction generation to take into account possibilty of PropertyDistribution to have 0 Weights pedrocarlo 2025-10-07 13:31:27 -03:00
  • c578f7ba96 Faultless should produce any type of query, just not faulty pedrocarlo 2025-10-07 13:31:27 -03:00
  • 21fc8bae2a Property::FaultyQuery and FsyncNoWait stored a list of tables to check the on the database. Again, the FaultyQuery could be a Drop Table which meant that we could be running a SELECT on an inexistent table. To solve this, just insert a Property that check all the tables in the db after a Faulty Property pedrocarlo 2025-10-07 12:15:57 -03:00
  • 6bad5d04ce generate extensional queries when iterating over the next interaction, not when generating the property. This is necessary as the extensional queries can modify schema and thus could cause the next queries to fail because the DB enviroment context was not updated on generation time. Rule of thumb: queries should never be generated in bulk, always one a a time so the enviroment can be shadowed accordingly pedrocarlo 2025-10-06 14:28:03 -03:00
  • 104c2ffc5e Fix isBeforeFirst to return false for empty ResultSet kimminseok 2025-10-08 00:40:15 +09:00
  • 043a9fc7b8 Change to verify full exception messages in findColumn tests kimminseok 2025-10-08 00:25:28 +09:00
  • d90d0f3f9f Separate publish.gradle.kts from build.gradle.kts Kim Seon Woo 2025-10-07 23:52:12 +09:00
  • e9ccdf15d8 Apply lint Kim Seon Woo 2025-10-07 23:52:03 +09:00
  • 64fd282eb0 Fix NullAway warnings in JDBC4ResultSet kimminseok 2025-10-07 23:50:48 +09:00
  • 6d5443d4f0 add Query::Placeholder pedrocarlo 2025-10-06 14:20:56 -03:00
  • 7eb504baef certain properties cannot be generated if there are no tables in the current context pedrocarlo 2025-10-06 14:00:38 -03:00
  • 07cc1c548b adjust query generation to avoid DROP for certain extensional queries pedrocarlo 2025-10-06 13:10:02 -03:00
  • 4fc7be5042 as we have DROP table now, if we want to generate extensional queries eagerly, without affecting how we document interactions with MVCC, we need to travel forward in time and shadow queries eagerly so we can generate queries correctly. This involves cloning the tables unfortunately which is inneficient but correct pedrocarlo 2025-10-06 00:19:24 -03:00
  • 3e8867c8f5 DropSelect property should only fail when error is not a parse error on the table name pedrocarlo 2025-10-06 00:10:55 -03:00
  • 7f93f64fc5 enable Drop statements pedrocarlo 2025-10-05 19:32:48 -03:00
  • c149f65b91 Add java-publish.yml workflow Kim Seon Woo 2025-10-07 23:38:07 +09:00
  • 8af9a53818 Update build.gradle.kts for publishing Kim Seon Woo 2025-10-07 23:37:53 +09:00
  • fe7027e8ee Fix Makefile libs command Kim Seon Woo 2025-10-07 23:33:13 +09:00
  • 76af79c4fa Add javadoc on classes and public methods for publishing to maven central Kim Seon Woo 2025-10-07 23:33:02 +09:00
  • 253d54c15a Fix spotless lint errors kimminseok 2025-10-07 23:18:35 +09:00
  • ff67c1f3ca Merge 'Make table name not repeat in simulator' from bit-aloo Pekka Enberg 2025-10-07 17:04:23 +03:00
  • cf53ecb7e3 refactor: remove TextRef and RawSlice and fix tests Levy A. 2025-10-05 23:43:12 -03:00
  • 77a412f6af refactor: remove unsafe reference semantics from RefValue Levy A. 2025-10-05 21:31:29 -03:00
  • 243a5c719f Merge 'Fix re-entrancy of op_destroy (used by DROP TABLE)' from Jussi Saurio Pekka Enberg 2025-10-07 16:13:23 +03:00
  • 7f8c139638 make clippy happy bit-aloo 2025-10-07 18:27:02 +05:30
  • e5c44cced0 fix: perf_nightly YAML syntax Henrik Ingo 2025-10-07 15:53:17 +03:00
  • 24438f7e4e Fix: perf_nightly.yml YAML syntax Henrik Ingo 2025-10-07 15:51:34 +03:00
  • 1c4a54a73c Add comment explaining the 0 for infinity timestamp Duy Dang 2025-10-07 19:46:26 +07:00
  • 5583e76981 Fix re-entrancy of op_destroy (used by DROP TABLE) Jussi Saurio 2025-10-07 15:29:10 +03:00
  • f977c5f0a4 Add Nightly versions of benchmarks that run on Nyrkiö runners Henrik Ingo 2025-10-07 15:38:04 +03:00
  • 73efe5d853 make table name not repeat in simulator bit-aloo 2025-10-07 17:49:15 +05:30
  • fc2d532d80 Merge 'perf/throughput: Delete database before benchmark run' from Pekka Enberg Pekka Enberg 2025-10-07 13:44:34 +03:00
  • 1dbf493f14 Merge 'emit proper column information for explain prepared statements' from Nikita Sivukhin Pekka Enberg 2025-10-07 13:44:17 +03:00
  • b98c4ece0d Merge 'core/mvcc/logical-log: switch RwLock to parking_lot' from Pere Diaz Bou Pekka Enberg 2025-10-07 13:43:39 +03:00
  • c3dbcec8c9 Merge 'core/io: remove new_dummy in place of new_yield' from Pere Diaz Bou Pekka Enberg 2025-10-07 13:39:19 +03:00
  • a7d2462c05 core/io/uring: fix inner usages Pere Diaz Bou 2025-10-07 12:05:54 +02:00
  • 3e508a4b42 core/io: remove new_dummy in place of new_yield Pere Diaz Bou 2025-10-07 12:00:21 +02:00
  • 44152f11d0 core/mvcc/logical-log: switch RwLock to parking_lot Pere Diaz Bou 2025-10-07 11:15:48 +02:00
  • 5941c03a4f integrity check: check for dangling (unused) pages Jussi Saurio 2025-10-07 11:35:38 +03:00
  • 603b7121de integrity check: check index root pages too Jussi Saurio 2025-10-07 11:34:25 +03:00
  • bd1013d62f emit proper column information for explain prepared statements Nikita Sivukhin 2025-10-07 12:28:55 +04:00
  • d5c49c17c7 perf/throughput: Delete database before benchmark run Pekka Enberg 2025-10-07 09:56:32 +03:00
  • f78103cafa Merge 'Modify Interactions Generation to only generate possible queries' from Pedro Muniz Jussi Saurio 2025-10-07 09:36:10 +03:00
  • a72b07e949 Merge 'Fix VDBE program abort' from Nikita Sivukhin Pekka Enberg 2025-10-07 09:07:07 +03:00
  • dacb8e3350 Merge 'Fix attach I/O error with in-memory databases' from Preston Thorpe Pekka Enberg 2025-10-07 09:00:02 +03:00
  • ce41bebaa8 Merge 'core/incremental: Fix re-insertion of data with same key' from Glauber Costa Pekka Enberg 2025-10-07 08:47:38 +03:00
  • e9be38c769 Merge 'Add MVCC checkpoint threshold pragma' from bit-aloo Pekka Enberg 2025-10-07 08:46:41 +03:00
  • 5f2beb1122 Merge 'core/incremental: Implement "is null" and "is not null" tests for view filter' from Glauber Costa Pekka Enberg 2025-10-07 08:45:45 +03:00
  • 8b6456f843 do not allow Property::Queries to attempt to be generated pedrocarlo 2025-10-05 19:29:39 -03:00
  • 91da12390d refactor property generation to use query distribution and avoid more memory allocations pedrocarlo 2025-10-05 19:04:34 -03:00
  • b1c26505b8 adjust Rng generic to include ?Sized + introduce WeightedDistribution trait pedrocarlo 2025-10-05 17:04:20 -03:00
  • aec6668725 add ?Sized to Arbitrary traits pedrocarlo 2025-10-05 17:04:20 -03:00
  • a5845285be remove unnecessary functions pedrocarlo 2025-10-05 16:55:48 -03:00
  • bb9c8dea4f rework interaction generation to only generate possible queries + do less allocations pedrocarlo 2025-10-03 18:13:56 -03:00
  • 1d1b09dc17 modify query generation to always sample from valid queries pedrocarlo 2025-10-03 18:13:56 -03:00
  • 85f2755837 feat(java): implement getTimestamp() in JDBC4ResultSet kimminseok 2025-10-07 14:30:03 +09:00
  • ffd43b4b77 feat(java): implement getTime() in JDBC4ResultSet kimminseok 2025-10-07 14:25:46 +09:00
  • 6adc272d75 feat(java): implement getDate() in JDBC4ResultSet kimminseok 2025-10-07 14:22:13 +09:00
  • fb370c63a6 feat(java): implement getRow() in JDBC4ResultSet kimminseok 2025-10-07 14:18:34 +09:00
  • fd61ddbd21 feat(java): implement isBeforeFirst(), isAfterLast() in JDBC4ResultSet kimminseok 2025-10-07 14:15:10 +09:00
  • 80d11b75b1 feat(java): implement getBigDecimal() in JDBC4ResultSet kimminseok 2025-10-07 14:10:58 +09:00
  • 2aa76709c2 feat(java): implement getCharacterStream() in JDBC4ResultSet kimminseok 2025-10-07 14:06:59 +09:00
  • fcb0323218 feat(java): implement findColumn() in JDBC4ResultSet kimminseok 2025-10-07 14:02:10 +09:00
  • afadb32c4c fmt fixes bit-aloo 2025-10-07 10:20:13 +05:30
  • 68b6ffe57c Implement mvcc_checkpoint_threshold pragma bit-aloo 2025-10-07 10:11:53 +05:30
  • 551dbf518e Add new mvcc_checkpoint_threshold pragma name bit-aloo 2025-10-07 10:11:20 +05:30
  • fb5f5d9a90 Add MVCC checkpoint threshold APIs to Connection bit-aloo 2025-10-07 10:10:47 +05:30
  • 66c69461fb Add getter/setter for checkpoint threshold in LogicalLog bit-aloo 2025-10-07 10:09:39 +05:30
  • e2694ff88b implement is null / is not null tests for mview filter Glauber Costa 2025-10-06 21:21:53 -05:00
  • 20d2ca55fe fix clippy warning PThorpe92 2025-10-06 21:43:48 -04:00
  • addb9ef65b Add regression test for #3540 attach issue PThorpe92 2025-10-06 21:33:42 -04:00
  • 17da71ee3c Open db with proper IO when attaching database to fix #3540 PThorpe92 2025-10-06 21:33:20 -04:00
  • beb44e8e8c fix mviews with re-insertion of data with the same key Glauber Costa 2025-10-06 20:12:49 -05:00
  • 497808a40c Merge 'eliminate the need for another Once in Completion' from Pedro Muniz Preston Thorpe 2025-10-06 19:52:41 -04:00
  • 26a3e069fb Fix missing row versions to checkpoint Duy Dang 2025-10-07 01:11:46 +07:00
  • f8bdc02986 Merge 'Rename Completion methods' from Pedro Muniz Pekka Enberg 2025-10-06 20:12:21 +03:00
  • 0134192cae Merge 'Top level examples' from Nikita Sivukhin Pekka Enberg 2025-10-06 18:26:18 +03:00