CSharpDB v4.1.0
version4.1.0
version4.1.0 establishes CSharpDB's proof-backed SQL compatibility contract and expands the dialect across constraints, composite relationships, transactional schema changes, compound queries, windows, metadata, and generated SQL. It also hardens ALTER and window execution, pager shutdown, and immutable compatibility release gates.
SQL and Schema Compatibility
- Added quoted identifiers, SQL three-valued logic, literal and
NULLdefaults, explicitDEFAULTinsert forms, and deterministic row-local column/tableCHECKconstraints. - Added persisted logical primary and unique keys, including composite tuples, plus table-level and composite foreign keys with immediate
RESTRICTandCASCADEbehavior for deletes and key updates. - Added transactional shadow-root rewrites for unconstrained
DROP COLUMNand populated literal-defaultADD COLUMN, together with default, nullability, named-check, table/column rename, and foreign-key constraint alterations. - ALTER now rejects stored-view, trigger-body, and validation-rule dependencies before mutation, and failed writes make explicit transactions rollback-only.
Queries and Diagnostics
- Added lazy duplicate-preserving
UNION ALLexecution and an in-memory first-tier window-function slice for ranking and common aggregates. - Star projections can be mixed with expressions and windows without leaking hidden window columns; cancellation and cleanup are enforced throughout window execution.
EXPLAIN ESTIMATE FORnow uses the shared read-only routing rules, including reader sessions, and prepared statements discover and rebind parameters in the explained target.- Built-in function metadata is centralized and exposed through
sys.functions.
Providers, Metadata, and Documentation
- Expanded schema metadata across SQL catalogs, ADO.NET, REST, gRPC, archives, Admin, DevOps, and the EF Core provider for defaults, checks, ordered keys, and ordered foreign-key pairs.
- Expanded EF Core SQL and migration generation for literal defaults, checks,
DEFAULT VALUES, composite primary keys, indexes, and related supported schema operations. - Added a machine-readable compatibility manifest, JSON Schema, deterministic HTML matrix, public roadmap, proof-backed tests, and CI/Pages documentation checks.
Compatibility and Release Qualification
- Published the immutable 4.1.0 SQL compatibility snapshot required by tagged-release qualification, and aligned package, manifest, roadmap, and generated-matrix metadata with the release.
- Added tooling and release CI gates for immutable per-version compatibility snapshots, strict semantic-version progression, verified commit ancestry, manifest/schema parity, tracked artifacts, and prior-snapshot immutability.
- Legacy schema fixtures remain readable, and newly added schema metadata is serialized additively and covered by reopen, archive, transport, and tooling tests.
- Pager shutdown now atomically stops and drains background checkpoints before final WAL cleanup, preventing a late checkpoint from truncating a WAL while the next daemon host recovers it.
- Broader ALTER type/collation/key rewrites, spill-backed windows, physical
EXPLAIN ANALYZE, and the remaining performance, replay, upgrade, and crash-qualification lanes remain planned rather than advertised as supported. - Release validation completed with a zero-warning solution build, 2,306 passing tests across the solution, 43 documented compatibility features backed by 141 proof IDs, positive plus tamper-rejection release-gate fixtures, and 10 fresh-process passes of the complete daemon suite.