@quereus/quereus 4.20.1 → 4.20.3

package/test/logic/06.3.2-schema-foreign-keys.sqllogic

@@ -0,0 +1,208 @@
+-- schema-foreign-keys.sqllogic - Testing foreign_key_info() TVF
+
+-- ===================================================================
+-- Setup: Parent tables
+-- ===================================================================
+
+CREATE TABLE authors (
+    id INTEGER PRIMARY KEY,
+    name TEXT NOT NULL
+);
+
+CREATE TABLE categories (
+    id INTEGER PRIMARY KEY,
+    label TEXT NOT NULL
+);
+
+-- ===================================================================
+-- Test 1: Basic single-column FK
+-- ===================================================================
+
+CREATE TABLE books (
+    id INTEGER PRIMARY KEY,
+    title TEXT NOT NULL,
+    author_id INTEGER,
+    FOREIGN KEY (author_id) REFERENCES authors(id)
+);
+
+SELECT id, "table", "from", referenced_table, "to", on_update, on_delete, "deferred", seq
+FROM foreign_key_info('books');
+→ [{"id":0,"table":"books","from":"author_id","referenced_table":"authors","to":"id","on_update":"restrict","on_delete":"restrict","deferred":0,"seq":0}]
+
+-- ===================================================================
+-- Test 2: Table with no FKs returns empty result
+-- ===================================================================
+
+SELECT count(*) as cnt FROM foreign_key_info('authors');
+→ [{"cnt":0}]
+
+-- ===================================================================
+-- Test 3: Named constraint
+-- ===================================================================
+
+CREATE TABLE articles (
+    id INTEGER PRIMARY KEY,
+    author_id INTEGER,
+    CONSTRAINT fk_article_author FOREIGN KEY (author_id) REFERENCES authors(id)
+);
+
+SELECT id, name, "from", "to" FROM foreign_key_info('articles');
+→ [{"id":0,"name":"fk_article_author","from":"author_id","to":"id"}]
+
+DROP TABLE articles;
+
+-- ===================================================================
+-- Test 4: ON DELETE/UPDATE actions
+-- ===================================================================
+
+CREATE TABLE posts (
+    id INTEGER PRIMARY KEY,
+    author_id INTEGER,
+    FOREIGN KEY (author_id) REFERENCES authors(id) ON DELETE CASCADE ON UPDATE RESTRICT
+);
+
+SELECT on_update, on_delete FROM foreign_key_info('posts');
+→ [{"on_update":"restrict","on_delete":"cascade"}]
+
+DROP TABLE posts;
+
+-- ===================================================================
+-- Test 5: Multiple FKs on one table — distinct id values
+-- ===================================================================
+
+CREATE TABLE tagged_books (
+    id INTEGER PRIMARY KEY,
+    author_id INTEGER,
+    category_id INTEGER,
+    FOREIGN KEY (author_id) REFERENCES authors(id),
+    FOREIGN KEY (category_id) REFERENCES categories(id)
+);
+
+SELECT id, "from", referenced_table FROM foreign_key_info('tagged_books') ORDER BY id;
+→ [{"id":0,"from":"author_id","referenced_table":"authors"},{"id":1,"from":"category_id","referenced_table":"categories"}]
+
+DROP TABLE tagged_books;
+
+-- ===================================================================
+-- Test 6: Composite FK — multiple rows with same id, different seq
+-- ===================================================================
+
+CREATE TABLE composite_parent (
+    a INTEGER,
+    b INTEGER,
+    PRIMARY KEY (a, b)
+);
+
+CREATE TABLE composite_child (
+    id INTEGER PRIMARY KEY,
+    ref_a INTEGER,
+    ref_b INTEGER,
+    FOREIGN KEY (ref_a, ref_b) REFERENCES composite_parent(a, b)
+);
+
+SELECT id, "from", "to", seq FROM foreign_key_info('composite_child') ORDER BY seq;
+→ [{"id":0,"from":"ref_a","to":"a","seq":0},{"id":0,"from":"ref_b","to":"b","seq":1}]
+
+DROP TABLE composite_child;
+DROP TABLE composite_parent;
+
+-- ===================================================================
+-- Test 7: Auto-generated constraint name for unnamed constraints
+-- ===================================================================
+
+SELECT name FROM foreign_key_info('books');
+→ [{"name":"_fk_books_author_id"}]
+
+-- ===================================================================
+-- Test 8: Nonexistent table throws error
+-- ===================================================================
+
+SELECT * FROM foreign_key_info('nonexistent_table');
+-- error: Table 'nonexistent_table' not found
+
+-- ===================================================================
+-- Test 9: Implicit single-column FK (no parent column list) resolves
+-- to the parent's primary key
+-- ===================================================================
+
+CREATE TABLE imp_parent (pid INTEGER PRIMARY KEY, other INTEGER);
+CREATE TABLE imp_child (id INTEGER PRIMARY KEY, x INTEGER REFERENCES imp_parent);
+
+SELECT "from", "to" FROM foreign_key_info('imp_child');
+→ [{"from":"x","to":"pid"}]
+
+DROP TABLE imp_child;
+DROP TABLE imp_parent;
+
+-- ===================================================================
+-- Test 10: Implicit composite FK yields one row per parent primary-key
+-- column, in primary-key order
+-- ===================================================================
+
+CREATE TABLE imp_parent2 (a INTEGER, b INTEGER, PRIMARY KEY (a, b));
+CREATE TABLE imp_child2 (
+    id INTEGER PRIMARY KEY,
+    x INTEGER,
+    y INTEGER,
+    FOREIGN KEY (x, y) REFERENCES imp_parent2
+);
+
+SELECT "from", "to", seq FROM foreign_key_info('imp_child2') ORDER BY seq;
+→ [{"from":"x","to":"a","seq":0},{"from":"y","to":"b","seq":1}]
+
+DROP TABLE imp_child2;
+DROP TABLE imp_parent2;
+
+-- ===================================================================
+-- Test 11: Implicit FK whose parent table does not exist reports "to"
+-- as NULL rather than raising
+-- ===================================================================
+
+CREATE TABLE imp_child3 (id INTEGER PRIMARY KEY, x INTEGER REFERENCES nonexistent_parent);
+
+SELECT "from", "to" FROM foreign_key_info('imp_child3');
+→ [{"from":"x","to":null}]
+
+DROP TABLE imp_child3;
+
+-- ===================================================================
+-- Test 12: Implicit FK wider than the parent's primary key reports the
+-- unmatched positions as NULL rather than raising (enforcement skips
+-- this malformed shape entirely)
+-- ===================================================================
+
+CREATE TABLE imp_parent4 (pid INTEGER PRIMARY KEY);
+CREATE TABLE imp_child4 (
+    id INTEGER PRIMARY KEY,
+    x INTEGER,
+    y INTEGER,
+    FOREIGN KEY (x, y) REFERENCES imp_parent4
+);
+
+SELECT "from", "to", seq FROM foreign_key_info('imp_child4') ORDER BY seq;
+→ [{"from":"x","to":"pid","seq":0},{"from":"y","to":null,"seq":1}]
+
+DROP TABLE imp_child4;
+DROP TABLE imp_parent4;
+
+-- ===================================================================
+-- Test 13: Implicit FK to a parent that declares no primary key resolves
+-- against the synthesized key Quereus gives every table
+-- ===================================================================
+
+CREATE TABLE imp_parent5 (a INTEGER);
+CREATE TABLE imp_child5 (id INTEGER PRIMARY KEY, x INTEGER REFERENCES imp_parent5);
+
+SELECT "from", "to" FROM foreign_key_info('imp_child5');
+→ [{"from":"x","to":"a"}]
+
+DROP TABLE imp_child5;
+DROP TABLE imp_parent5;
+
+-- ===================================================================
+-- Cleanup
+-- ===================================================================
+
+DROP TABLE books;
+DROP TABLE categories;
+DROP TABLE authors;

package/test/logic/06.3.3-introspection-tags.sqllogic

@@ -0,0 +1,202 @@
+-- introspection-tags.sqllogic - Tag and rich-metadata exposure through introspection TVFs
+
+-- ===================================================================
+-- Setup
+-- ===================================================================
+
+CREATE TABLE Orders (
+    id INTEGER PRIMARY KEY,
+    name TEXT NOT NULL
+) WITH TAGS (display_name = 'Customer Orders', audit = true);
+
+CREATE TABLE PlainTable (
+    id INTEGER PRIMARY KEY,
+    val TEXT
+);
+
+CREATE VIEW ActiveOrders AS SELECT * FROM Orders WHERE id > 0
+    WITH TAGS (cacheable = true, purpose = 'active orders filter');
+
+CREATE VIEW PlainView AS SELECT * FROM PlainTable;
+
+-- ===================================================================
+-- schema() — tags on tables / views; null for untagged & functions
+-- (index tags live in 06.3.3.1-introspection-tags-index — they need index DDL)
+-- ===================================================================
+
+SELECT name, json_extract(tags, '$.display_name') AS display_name
+    FROM schema() WHERE type = 'table' AND name = 'Orders';
+→ [{"name":"Orders","display_name":"Customer Orders"}]
+
+SELECT tags FROM schema() WHERE type = 'table' AND name = 'PlainTable';
+→ [{"tags":null}]
+
+SELECT json_extract(tags, '$.cacheable') AS cacheable,
+       json_extract(tags, '$.purpose') AS purpose
+    FROM schema() WHERE type = 'view' AND name = 'ActiveOrders';
+→ [{"cacheable":true,"purpose":"active orders filter"}]
+
+SELECT tags FROM schema() WHERE type = 'view' AND name = 'PlainView';
+→ [{"tags":null}]
+
+-- Functions never carry tags
+SELECT count(*) AS bad FROM schema() WHERE type = 'function' AND tags IS NOT NULL;
+→ [{"bad":0}]
+
+-- ===================================================================
+-- table_info() — column-level tags, collation, generated flag
+-- ===================================================================
+
+CREATE TABLE Products (
+    id INTEGER PRIMARY KEY WITH TAGS (display_name = 'Product ID'),
+    name TEXT NOT NULL COLLATE NOCASE WITH TAGS (searchable = true),
+    price REAL NOT NULL,
+    discounted REAL GENERATED ALWAYS AS (price * 0.9),
+    snapshot REAL GENERATED ALWAYS AS (price + 1) STORED
+);
+
+SELECT name, json_extract(tags, '$.display_name') AS display_name,
+       json_extract(tags, '$.searchable') AS searchable
+    FROM table_info('Products') ORDER BY cid;
+→ [{"name":"id","display_name":"Product ID","searchable":null},{"name":"name","display_name":null,"searchable":true},{"name":"price","display_name":null,"searchable":null},{"name":"discounted","display_name":null,"searchable":null},{"name":"snapshot","display_name":null,"searchable":null}]
+
+SELECT name, collation FROM table_info('Products') ORDER BY cid;
+→ [{"name":"id","collation":"BINARY"},{"name":"name","collation":"NOCASE"},{"name":"price","collation":"BINARY"},{"name":"discounted","collation":"BINARY"},{"name":"snapshot","collation":"BINARY"}]
+
+SELECT name, "generated" FROM table_info('Products') ORDER BY cid;
+→ [{"name":"id","generated":0},{"name":"name","generated":0},{"name":"price","generated":0},{"name":"discounted","generated":1},{"name":"snapshot","generated":2}]
+
+-- ===================================================================
+-- foreign_key_info() — tags on FKs, repeated per seq row
+-- ===================================================================
+
+CREATE TABLE FkChild (
+    id INTEGER PRIMARY KEY,
+    order_id INTEGER,
+    CONSTRAINT fk_child_order FOREIGN KEY (order_id) REFERENCES Orders(id)
+        WITH TAGS (audit = true, purpose = 'links to orders')
+);
+
+SELECT name, json_extract(tags, '$.audit') AS audit,
+       json_extract(tags, '$.purpose') AS purpose
+    FROM foreign_key_info('FkChild');
+→ [{"name":"fk_child_order","audit":true,"purpose":"links to orders"}]
+
+-- Composite FK: tags repeat across all seq rows
+CREATE TABLE CompositeParent (
+    a INTEGER,
+    b INTEGER,
+    PRIMARY KEY (a, b)
+);
+
+CREATE TABLE CompositeChild (
+    id INTEGER PRIMARY KEY,
+    ref_a INTEGER,
+    ref_b INTEGER,
+    CONSTRAINT fk_composite FOREIGN KEY (ref_a, ref_b) REFERENCES CompositeParent(a, b)
+        WITH TAGS (kind = 'composite')
+);
+
+SELECT seq, json_extract(tags, '$.kind') AS kind
+    FROM foreign_key_info('CompositeChild') ORDER BY seq;
+→ [{"seq":0,"kind":"composite"},{"seq":1,"kind":"composite"}]
+
+-- Untagged FK
+SELECT tags FROM foreign_key_info('CompositeChild')
+    WHERE tags IS NOT NULL LIMIT 0;
+→ []
+
+-- ===================================================================
+-- index_info() — empty on a table with no indexes
+-- (the populated column-by-column layout lives in
+--  06.3.3.1-introspection-tags-index — it needs index DDL)
+-- ===================================================================
+
+-- Empty result on a table with no indexes
+SELECT count(*) AS cnt FROM index_info('PlainTable') WHERE index_name LIKE 'idx_%';
+→ [{"cnt":0}]
+
+-- ===================================================================
+-- check_constraint_info() — named CHECK with tags, unnamed without
+-- ===================================================================
+
+CREATE TABLE ChkTable (
+    id INTEGER PRIMARY KEY,
+    qty INTEGER,
+    CONSTRAINT chk_qty_positive CHECK (qty > 0) WITH TAGS (error_message = 'must be positive'),
+    CHECK (qty < 1000)
+);
+
+SELECT name, "deferrable", initially_deferred,
+       json_extract(tags, '$.error_message') AS msg
+    FROM check_constraint_info('ChkTable') ORDER BY id;
+→ [{"name":"chk_qty_positive","deferrable":0,"initially_deferred":0,"msg":"must be positive"},{"name":null,"deferrable":0,"initially_deferred":0,"msg":null}]
+
+-- expr text round-trips through the AST stringifier
+SELECT expr FROM check_constraint_info('ChkTable') WHERE name = 'chk_qty_positive';
+→ [{"expr":"qty > 0"}]
+
+-- ===================================================================
+-- unique_constraint_info() — named UNIQUE with tags, multi-column
+-- ===================================================================
+
+CREATE TABLE UqTable (
+    id INTEGER PRIMARY KEY,
+    email TEXT NOT NULL,
+    region TEXT NOT NULL,
+    code TEXT NOT NULL,
+    CONSTRAINT uq_email UNIQUE (email) WITH TAGS (error_message = 'email must be unique'),
+    UNIQUE (region, code)
+);
+
+SELECT id, name, seq, column_name, partial,
+       json_extract(tags, '$.error_message') AS msg
+    FROM unique_constraint_info('UqTable') ORDER BY id, seq;
+→ [{"id":0,"name":"uq_email","seq":0,"column_name":"email","partial":0,"msg":"email must be unique"},{"id":1,"name":null,"seq":0,"column_name":"region","partial":0,"msg":null},{"id":1,"name":null,"seq":1,"column_name":"code","partial":0,"msg":null}]
+
+-- A partial unique INDEX synthesizing a partial unique constraint lives in
+-- 06.3.3.1-introspection-tags-index (it needs standalone CREATE UNIQUE INDEX).
+
+-- ===================================================================
+-- assertion_info() — CREATE ASSERTION listing
+-- ===================================================================
+
+CREATE TABLE AssertData (id INTEGER PRIMARY KEY, val INTEGER);
+-- run
+
+CREATE ASSERTION val_positive CHECK (NOT EXISTS (SELECT 1 FROM AssertData WHERE val < 0));
+CREATE ASSERTION val_bounded CHECK (NOT EXISTS (SELECT 1 FROM AssertData WHERE val > 100));
+-- run
+
+SELECT name, "deferrable", initially_deferred FROM assertion_info() ORDER BY name;
+→ [{"name":"val_bounded","deferrable":1,"initially_deferred":1},{"name":"val_positive","deferrable":1,"initially_deferred":1}]
+
+-- violation_sql is non-empty
+SELECT count(*) AS cnt FROM assertion_info() WHERE length(violation_sql) > 0;
+→ [{"cnt":2}]
+
+-- dependent_tables is a JSON array of the base tables the body reads: one entry
+-- per table reference, named `<schema>.<table>` lowercased
+SELECT count(*) AS cnt FROM assertion_info() WHERE json_valid(dependent_tables) = 1;
+→ [{"cnt":2}]
+
+SELECT name, json_array_length(dependent_tables) AS n, json_extract(dependent_tables, '$[0].base') AS base
+FROM assertion_info() ORDER BY name;
+→ [{"name":"val_bounded","n":1,"base":"main.assertdata"},{"name":"val_positive","n":1,"base":"main.assertdata"}]
+
+-- ===================================================================
+-- Cleanup
+-- ===================================================================
+DROP ASSERTION val_bounded;
+DROP ASSERTION val_positive;
+DROP TABLE AssertData;
+DROP TABLE UqTable;
+DROP TABLE ChkTable;
+DROP TABLE CompositeChild;
+DROP TABLE CompositeParent;
+DROP TABLE FkChild;
+DROP TABLE Products;
+DROP VIEW PlainView;
+DROP VIEW ActiveOrders;
+DROP TABLE PlainTable;
+DROP TABLE Orders;

package/test/logic/06.3.3.1-introspection-tags-index.sqllogic

@@ -0,0 +1,74 @@
+-- 06.3.3.1-introspection-tags-index.sqllogic - Index tags and index layout through introspection TVFs
+--
+-- requires-capability: standalone-index-ddl
+--
+-- Carved out of 06.3.3-introspection-tags: that file exposes tags and rich metadata
+-- for tables, views, columns, foreign keys, CHECK constraints, non-index UNIQUE
+-- constraints and assertions, none of which needs index DDL. The index-shaped parts
+-- all do — an index is the only object they can be about — so they move here and the
+-- rest stays runnable on a backend without first-class CREATE INDEX.
+--
+-- Subject: schema() reports an index's tags (and null when untagged), index_info()
+-- reports the column-by-column layout with desc/unique/partial flags and tags, and a
+-- partial unique index synthesizes a partial UNIQUE constraint in
+-- unique_constraint_info().
+
+-- ===================================================================
+-- Setup
+-- ===================================================================
+
+CREATE TABLE Orders (
+    id INTEGER PRIMARY KEY,
+    name TEXT NOT NULL
+) WITH TAGS (display_name = 'Customer Orders', audit = true);
+
+CREATE INDEX idx_orders_name ON Orders (name)
+    WITH TAGS (purpose = 'name lookup');
+
+CREATE INDEX idx_orders_plain ON Orders (id);
+
+-- ===================================================================
+-- schema() — tags on indexes; null for untagged
+-- ===================================================================
+
+SELECT name, json_extract(tags, '$.purpose') AS purpose
+    FROM schema() WHERE type = 'index' AND name = 'idx_orders_name';
+→ [{"name":"idx_orders_name","purpose":"name lookup"}]
+
+SELECT tags FROM schema() WHERE type = 'index' AND name = 'idx_orders_plain';
+→ [{"tags":null}]
+
+-- ===================================================================
+-- index_info() — column-by-column index layout, partial/unique/tags
+-- ===================================================================
+
+CREATE TABLE IdxTable (
+    id INTEGER PRIMARY KEY,
+    a TEXT,
+    b INTEGER,
+    status TEXT
+);
+
+CREATE INDEX idx_a_asc ON IdxTable (a) WITH TAGS (purpose = 'lookup');
+CREATE INDEX idx_b_desc ON IdxTable (b DESC);
+CREATE UNIQUE INDEX idx_a_unique ON IdxTable (a);
+CREATE INDEX idx_a_partial ON IdxTable (a) WHERE status = 'active';
+
+SELECT index_name, seq, column_name, "desc", "unique", partial,
+       json_extract(tags, '$.purpose') AS purpose
+    FROM index_info('IdxTable') ORDER BY index_name, seq;
+→ [{"index_name":"idx_a_asc","seq":0,"column_name":"a","desc":0,"unique":0,"partial":0,"purpose":"lookup"},{"index_name":"idx_a_partial","seq":0,"column_name":"a","desc":0,"unique":0,"partial":1,"purpose":null},{"index_name":"idx_a_unique","seq":0,"column_name":"a","desc":0,"unique":1,"partial":0,"purpose":null},{"index_name":"idx_b_desc","seq":0,"column_name":"b","desc":1,"unique":0,"partial":0,"purpose":null}]
+
+-- ===================================================================
+-- unique_constraint_info() — partial unique index synthesizes a partial constraint
+-- ===================================================================
+
+CREATE TABLE PuTable (
+    id INTEGER PRIMARY KEY,
+    code TEXT NOT NULL,
+    status TEXT NOT NULL
+);
+CREATE UNIQUE INDEX uq_pu_active ON PuTable (code) WHERE status = 'active';
+
+SELECT name, partial FROM unique_constraint_info('PuTable');
+→ [{"name":"uq_pu_active","partial":1}]