httk.store.backend.sql.mapping¶
Schema-to-SQL mapping: build SQLAlchemy Core tables from resolved TableSchema IR.
table_for() turns one resolved schema into a sqlalchemy.Table
registered in a sqlalchemy.MetaData (idempotently: an already-built
table is returned as-is), recursing into referenced and child-element storable
classes so that the complete logical layout is present in the same metadata.
sqlalchemy_metadata() is the convenience wrapper that maps a batch of
schemas into one fresh metadata.
The relational layout produced here is exactly the one the schema IR documents, plus the store-managed columns:
every parent table gets an
sidinteger primary key (autoincrementing, with an attached<table>_sid_seqsequence for dialects such as DuckDB that need one; SQLite ignores it) and — only under the"content_id"dedup policy — a unique-indexedcontent_idtext column;every child table gets a
<parent table>_sidinteger sid column (NOT NULL, indexed) and a<field>_indexinteger ordering column ahead of its element columns; logical references are defined byhttk.store.backend.sql.graph.
Index names are deterministic and table-scoped — ix_<table>_<column> for
plain indexes, uq_<table>_<column> for unique ones, columns joined by
underscores for composites — truncated with a stable hash suffix when they
would exceed common identifier-length limits.
Attributes¶
The store-managed integer primary-key column present on every table. |
|
The store-managed content-identity column of tables with the |
|
The permanentization role of a parent record — |
|
The store-managed integer timestamp on every parent record table. |
|
The store-managed lineage identity on every parent record table (a fresh record's own sid, copied by a replacement). |
|
The store-managed alternative-group identity on every parent record table (a main's |
|
The store-managed alternative kind on every parent record table ( |
|
The content identity primary key of an entry-family dispatch table. |
|
The source lineage id (a source record's |
|
The target lineage id (a target record's |
|
Whether a weak-link revision retracts the pair ( |
|
Functions¶
|
A fresh |
|
The deterministic reserved table name for one registered entry family. |
|
The deterministic nullable foreign-key column for one backing in a dispatch table. |
|
Build the one-of-many dispatch table for an entry family. |
|
Build the two family-wide entry-identity ownership tables. |
|
The |
|
The append-only link table backing one weak-link declaration, built on first use. |
|
The DDL statements adding one nullable column (and its declared index) to an existing table. |
Module Contents¶
- httk.store.backend.sql.mapping.SID_COLUMN: Final = 'sid'¶
The store-managed integer primary-key column present on every table.
- httk.store.backend.sql.mapping.CONTENT_ID_COLUMN: Final = 'content_id'¶
The store-managed content-identity column of tables with the
"content_id"dedup policy.
- httk.store.backend.sql.mapping.ROLE_COLUMN: Final = '_httk_role'¶
The permanentization role of a parent record —
0dependency,1main.
- httk.store.backend.sql.mapping.STORE_TIMESTAMP_COLUMN: Final = 'store_timestamp'¶
The store-managed integer timestamp on every parent record table.
- httk.store.backend.sql.mapping.LOGICAL_ID_COLUMN: Final = 'logical_id'¶
The store-managed lineage identity on every parent record table (a fresh record’s own sid, copied by a replacement).
- httk.store.backend.sql.mapping.ALT_ID_COLUMN: Final = 'alt_id'¶
The store-managed alternative-group identity on every parent record table (a main’s
logical_id; self for mains).
- httk.store.backend.sql.mapping.ALT_KIND_COLUMN: Final = 'alt_kind'¶
The store-managed alternative kind on every parent record table (
NULLfor mains, a kind name for alternatives).
- httk.store.backend.sql.mapping.DISPATCH_CONTENT_ID_COLUMN: Final = 'content_id'¶
The content identity primary key of an entry-family dispatch table.
- httk.store.backend.sql.mapping.SOURCE_LID_COLUMN: Final = 'source_lid'¶
The source lineage id (a source record’s
logical_id) of a weak-link row.
- httk.store.backend.sql.mapping.TARGET_LID_COLUMN: Final = 'target_lid'¶
The target lineage id (a target record’s
logical_id) of a weak-link row.
- httk.store.backend.sql.mapping.RETRACTED_COLUMN: Final = 'retracted'¶
Whether a weak-link revision retracts the pair (
1) or asserts it (0).
- httk.store.backend.sql.mapping.ENTRY_ID_OWNERS_TABLE_NAME: Final = '_httk_entry_id_owners'¶
- httk.store.backend.sql.mapping.IMMUTABLE_ID_OWNERS_TABLE_NAME: Final = '_httk_immutable_id_owners'¶
- httk.store.backend.sql.mapping.sqlalchemy_metadata(schemas, *, store_timestamps=True)¶
A fresh
sqlalchemy.MetaDataholding the tables ofschemas(recursively).
- httk.store.backend.sql.mapping.entry_dispatch_table_name(family_name)¶
The deterministic reserved table name for one registered entry family.
- httk.store.backend.sql.mapping.backing_dispatch_column_name(backing_name)¶
The deterministic nullable foreign-key column for one backing in a dispatch table.
- httk.store.backend.sql.mapping.dispatch_table_for(family_name, backings, metadata)¶
Build the one-of-many dispatch table for an entry family.
A single-backing family has no dispatch table and must not call this helper. The primary key is the backing record’s canonical content id; every nullable backing sid is unique on its own, and the named check constraint makes precisely one of them non-null.
- httk.store.backend.sql.mapping.identity_owner_tables(metadata)¶
Build the two family-wide entry-identity ownership tables.
- httk.store.backend.sql.mapping.table_for(schema, metadata, *, store_timestamps=True)¶
The
sqlalchemy.Tableofschemawithinmetadata, building it on first use.Building is idempotent per metadata — if the table is already registered it is returned unchanged — and recursive: the child tables of the schema and the tables of every referenced storable class (reference fields and storable child elements alike) are built into the same metadata, so the complete logical layout is available to the storage algorithms.
- httk.store.backend.sql.mapping.link_table_for(link, metadata, *, store_timestamps=True)¶
The append-only link table backing one weak-link declaration, built on first use.
Columns: an autoincrement
sidprimary key, a non-unique-indexedlogical_idlineage column (a fresh row’s own sid, copied by a revision), an optionalstore_timestamp(present exactly when the store keeps timestamps), thesource_lid/target_lidendpoint lineage ids, and aretractedflag. Indexes cover(source_lid, target_lid)and(target_lid).
- httk.store.backend.sql.mapping.added_column_ddl(table_name, spec, connection)¶
The DDL statements adding one nullable column (and its declared index) to an existing table.
The column type and the deterministic index name reuse the same mappings
table_for()builds tables with, so an additively upgraded table is physically identical to one that lazy DDL would build from scratch.- Parameters:
table_name (str) – The existing parent table being altered.
spec (httk.store.backend.schema.ColumnSpec) – The nullable column to add (an additive upgrade only adds nullable columns).
connection (sqlalchemy.Connection) – The live connection whose dialect renders types and quotes identifiers.
- Returns:
One
ALTER TABLE ... ADD COLUMNstatement, plus an idempotentCREATE INDEX IF NOT EXISTSstatement when the column declares an index.- Return type: