@ez4/database 0.9.0 → 0.11.0

package/dist/library.cjs

@@ -1,93 +1,96 @@
-"use strict";var K=Object.defineProperty;var Ae=Object.getOwnPropertyDescriptor;var Oe=Object.getOwnPropertyNames;var Re=Object.prototype.hasOwnProperty;var ke=(e,t)=>{for(var r in t)K(e,r,{get:t[r],enumerable:!0})},ze=(e,t,r,o)=>{if(t&&
-typeof t=="object"||typeof t=="function")for(let a of Oe(t))!Re.call(e,a)&&a!==r&&
-K(e,a,{get:()=>t[a],enumerable:!(o=Ae(t,a))||o.enumerable});return e};var Ce=e=>ze(K({},"__esModule",{value:!0}),e);var Ke={};ke(Ke,{IncompleteHandlerError:()=>F,IncompleteServiceError:()=>E,IncompleteStreamError:()=>H,
-IncompleteTableError:()=>w,IncorrectIndexesTypeError:()=>O,IncorrectRelationsTypeError:()=>v,
-IncorrectSchemaTypeError:()=>C,IncorrectStreamTypeError:()=>$,InvalidIndexReferenceError:()=>k,
-InvalidIndexTypeError:()=>R,InvalidIndexesTypeError:()=>A,InvalidRelationAliasError:()=>P,
-InvalidRelationColumnError:()=>d,InvalidRelationTableError:()=>j,InvalidRelationTargetError:()=>D,
-InvalidRelationsTypeError:()=>I,InvalidSchemaTypeError:()=>z,InvalidStreamTypeError:()=>N,
-ServiceType:()=>q,getDatabaseServices:()=>Y,getDatabaseTable:()=>X,getTableSchema:()=>W,
-isDatabaseService:()=>He,registerTriggers:()=>Je});module.exports=Ce(Ke);var je=require("@ez4/common/library"),Pe=require("@ez4/schema/library"),Ee=require("@ez4/project/library");var c=require("@ez4/common/library"),Ie=require("@ez4/reflection");var u=require("@ez4/common/library"),I=class extends u.InvalidTypeError{constructor(t){
+"use strict";var X=Object.defineProperty;var ze=Object.getOwnPropertyDescriptor;var Ce=Object.getOwnPropertyNames;var Ne=Object.prototype.hasOwnProperty;var He=(e,t)=>{for(var r in t)X(e,r,{get:t[r],enumerable:!0})},$e=(e,t,r,o)=>{if(t&&
+typeof t=="object"||typeof t=="function")for(let s of Ce(t))!Ne.call(e,s)&&s!==r&&
+X(e,s,{get:()=>t[s],enumerable:!(o=ze(t,s))||o.enumerable});return e};var qe=e=>$e(X({},"__esModule",{value:!0}),e);var Xe={};He(Xe,{IncompleteHandlerError:()=>F,IncompleteServiceError:()=>w,IncompleteStreamError:()=>H,
+IncompleteTableError:()=>O,IncorrectIndexesTypeError:()=>k,IncorrectRelationsTypeError:()=>v,
+IncorrectSchemaTypeError:()=>N,IncorrectStreamTypeError:()=>q,InvalidIndexReferenceError:()=>z,
+InvalidIndexTypeError:()=>R,InvalidIndexesTypeError:()=>A,InvalidRelationAliasError:()=>E,
+InvalidRelationColumnError:()=>f,InvalidRelationTableError:()=>j,InvalidRelationTargetError:()=>P,
+InvalidRelationsTypeError:()=>D,InvalidSchemaTypeError:()=>C,InvalidStreamTypeError:()=>$,
+ServiceType:()=>U,getDatabaseServices:()=>L,getDatabaseTable:()=>Z,getTableSchema:()=>Y,
+isDatabaseService:()=>Fe,registerTriggers:()=>We});module.exports=qe(Xe);var Oe=require("@ez4/common/library"),Ae=require("@ez4/schema/library"),ke=require("@ez4/project/library");var l=require("@ez4/common/library"),je=require("@ez4/reflection");var u=require("@ez4/common/library"),D=class extends u.InvalidTypeError{constructor(t){
 super("Invalid table relations type",void 0,"Database.Relations",t)}},v=class extends u.IncorrectTypeError{constructor(r,o){
 super("Incorrect table relations type",r,"Database.Relations",o);this.schemaType=
-r}},D=class extends u.TypeError{constructor(r,o){super(`Target ${r} must follow \
+r}},P=class extends u.TypeError{constructor(r,o){super(`Target ${r} must follow \
 the pattern 'column@alias'.`,o);this.relationSource=r}},j=class extends u.TypeError{constructor(r,o){
-super(`Relation table ${r} don't exists.`,o);this.relationTable=r}},d=class extends u.TypeError{constructor(r,o){
-super(`Relation column ${r} don't exists.`,o);this.relationColumn=r}},P=class extends u.TypeError{constructor(r,o){
+super(`Relation table ${r} don't exists.`,o);this.relationTable=r}},f=class extends u.TypeError{constructor(r,o){
+super(`Relation column ${r} don't exists.`,o);this.relationColumn=r}},E=class extends u.TypeError{constructor(r,o){
 super(`Relation alias ${r} can't override table columns.`,o);this.relationAlias=
-r}};var q="@ez4/database",He=e=>e.type===q;var L=require("@ez4/common/library"),E=class extends L.IncompleteTypeError{constructor(t,r){
-super("Incomplete database service",t,r)}};var p=require("@ez4/common/library"),U=require("@ez4/reflection"),_=e=>(0,p.isClassDeclaration)(
-e)&&(0,p.hasHeritageType)(e,"Database.Service"),ee=e=>(0,p.isModelDeclaration)(e)&&
-(0,p.hasHeritageType)(e,"Database.Table"),re=e=>(0,U.isTypeCallback)(e)||(0,U.isTypeFunction)(
-e),te=e=>(0,p.hasHeritageType)(e,"Database.Relations"),oe=e=>(0,p.hasHeritageType)(
-e,"Database.Indexes"),ae=e=>(0,p.hasHeritageType)(e,"Database.Schema"),se=e=>(0,p.hasHeritageType)(
-e,"Database.Stream");var M=require("@ez4/common/library"),h=require("@ez4/reflection");var ne=require("@ez4/common/library"),w=class extends ne.IncompleteTypeError{constructor(t,r){
+r}};var U="@ez4/database",Fe=e=>e.type===U;var re=require("@ez4/common/library"),w=class extends re.IncompleteTypeError{constructor(t,r){
+super("Incomplete database service",t,r)}};var m=require("@ez4/common/library"),V=require("@ez4/reflection"),_=e=>(0,m.isClassDeclaration)(
+e)&&(0,m.hasHeritageType)(e,"Database.Service"),te=e=>(0,m.isModelDeclaration)(e)&&
+(0,m.hasHeritageType)(e,"Database.Table"),oe=e=>(0,V.isTypeCallback)(e)||(0,V.isTypeFunction)(
+e),se=e=>(0,m.hasHeritageType)(e,"Database.Relations"),ae=e=>(0,m.hasHeritageType)(
+e,"Database.Indexes"),ne=e=>(0,m.hasHeritageType)(e,"Database.Schema"),ie=e=>(0,m.hasHeritageType)(
+e,"Database.Stream");var I=require("@ez4/common/library"),M=require("@ez4/reflection");var pe=require("@ez4/common/library"),O=class extends pe.IncompleteTypeError{constructor(t,r){
 super("Incomplete database table",t,r)}};var T=require("@ez4/common/library"),A=class extends T.InvalidTypeError{constructor(t){
-super("Invalid table indexes type",void 0,"Database.Indexes",t)}},O=class extends T.IncorrectTypeError{constructor(r,o){
+super("Invalid table indexes type",void 0,"Database.Indexes",t)}},k=class extends T.IncorrectTypeError{constructor(r,o){
 super("Incorrect table indexes type",r,"Database.Indexes",o);this.schemaType=r}},
 R=class extends T.TypeError{constructor(r,o){super(`Invalid index type, ${r} mus\
-t follow one of the Index options.`,o);this.indexName=r}},k=class extends T.TypeError{constructor(r,o){
-super(`Invalid index reference, ${r} must be valid column.`,o);this.indexName=r}};var b=require("@ez4/common/library"),y=require("@ez4/reflection");var pe=(e,t,r,o)=>{if(!(0,y.isTypeReference)(e))return ie(e,t,o);let a=r[e.path];
-return a?ie(a,t,o):null},ie=(e,t,r)=>(0,y.isTypeObject)(e)?le(e,(0,b.getObjectMembers)(
-e),r):(0,b.isModelDeclaration)(e)?te(e)?le(e,(0,b.getModelMembers)(e),r):(r.push(
-new v(e.name,e.file)),null):(r.push(new I(t.file)),null),le=(e,t,r)=>{let o=[];for(let a of t){
-if(!(0,y.isModelProperty)(a)||a.inherited)continue;let s=(0,b.getPropertyString)(
-a);if(!s)return r.push(new D(a.name,e.file)),null;let[n,i]=a.name.split(":",2),[
-l,V]=s.split("@",2);o.push({foreign:!1,sourceTable:n,sourceColumn:i,targetColumn:l,
-targetAlias:V})}return o};var f=require("@ez4/common/library"),x=require("@ez4/reflection");var ue=(e,t,r,o)=>{if(!(0,x.isTypeReference)(e))return me(e,t,o);let a=r[e.path];
-return a?me(a,t,o):null},me=(e,t,r)=>(0,x.isTypeObject)(e)?ce(e,(0,f.getObjectMembers)(
-e),r):(0,f.isModelDeclaration)(e)?oe(e)?ce(e,(0,f.getModelMembers)(e),r):(r.push(
-new O(e.name,e.file)),null):(r.push(new A(t.file)),null),ce=(e,t,r)=>{let o=[];for(let a of t){
-if(!(0,x.isModelProperty)(a)||a.inherited)continue;let s=a.name,n=(0,f.getPropertyString)(
-a);switch(n){case"primary":case"secondary":case"unique":case"ttl":o.push({name:s,
-columns:s.split(":"),type:n});break;default:return r.push(new R(s,e.file)),null}}
-return o};var G=require("@ez4/reflection"),fe=require("@ez4/common/library"),Q=require("@ez4/schema/library");var B=require("@ez4/common/library"),z=class extends B.InvalidTypeError{constructor(t){
-super("Invalid table schema type",void 0,"Database.Schema",t)}},C=class extends B.IncorrectTypeError{constructor(r,o){
-super("Incorrect table schema type",r,"Database.Schema",o);this.schemaType=r}};var W=(e,t,r,o)=>{if(!(0,G.isTypeReference)(e))return be(e,t,r,o);let a=r[e.path];
-return a?be(a,t,r,o):null},be=(e,t,r,o)=>(0,G.isTypeObject)(e)?(0,Q.getObjectSchema)(
-e,r):(0,fe.isModelDeclaration)(e)?ae(e)?(0,Q.getObjectSchema)(e,r):(o.push(new C(
-e.name,e.file)),null):(o.push(new z(t.file)),null);var m=require("@ez4/common/library"),S=require("@ez4/reflection"),ge=require("@ez4/utils");var g=require("@ez4/common/library"),H=class extends g.IncompleteTypeError{constructor(t,r){
-super("Incomplete table stream",t,r)}},N=class extends g.InvalidTypeError{constructor(t){
-super("Invalid table stream type",void 0,"Database.Stream",t)}},$=class extends g.IncorrectTypeError{constructor(r,o){
-super("Incorrect table stream type",r,"Database.Stream",o);this.streamType=r}};var Te=require("@ez4/common/library"),F=class extends Te.IncompleteTypeError{constructor(t,r){
-super("Incomplete stream handler",t,r)}};var de=(e,t,r)=>{if(!re(e))return null;let o={},a=new Set(["name","file","change"]);
-return e.description&&(o.description=e.description),(o.name=e.name)&&a.delete("n\
-ame"),(o.file=e.file)&&a.delete("file"),e.parameters&&a.delete("change"),a.size===
-0&&$e(o)?o:(r.push(new F([...a],e.file)),null)},$e=e=>!!e.name&&!!e.file;var Se=(e,t,r,o)=>{if(!(0,S.isTypeReference)(e))return ye(e,t,r,o);let a=r[e.path];
-return a?ye(a,t,r,o):null},Fe=e=>!!e.handler,ye=(e,t,r,o)=>(0,S.isTypeObject)(e)?
-xe(e,(0,m.getObjectMembers)(e),r,o):(0,m.isModelDeclaration)(e)?se(e)?xe(e,(0,m.getModelMembers)(
-e),r,o):(o.push(new $(e.name,e.file)),null):(o.push(new N(t.file)),null),xe=(e,t,r,o)=>{
-let a={},s=new Set(["handler"]);for(let n of t)if(!(!(0,S.isModelProperty)(n)||n.
-inherited))switch(n.name){case"handler":a.handler=de(n.value,r,o);break;case"tim\
-eout":case"memory":{let i=(0,m.getPropertyNumber)(n);(0,ge.isAnyNumber)(i)&&(a[n.
-name]=i);break}case"variables":a.variables=(0,m.getLinkedVariableList)(n,o);break}
-return Fe(a)?a:(o.push(new H([...s],e.file)),null)};var X=(e,t,r)=>{if(!(0,h.isTypeReference)(e))return Me(e,t,r);let o=t[e.path];return o?
-Me(o,t,r):null},Ve=e=>!!e.name&&!!e.schema&&!!e.indexes,Me=(e,t,r)=>ee(e)?he(e,(0,M.getModelMembers)(
-e),t,r):(0,h.isTypeObject)(e)?he(e,(0,M.getObjectMembers)(e),t,r):null,he=(e,t,r,o)=>{
-let a={},s=new Set(["name","schema","indexes"]);for(let i of t)if(!(!(0,h.isModelProperty)(
-i)||i.inherited))switch(i.name){case"name":(a.name=(0,M.getPropertyString)(i))&&
-s.delete(i.name);break;case"relations":{let l=pe(i.value,e,r,o);l&&(a.relations=
-l);break}case"indexes":{(a.indexes=ue(i.value,e,r,o))&&s.delete(i.name);break}case"\
-schema":{(a.schema=W(i.value,e,r,o))&&s.delete(i.name);break}case"stream":{a.stream=
-Se(i.value,e,r,o);break}}if(!Ve(a))return o.push(new w([...s],e.file)),null;let n=qe(
-e,a.indexes,a.schema);return n.length?(o.push(...n),null):(a.relations&&Ue(a.relations,
-a.indexes),a)},qe=(e,t,r)=>{let o=r.properties,a=[];for(let{name:s,columns:n}of t)
-n.some(l=>!o[l])&&a.push(new k(s,e.file));return a},Ue=(e,t)=>{for(let r of e)r.
-foreign=!t.some(({name:o,type:a})=>a==="primary"&&o===r.targetColumn)};var Y=e=>{let t={},r=[];for(let o in e){let a=e[o];if(!_(a))continue;let s={type:q},
-n=new Set(["engine","tables"]);s.name=a.name;for(let l of(0,c.getModelMembers)(a))
-if(!(!(0,Ie.isModelProperty)(l)||l.inherited))switch(l.name){case"engine":{(s.engine=
-(0,c.getPropertyString)(l))&&n.delete(l.name);break}case"tables":(s.tables=Be(l,
-e,r))&&n.delete(l.name);break;case"variables":s.variables=(0,c.getLinkedVariableList)(
-l,r);break;case"services":s.services=(0,c.getLinkedServiceList)(l,e,r);break}if(!_e(
-s)){r.push(new E([...n],a.file));continue}let i=Ge(a,s.tables);if(i.length){r.push(
-...i);continue}t[a.name]=s}return{services:t,errors:r}},_e=e=>!!e.name&&!!e.tables,
-Be=(e,t,r)=>{let o=(0,c.getPropertyTuple)(e)??[],a=[];for(let s of o){let n=X(s,
-t,r);n&&a.push(n)}return a},Ge=(e,t)=>{let r=[];for(let{relations:o,schema:a}of t){
-if(!o)continue;let s=a.properties;for(let n of o){let{sourceTable:i,sourceColumn:l,
-targetColumn:V,targetAlias:Z}=n,J=t.find(({name:we})=>we===i)?.schema.properties;
-s[V]||r.push(new d(V,e.file)),s[Z]&&r.push(new P(Z,e.file)),J||r.push(new j(i,e.
-file)),J&&!J[l]&&r.push(new d(l,e.file))}}return r};var ve=e=>_(e)?e.name:null;var De=!1,Je=()=>{De||((0,je.registerTriggers)(),(0,Pe.registerTriggers)(),(0,Ee.createTrigger)(
-"@ez4/database",{"metadata:getServices":Y,"metadata:getLinkedService":ve}),De=!0)};0&&(module.exports={IncompleteHandlerError,IncompleteServiceError,IncompleteStreamError,
+t follow one of the Index options.`,o);this.indexName=r}},z=class extends T.TypeError{constructor(r,o){
+super(`Invalid index reference, ${r} must be valid column.`,o);this.indexName=r}};var b=require("@ez4/common/library"),y=require("@ez4/reflection");var ce=(e,t,r,o)=>{if(!(0,y.isTypeReference)(e))return le(e,t,o);let s=r[e.path];
+return s?le(s,t,o):null},le=(e,t,r)=>(0,y.isTypeObject)(e)?me(e,(0,b.getObjectMembers)(
+e),r):(0,b.isModelDeclaration)(e)?se(e)?me(e,(0,b.getModelMembers)(e),r):(r.push(
+new v(e.name,e.file)),null):(r.push(new D(t.file)),null),me=(e,t,r)=>{let o=[];for(let s of t){
+if(!(0,y.isModelProperty)(s)||s.inherited)continue;let a=(0,b.getPropertyString)(
+s);if(!a)return r.push(new P(s.name,e.file)),null;let[n,i]=s.name.split(":",2),[
+p,h]=a.split("@",2);o.push({sourceTable:n,sourceColumn:i,targetColumn:p,targetAlias:h})}
+return o};var d=require("@ez4/common/library"),x=require("@ez4/reflection");var de=(e,t,r,o)=>{if(!(0,x.isTypeReference)(e))return ue(e,t,o);let s=r[e.path];
+return s?ue(s,t,o):null},ue=(e,t,r)=>(0,x.isTypeObject)(e)?be(e,(0,d.getObjectMembers)(
+e),r):(0,d.isModelDeclaration)(e)?ae(e)?be(e,(0,d.getModelMembers)(e),r):(r.push(
+new k(e.name,e.file)),null):(r.push(new A(t.file)),null),be=(e,t,r)=>{let o=[];for(let s of t){
+if(!(0,x.isModelProperty)(s)||s.inherited)continue;let a=s.name,n=(0,d.getPropertyString)(
+s);switch(n){case"primary":case"secondary":case"unique":case"ttl":o.push({name:a,
+columns:a.split(":"),type:n});break;default:return r.push(new R(a,e.file)),null}}
+return o};var G=require("@ez4/schema/library"),J=require("@ez4/reflection"),ye=require("@ez4/common/library");var B=require("@ez4/common/library"),C=class extends B.InvalidTypeError{constructor(t){
+super("Invalid table schema type",void 0,"Database.Schema",t)}},N=class extends B.IncorrectTypeError{constructor(r,o){
+super("Incorrect table schema type",r,"Database.Schema",o);this.schemaType=r}};var Y=(e,t,r,o)=>{if(!(0,J.isTypeReference)(e))return Te(e,t,r,o);let s=r[e.path];
+return s?Te(s,t,r,o):null},Te=(e,t,r,o)=>(0,J.isTypeObject)(e)?fe(e,r):(0,ye.isModelDeclaration)(
+e)?ne(e)?fe(e,r):(o.push(new N(e.name,e.file)),null):(o.push(new C(t.file)),null),
+fe=(e,t)=>{let r=(0,G.getObjectSchema)(e,t);return r&&(0,G.isObjectSchema)(r)?r:
+null};var c=require("@ez4/common/library"),S=require("@ez4/reflection"),Me=require("@ez4/utils");var g=require("@ez4/common/library"),H=class extends g.IncompleteTypeError{constructor(t,r){
+super("Incomplete table stream",t,r)}},$=class extends g.InvalidTypeError{constructor(t){
+super("Invalid table stream type",void 0,"Database.Stream",t)}},q=class extends g.IncorrectTypeError{constructor(r,o){
+super("Incorrect table stream type",r,"Database.Stream",o);this.streamType=r}};var xe=require("@ez4/common/library"),F=class extends xe.IncompleteTypeError{constructor(t,r){
+super("Incomplete stream handler",t,r)}};var ge=(e,t,r)=>{if(!oe(e))return null;let o={},s=new Set(["name","file","change"]);
+return e.description&&(o.description=e.description),(o.name=e.name)&&s.delete("n\
+ame"),(o.file=e.file)&&s.delete("file"),e.parameters&&s.delete("change"),s.size===
+0&&Ue(o)?o:(r.push(new F([...s],e.file)),null)},Ue=e=>!!e.name&&!!e.file;var he=(e,t,r,o)=>{if(!(0,S.isTypeReference)(e))return Se(e,t,r,o);let s=r[e.path];
+return s?Se(s,t,r,o):null},Ve=e=>!!e.handler,Se=(e,t,r,o)=>(0,S.isTypeObject)(e)?
+Ie(e,(0,c.getObjectMembers)(e),r,o):(0,c.isModelDeclaration)(e)?ie(e)?Ie(e,(0,c.getModelMembers)(
+e),r,o):(o.push(new q(e.name,e.file)),null):(o.push(new $(t.file)),null),Ie=(e,t,r,o)=>{
+let s={},a=new Set(["handler"]);for(let n of t)if(!(!(0,S.isModelProperty)(n)||n.
+inherited))switch(n.name){case"handler":s.handler=ge(n.value,r,o);break;case"tim\
+eout":case"memory":{let i=(0,c.getPropertyNumber)(n);(0,Me.isAnyNumber)(i)&&(s[n.
+name]=i);break}case"variables":s.variables=(0,c.getLinkedVariableList)(n,o);break}
+return Ve(s)?s:(o.push(new H([...a],e.file)),null)};var Z=(e,t,r)=>{if(!(0,M.isTypeReference)(e))return De(e,t,r);let o=t[e.path];return o?
+De(o,t,r):null},_e=e=>!!e.name&&!!e.schema&&!!e.indexes,De=(e,t,r)=>te(e)?ve(e,(0,I.getModelMembers)(
+e),t,r):(0,M.isTypeObject)(e)?ve(e,(0,I.getObjectMembers)(e),t,r):null,ve=(e,t,r,o)=>{
+let s={},a=new Set(["name","schema","indexes"]);for(let i of t)if(!(!(0,M.isModelProperty)(
+i)||i.inherited))switch(i.name){case"name":(s.name=(0,I.getPropertyString)(i))&&
+a.delete(i.name);break;case"relations":{let p=ce(i.value,e,r,o);p&&(s.relations=
+p);break}case"indexes":{(s.indexes=de(i.value,e,r,o))&&a.delete(i.name);break}case"\
+schema":{(s.schema=Y(i.value,e,r,o))&&a.delete(i.name);break}case"stream":{s.stream=
+he(i.value,e,r,o);break}}if(!_e(s))return o.push(new O([...a],e.file)),null;let n=Be(
+e,s.indexes,s.schema);return n.length?(o.push(...n),null):s},Be=(e,t,r)=>{let o=r.
+properties,s=[];for(let{name:a,columns:n}of t)n.some(p=>!o[p])&&s.push(new z(a,e.
+file));return s};var L=e=>{let t={},r=[];for(let o in e){let s=e[o];if(!_(s)||(0,l.isExternalStatement)(
+s))continue;let a={type:U},n=new Set(["engine","tables"]);a.name=s.name;for(let p of(0,l.getModelMembers)(
+s))if(!(!(0,je.isModelProperty)(p)||p.inherited))switch(p.name){case"engine":{(a.
+engine=(0,l.getPropertyString)(p))&&n.delete(p.name);break}case"tables":(a.tables=
+Je(p,e,r))&&n.delete(p.name);break;case"variables":a.variables=(0,l.getLinkedVariableList)(
+p,r);break;case"services":a.services=(0,l.getLinkedServiceList)(p,e,r);break}if(!Ge(
+a)){r.push(new w([...n],s.file));continue}let i=Ke(s,a.tables);if(i.length){r.push(
+...i);continue}if(t[s.name]){r.push(new l.DuplicateServiceError(s.name,s.file));
+continue}t[s.name]=a}return{services:t,errors:r}},Ge=e=>!!e.name&&!!e.tables,Je=(e,t,r)=>{
+let o=(0,l.getPropertyTuple)(e)??[],s=[];for(let a of o){let n=Z(a,t,r);n&&s.push(
+n)}return s},Ke=(e,t)=>{let r=Qe(t),o=[];for(let{relations:s,schema:a,indexes:n}of t){
+if(!s)continue;let i=a.properties;for(let p of s){let{sourceTable:h,sourceColumn:K,
+targetColumn:Q,targetAlias:ee}=p;i[Q]||o.push(new f(Q,e.file)),i[ee]&&o.push(new E(
+ee,e.file));let W=r[h]?.schema.properties;W||o.push(new j(h,e.file)),W&&!W[K]&&o.
+push(new f(K,e.file));let Re=r[h]?.indexes??[];p.sourceIndex=Pe(Re,K),p.targetIndex=
+Pe(n,Q)}}return o},Pe=(e,t)=>e.find(({name:r})=>r===t)?.type,Qe=e=>e.reduce((t,r)=>({
+...t,[r.name]:r}),{});var Ee=e=>_(e)?e.name:null;var we=!1,We=()=>{we||((0,Oe.registerTriggers)(),(0,Ae.registerTriggers)(),(0,ke.createTrigger)(
+"@ez4/database",{"metadata:getServices":L,"metadata:getLinkedService":Ee}),we=!0)};0&&(module.exports={IncompleteHandlerError,IncompleteServiceError,IncompleteStreamError,
 IncompleteTableError,IncorrectIndexesTypeError,IncorrectRelationsTypeError,IncorrectSchemaTypeError,
 IncorrectStreamTypeError,InvalidIndexReferenceError,InvalidIndexTypeError,InvalidIndexesTypeError,
 InvalidRelationAliasError,InvalidRelationColumnError,InvalidRelationTableError,InvalidRelationTargetError,

package/dist/library.mjs

@@ -1,89 +1,92 @@
-import{registerTriggers as dr}from"@ez4/common/library";import{registerTriggers as yr}from"@ez4/schema/library";
-import{createTrigger as xr}from"@ez4/project/library";import{getLinkedServiceList as ir,getLinkedVariableList as lr,getPropertyString as pr,
-getPropertyTuple as mr,getModelMembers as cr}from"@ez4/common/library";import{isModelProperty as ur}from"@ez4/reflection";import{IncorrectTypeError as ie,InvalidTypeError as le,TypeError as y}from"@ez4/common/library";
-var u=class extends le{constructor(o){super("Invalid table relations type",void 0,
-"Database.Relations",o)}},b=class extends ie{constructor(r,t){super("Incorrect t\
-able relations type",r,"Database.Relations",t);this.schemaType=r}},f=class extends y{constructor(r,t){
-super(`Target ${r} must follow the pattern 'column@alias'.`,t);this.relationSource=
-r}},T=class extends y{constructor(r,t){super(`Relation table ${r} don't exists.`,
-t);this.relationTable=r}},m=class extends y{constructor(r,t){super(`Relation col\
-umn ${r} don't exists.`,t);this.relationColumn=r}},d=class extends y{constructor(r,t){
-super(`Relation alias ${r} can't override table columns.`,t);this.relationAlias=
-r}};var R="@ez4/database",Mr=e=>e.type===R;import{IncompleteTypeError as pe}from"@ez4/common/library";var x=class extends pe{constructor(o,r){
-super("Incomplete database service",o,r)}};import{hasHeritageType as p,isClassDeclaration as me,isModelDeclaration as ce}from"@ez4/common/library";
-import{isTypeCallback as ue,isTypeFunction as be}from"@ez4/reflection";var g=e=>me(
-e)&&p(e,"Database.Service"),z=e=>ce(e)&&p(e,"Database.Table"),C=e=>ue(e)||be(e),
-H=e=>p(e,"Database.Relations"),N=e=>p(e,"Database.Indexes"),$=e=>p(e,"Database.S\
-chema"),F=e=>p(e,"Database.Stream");import{getModelMembers as Ze,getObjectMembers as Le,getPropertyString as er}from"@ez4/common/library";
-import{isModelProperty as rr,isTypeObject as tr,isTypeReference as or}from"@ez4/reflection";import{IncompleteTypeError as fe}from"@ez4/common/library";var S=class extends fe{constructor(o,r){
-super("Incomplete database table",o,r)}};import{IncorrectTypeError as Te,InvalidTypeError as de,TypeError as V}from"@ez4/common/library";
-var M=class extends de{constructor(o){super("Invalid table indexes type",void 0,
-"Database.Indexes",o)}},h=class extends Te{constructor(r,t){super("Incorrect tab\
-le indexes type",r,"Database.Indexes",t);this.schemaType=r}},I=class extends V{constructor(r,t){
-super(`Invalid index type, ${r} must follow one of the Index options.`,t);this.indexName=
-r}},v=class extends V{constructor(r,t){super(`Invalid index reference, ${r} must\
- be valid column.`,t);this.indexName=r}};import{isModelDeclaration as ye,getModelMembers as xe,getObjectMembers as ge,getPropertyString as Se}from"@ez4/common/library";
-import{isModelProperty as Me,isTypeObject as he,isTypeReference as Ie}from"@ez4/reflection";var _=(e,o,r,t)=>{if(!Ie(e))return q(e,o,t);let a=r[e.path];return a?q(a,o,t):null},
-q=(e,o,r)=>he(e)?U(e,ge(e),r):ye(e)?H(e)?U(e,xe(e),r):(r.push(new b(e.name,e.file)),
-null):(r.push(new u(o.file)),null),U=(e,o,r)=>{let t=[];for(let a of o){if(!Me(a)||
-a.inherited)continue;let s=Se(a);if(!s)return r.push(new f(a.name,e.file)),null;
-let[n,i]=a.name.split(":",2),[l,c]=s.split("@",2);t.push({foreign:!1,sourceTable:n,
-sourceColumn:i,targetColumn:l,targetAlias:c})}return t};import{isModelDeclaration as De,getModelMembers as je,getObjectMembers as Pe,getPropertyString as Ee}from"@ez4/common/library";
-import{isModelProperty as we,isTypeObject as Ae,isTypeReference as Oe}from"@ez4/reflection";var J=(e,o,r,t)=>{if(!Oe(e))return B(e,o,t);let a=r[e.path];return a?B(a,o,t):null},
-B=(e,o,r)=>Ae(e)?G(e,Pe(e),r):De(e)?N(e)?G(e,je(e),r):(r.push(new h(e.name,e.file)),
-null):(r.push(new M(o.file)),null),G=(e,o,r)=>{let t=[];for(let a of o){if(!we(a)||
-a.inherited)continue;let s=a.name,n=Ee(a);switch(n){case"primary":case"secondary":case"\
-unique":case"ttl":t.push({name:s,columns:s.split(":"),type:n});break;default:return r.
-push(new I(s,e.file)),null}}return t};import{isTypeObject as ze,isTypeReference as Ce}from"@ez4/reflection";import{isModelDeclaration as He}from"@ez4/common/library";
-import{getObjectSchema as K}from"@ez4/schema/library";import{IncorrectTypeError as Re,InvalidTypeError as ke}from"@ez4/common/library";
-var D=class extends ke{constructor(o){super("Invalid table schema type",void 0,"\
-Database.Schema",o)}},j=class extends Re{constructor(r,t){super("Incorrect table\
- schema type",r,"Database.Schema",t);this.schemaType=r}};var W=(e,o,r,t)=>{if(!Ce(e))return Q(e,o,r,t);let a=r[e.path];return a?Q(a,o,r,t):
-null},Q=(e,o,r,t)=>ze(e)?K(e,r):He(e)?$(e)?K(e,r):(t.push(new j(e.name,e.file)),
-null):(t.push(new D(o.file)),null);import{getLinkedVariableList as Ue,getModelMembers as _e,getObjectMembers as Be,
-getPropertyNumber as Ge,isModelDeclaration as Je}from"@ez4/common/library";import{
-isModelProperty as Ke,isTypeObject as Qe,isTypeReference as We}from"@ez4/reflection";
-import{isAnyNumber as Xe}from"@ez4/utils";import{IncompleteTypeError as Ne,IncorrectTypeError as $e,InvalidTypeError as Fe}from"@ez4/common/library";
-var P=class extends Ne{constructor(o,r){super("Incomplete table stream",o,r)}},E=class extends Fe{constructor(o){
-super("Invalid table stream type",void 0,"Database.Stream",o)}},w=class extends $e{constructor(r,t){
-super("Incorrect table stream type",r,"Database.Stream",t);this.streamType=r}};import{IncompleteTypeError as Ve}from"@ez4/common/library";var A=class extends Ve{constructor(o,r){
-super("Incomplete stream handler",o,r)}};var X=(e,o,r)=>{if(!C(e))return null;let t={},a=new Set(["name","file","change"]);
-return e.description&&(t.description=e.description),(t.name=e.name)&&a.delete("n\
-ame"),(t.file=e.file)&&a.delete("file"),e.parameters&&a.delete("change"),a.size===
-0&&qe(t)?t:(r.push(new A([...a],e.file)),null)},qe=e=>!!e.name&&!!e.file;var L=(e,o,r,t)=>{if(!We(e))return Y(e,o,r,t);let a=r[e.path];return a?Y(a,o,r,t):
-null},Ye=e=>!!e.handler,Y=(e,o,r,t)=>Qe(e)?Z(e,Be(e),r,t):Je(e)?F(e)?Z(e,_e(e),r,
-t):(t.push(new w(e.name,e.file)),null):(t.push(new E(o.file)),null),Z=(e,o,r,t)=>{
-let a={},s=new Set(["handler"]);for(let n of o)if(!(!Ke(n)||n.inherited))switch(n.
-name){case"handler":a.handler=X(n.value,r,t);break;case"timeout":case"memory":{let i=Ge(
-n);Xe(i)&&(a[n.name]=i);break}case"variables":a.variables=Ue(n,t);break}return Ye(
-a)?a:(t.push(new P([...s],e.file)),null)};var te=(e,o,r)=>{if(!or(e))return ee(e,o,r);let t=o[e.path];return t?ee(t,o,r):null},
-ar=e=>!!e.name&&!!e.schema&&!!e.indexes,ee=(e,o,r)=>z(e)?re(e,Ze(e),o,r):tr(e)?re(
-e,Le(e),o,r):null,re=(e,o,r,t)=>{let a={},s=new Set(["name","schema","indexes"]);
-for(let i of o)if(!(!rr(i)||i.inherited))switch(i.name){case"name":(a.name=er(i))&&
-s.delete(i.name);break;case"relations":{let l=_(i.value,e,r,t);l&&(a.relations=l);
-break}case"indexes":{(a.indexes=J(i.value,e,r,t))&&s.delete(i.name);break}case"s\
-chema":{(a.schema=W(i.value,e,r,t))&&s.delete(i.name);break}case"stream":{a.stream=
-L(i.value,e,r,t);break}}if(!ar(a))return t.push(new S([...s],e.file)),null;let n=sr(
-e,a.indexes,a.schema);return n.length?(t.push(...n),null):(a.relations&&nr(a.relations,
-a.indexes),a)},sr=(e,o,r)=>{let t=r.properties,a=[];for(let{name:s,columns:n}of o)
-n.some(l=>!t[l])&&a.push(new v(s,e.file));return a},nr=(e,o)=>{for(let r of e)r.
-foreign=!o.some(({name:t,type:a})=>a==="primary"&&t===r.targetColumn)};var oe=e=>{let o={},r=[];for(let t in e){let a=e[t];if(!g(a))continue;let s={type:R},
-n=new Set(["engine","tables"]);s.name=a.name;for(let l of cr(a))if(!(!ur(l)||l.inherited))
-switch(l.name){case"engine":{(s.engine=pr(l))&&n.delete(l.name);break}case"table\
-s":(s.tables=fr(l,e,r))&&n.delete(l.name);break;case"variables":s.variables=lr(l,
-r);break;case"services":s.services=ir(l,e,r);break}if(!br(s)){r.push(new x([...n],
-a.file));continue}let i=Tr(a,s.tables);if(i.length){r.push(...i);continue}o[a.name]=
-s}return{services:o,errors:r}},br=e=>!!e.name&&!!e.tables,fr=(e,o,r)=>{let t=mr(
-e)??[],a=[];for(let s of t){let n=te(s,o,r);n&&a.push(n)}return a},Tr=(e,o)=>{let r=[];
-for(let{relations:t,schema:a}of o){if(!t)continue;let s=a.properties;for(let n of t){
-let{sourceTable:i,sourceColumn:l,targetColumn:c,targetAlias:k}=n,O=o.find(({name:ne})=>ne===
-i)?.schema.properties;s[c]||r.push(new m(c,e.file)),s[k]&&r.push(new d(k,e.file)),
-O||r.push(new T(i,e.file)),O&&!O[l]&&r.push(new m(l,e.file))}}return r};var ae=e=>g(e)?e.name:null;var se=!1,$t=()=>{se||(dr(),yr(),xr("@ez4/database",{"metadata:getServices":oe,"\
-metadata:getLinkedService":ae}),se=!0)};export{A as IncompleteHandlerError,x as IncompleteServiceError,P as IncompleteStreamError,
-S as IncompleteTableError,h as IncorrectIndexesTypeError,b as IncorrectRelationsTypeError,
-j as IncorrectSchemaTypeError,w as IncorrectStreamTypeError,v as InvalidIndexReferenceError,
-I as InvalidIndexTypeError,M as InvalidIndexesTypeError,d as InvalidRelationAliasError,
-m as InvalidRelationColumnError,T as InvalidRelationTableError,f as InvalidRelationTargetError,
-u as InvalidRelationsTypeError,D as InvalidSchemaTypeError,E as InvalidStreamTypeError,
-R as ServiceType,oe as getDatabaseServices,te as getDatabaseTable,W as getTableSchema,
-Mr as isDatabaseService,$t as registerTriggers};
+import{registerTriggers as Mr}from"@ez4/common/library";import{registerTriggers as hr}from"@ez4/schema/library";
+import{createTrigger as Dr}from"@ez4/project/library";import{DuplicateServiceError as mr,isExternalStatement as cr,getLinkedServiceList as ur,
+getLinkedVariableList as br,getPropertyString as dr,getPropertyTuple as Tr,getModelMembers as fr}from"@ez4/common/library";
+import{isModelProperty as yr}from"@ez4/reflection";import{IncorrectTypeError as me,InvalidTypeError as ce,TypeError as y}from"@ez4/common/library";
+var u=class extends ce{constructor(t){super("Invalid table relations type",void 0,
+"Database.Relations",t)}},b=class extends me{constructor(r,o){super("Incorrect t\
+able relations type",r,"Database.Relations",o);this.schemaType=r}},d=class extends y{constructor(r,o){
+super(`Target ${r} must follow the pattern 'column@alias'.`,o);this.relationSource=
+r}},T=class extends y{constructor(r,o){super(`Relation table ${r} don't exists.`,
+o);this.relationTable=r}},c=class extends y{constructor(r,o){super(`Relation col\
+umn ${r} don't exists.`,o);this.relationColumn=r}},f=class extends y{constructor(r,o){
+super(`Relation alias ${r} can't override table columns.`,o);this.relationAlias=
+r}};var z="@ez4/database",jr=e=>e.type===z;import{IncompleteTypeError as ue}from"@ez4/common/library";var x=class extends ue{constructor(t,r){
+super("Incomplete database service",t,r)}};import{hasHeritageType as l,isClassDeclaration as be,isModelDeclaration as de}from"@ez4/common/library";
+import{isTypeCallback as Te,isTypeFunction as fe}from"@ez4/reflection";var g=e=>be(
+e)&&l(e,"Database.Service"),N=e=>de(e)&&l(e,"Database.Table"),H=e=>Te(e)||fe(e),
+$=e=>l(e,"Database.Relations"),q=e=>l(e,"Database.Indexes"),F=e=>l(e,"Database.S\
+chema"),U=e=>l(e,"Database.Stream");import{getModelMembers as tr,getObjectMembers as or,getPropertyString as sr}from"@ez4/common/library";
+import{isModelProperty as ar,isTypeObject as nr,isTypeReference as ir}from"@ez4/reflection";import{IncompleteTypeError as ye}from"@ez4/common/library";var S=class extends ye{constructor(t,r){
+super("Incomplete database table",t,r)}};import{IncorrectTypeError as xe,InvalidTypeError as ge,TypeError as V}from"@ez4/common/library";
+var I=class extends ge{constructor(t){super("Invalid table indexes type",void 0,
+"Database.Indexes",t)}},M=class extends xe{constructor(r,o){super("Incorrect tab\
+le indexes type",r,"Database.Indexes",o);this.schemaType=r}},h=class extends V{constructor(r,o){
+super(`Invalid index type, ${r} must follow one of the Index options.`,o);this.indexName=
+r}},D=class extends V{constructor(r,o){super(`Invalid index reference, ${r} must\
+ be valid column.`,o);this.indexName=r}};import{isModelDeclaration as Se,getModelMembers as Ie,getObjectMembers as Me,getPropertyString as he}from"@ez4/common/library";
+import{isModelProperty as De,isTypeObject as ve,isTypeReference as Pe}from"@ez4/reflection";var G=(e,t,r,o)=>{if(!Pe(e))return _(e,t,o);let s=r[e.path];return s?_(s,t,o):null},
+_=(e,t,r)=>ve(e)?B(e,Me(e),r):Se(e)?$(e)?B(e,Ie(e),r):(r.push(new b(e.name,e.file)),
+null):(r.push(new u(t.file)),null),B=(e,t,r)=>{let o=[];for(let s of t){if(!De(s)||
+s.inherited)continue;let a=he(s);if(!a)return r.push(new d(s.name,e.file)),null;
+let[n,i]=s.name.split(":",2),[p,m]=a.split("@",2);o.push({sourceTable:n,sourceColumn:i,
+targetColumn:p,targetAlias:m})}return o};import{isModelDeclaration as je,getModelMembers as Ee,getObjectMembers as we,getPropertyString as Oe}from"@ez4/common/library";
+import{isModelProperty as Ae,isTypeObject as ke,isTypeReference as Re}from"@ez4/reflection";var Q=(e,t,r,o)=>{if(!Re(e))return J(e,t,o);let s=r[e.path];return s?J(s,t,o):null},
+J=(e,t,r)=>ke(e)?K(e,we(e),r):je(e)?q(e)?K(e,Ee(e),r):(r.push(new M(e.name,e.file)),
+null):(r.push(new I(t.file)),null),K=(e,t,r)=>{let o=[];for(let s of t){if(!Ae(s)||
+s.inherited)continue;let a=s.name,n=Oe(s);switch(n){case"primary":case"secondary":case"\
+unique":case"ttl":o.push({name:a,columns:a.split(":"),type:n});break;default:return r.
+push(new h(a,e.file)),null}}return o};import{getObjectSchema as Ne,isObjectSchema as He}from"@ez4/schema/library";import{
+isTypeObject as $e,isTypeReference as qe}from"@ez4/reflection";import{isModelDeclaration as Fe}from"@ez4/common/library";import{IncorrectTypeError as ze,InvalidTypeError as Ce}from"@ez4/common/library";
+var v=class extends Ce{constructor(t){super("Invalid table schema type",void 0,"\
+Database.Schema",t)}},P=class extends ze{constructor(r,o){super("Incorrect table\
+ schema type",r,"Database.Schema",o);this.schemaType=r}};var Y=(e,t,r,o)=>{if(!qe(e))return W(e,t,r,o);let s=r[e.path];return s?W(s,t,r,o):
+null},W=(e,t,r,o)=>$e(e)?X(e,r):Fe(e)?F(e)?X(e,r):(o.push(new P(e.name,e.file)),
+null):(o.push(new v(t.file)),null),X=(e,t)=>{let r=Ne(e,t);return r&&He(r)?r:null};import{getLinkedVariableList as Je,getModelMembers as Ke,getObjectMembers as Qe,
+getPropertyNumber as We,isModelDeclaration as Xe}from"@ez4/common/library";import{
+isModelProperty as Ye,isTypeObject as Ze,isTypeReference as Le}from"@ez4/reflection";
+import{isAnyNumber as er}from"@ez4/utils";import{IncompleteTypeError as Ue,IncorrectTypeError as Ve,InvalidTypeError as _e}from"@ez4/common/library";
+var j=class extends Ue{constructor(t,r){super("Incomplete table stream",t,r)}},E=class extends _e{constructor(t){
+super("Invalid table stream type",void 0,"Database.Stream",t)}},w=class extends Ve{constructor(r,o){
+super("Incorrect table stream type",r,"Database.Stream",o);this.streamType=r}};import{IncompleteTypeError as Be}from"@ez4/common/library";var O=class extends Be{constructor(t,r){
+super("Incomplete stream handler",t,r)}};var Z=(e,t,r)=>{if(!H(e))return null;let o={},s=new Set(["name","file","change"]);
+return e.description&&(o.description=e.description),(o.name=e.name)&&s.delete("n\
+ame"),(o.file=e.file)&&s.delete("file"),e.parameters&&s.delete("change"),s.size===
+0&&Ge(o)?o:(r.push(new O([...s],e.file)),null)},Ge=e=>!!e.name&&!!e.file;var re=(e,t,r,o)=>{if(!Le(e))return L(e,t,r,o);let s=r[e.path];return s?L(s,t,r,
+o):null},rr=e=>!!e.handler,L=(e,t,r,o)=>Ze(e)?ee(e,Qe(e),r,o):Xe(e)?U(e)?ee(e,Ke(
+e),r,o):(o.push(new w(e.name,e.file)),null):(o.push(new E(t.file)),null),ee=(e,t,r,o)=>{
+let s={},a=new Set(["handler"]);for(let n of t)if(!(!Ye(n)||n.inherited))switch(n.
+name){case"handler":s.handler=Z(n.value,r,o);break;case"timeout":case"memory":{let i=We(
+n);er(i)&&(s[n.name]=i);break}case"variables":s.variables=Je(n,o);break}return rr(
+s)?s:(o.push(new j([...a],e.file)),null)};var se=(e,t,r)=>{if(!ir(e))return te(e,t,r);let o=t[e.path];return o?te(o,t,r):null},
+pr=e=>!!e.name&&!!e.schema&&!!e.indexes,te=(e,t,r)=>N(e)?oe(e,tr(e),t,r):nr(e)?oe(
+e,or(e),t,r):null,oe=(e,t,r,o)=>{let s={},a=new Set(["name","schema","indexes"]);
+for(let i of t)if(!(!ar(i)||i.inherited))switch(i.name){case"name":(s.name=sr(i))&&
+a.delete(i.name);break;case"relations":{let p=G(i.value,e,r,o);p&&(s.relations=p);
+break}case"indexes":{(s.indexes=Q(i.value,e,r,o))&&a.delete(i.name);break}case"s\
+chema":{(s.schema=Y(i.value,e,r,o))&&a.delete(i.name);break}case"stream":{s.stream=
+re(i.value,e,r,o);break}}if(!pr(s))return o.push(new S([...a],e.file)),null;let n=lr(
+e,s.indexes,s.schema);return n.length?(o.push(...n),null):s},lr=(e,t,r)=>{let o=r.
+properties,s=[];for(let{name:a,columns:n}of t)n.some(p=>!o[p])&&s.push(new D(a,e.
+file));return s};var ne=e=>{let t={},r=[];for(let o in e){let s=e[o];if(!g(s)||cr(s))continue;let a={
+type:z},n=new Set(["engine","tables"]);a.name=s.name;for(let p of fr(s))if(!(!yr(
+p)||p.inherited))switch(p.name){case"engine":{(a.engine=dr(p))&&n.delete(p.name);
+break}case"tables":(a.tables=gr(p,e,r))&&n.delete(p.name);break;case"variables":
+a.variables=br(p,r);break;case"services":a.services=ur(p,e,r);break}if(!xr(a)){r.
+push(new x([...n],s.file));continue}let i=Sr(s,a.tables);if(i.length){r.push(...i);
+continue}if(t[s.name]){r.push(new mr(s.name,s.file));continue}t[s.name]=a}return{
+services:t,errors:r}},xr=e=>!!e.name&&!!e.tables,gr=(e,t,r)=>{let o=Tr(e)??[],s=[];
+for(let a of o){let n=se(a,t,r);n&&s.push(n)}return s},Sr=(e,t)=>{let r=Ir(t),o=[];
+for(let{relations:s,schema:a,indexes:n}of t){if(!s)continue;let i=a.properties;for(let p of s){
+let{sourceTable:m,sourceColumn:A,targetColumn:k,targetAlias:C}=p;i[k]||o.push(new c(
+k,e.file)),i[C]&&o.push(new f(C,e.file));let R=r[m]?.schema.properties;R||o.push(
+new T(m,e.file)),R&&!R[A]&&o.push(new c(A,e.file));let le=r[m]?.indexes??[];p.sourceIndex=
+ae(le,A),p.targetIndex=ae(n,k)}}return o},ae=(e,t)=>e.find(({name:r})=>r===t)?.type,
+Ir=e=>e.reduce((t,r)=>({...t,[r.name]:r}),{});var ie=e=>g(e)?e.name:null;var pe=!1,Bt=()=>{pe||(Mr(),hr(),Dr("@ez4/database",{"metadata:getServices":ne,"\
+metadata:getLinkedService":ie}),pe=!0)};export{O as IncompleteHandlerError,x as IncompleteServiceError,j as IncompleteStreamError,
+S as IncompleteTableError,M as IncorrectIndexesTypeError,b as IncorrectRelationsTypeError,
+P as IncorrectSchemaTypeError,w as IncorrectStreamTypeError,D as InvalidIndexReferenceError,
+h as InvalidIndexTypeError,I as InvalidIndexesTypeError,f as InvalidRelationAliasError,
+c as InvalidRelationColumnError,T as InvalidRelationTableError,d as InvalidRelationTargetError,
+u as InvalidRelationsTypeError,v as InvalidSchemaTypeError,E as InvalidStreamTypeError,
+z as ServiceType,ne as getDatabaseServices,se as getDatabaseTable,Y as getTableSchema,
+jr as isDatabaseService,Bt as registerTriggers};

package/dist/main.cjs

@@ -1,5 +1,5 @@
-"use strict";var s=Object.defineProperty;var i=Object.getOwnPropertyDescriptor;var d=Object.getOwnPropertyNames;var T=Object.prototype.hasOwnProperty;var c=(r,t)=>{for(var a in t)s(r,a,{get:t[a],enumerable:!0})},y=(r,t,a,n)=>{if(t&&
-typeof t=="object"||typeof t=="function")for(let e of d(t))!T.call(r,e)&&e!==a&&
-s(r,e,{get:()=>t[e],enumerable:!(n=i(t,e))||n.enumerable});return r};var l=r=>y(s({},"__esModule",{value:!0}),r);var b={};c(b,{Database:()=>o,Index:()=>m,Order:()=>p,StreamType:()=>x});module.exports=
-l(b);var x=(n=>(n.Insert="insert",n.Update="update",n.Delete="delete",n))(x||{});var o;(r=>{})(o||={});var m=(e=>(e.Primary="primary",e.Secondary="secondary",e.Unique="unique",e.TTL="\
-ttl",e))(m||{});var p=(a=>(a.Asc="asc",a.Desc="desc",a))(p||{});0&&(module.exports={Database,Index,Order,StreamType});
+"use strict";var s=Object.defineProperty;var d=Object.getOwnPropertyDescriptor;var i=Object.getOwnPropertyNames;var T=Object.prototype.hasOwnProperty;var c=(a,t)=>{for(var r in t)s(a,r,{get:t[r],enumerable:!0})},y=(a,t,r,n)=>{if(t&&
+typeof t=="object"||typeof t=="function")for(let e of i(t))!T.call(a,e)&&e!==r&&
+s(a,e,{get:()=>t[e],enumerable:!(n=d(t,e))||n.enumerable});return a};var I=a=>y(s({},"__esModule",{value:!0}),a);var l={};c(l,{Database:()=>o,Index:()=>x,Order:()=>m,StreamType:()=>p});module.exports=
+I(l);var p=(n=>(n.Insert="insert",n.Update="update",n.Delete="delete",n))(p||{});var o;(a=>{})(o||={});var x=(e=>(e.Primary="primary",e.Secondary="secondary",e.Unique="unique",e.TTL="\
+ttl",e))(x||{});var m=(r=>(r.Asc="asc",r.Desc="desc",r))(m||{});0&&(module.exports={Database,Index,Order,StreamType});

package/dist/main.d.ts

@@ -1,8 +1,8 @@
 export * from './services/streams.js';
 export { Client } from './services/client.js';
-export { Database } from './services/database.js';
+export { RelationMetadata } from './services/relations.js';
 export { Transaction } from './services/transaction.js';
-export { Relations } from './services/relations.js';
+export { Database } from './services/database.js';
 export { Index } from './services/indexes.js';
 export { Table } from './services/table.js';
 export { Query } from './services/query.js';

package/dist/main.mjs

@@ -1,2 +1,2 @@
-var o=(t=>(t.Insert="insert",t.Update="update",t.Delete="delete",t))(o||{});var a;(m=>{})(a||={});var n=(e=>(e.Primary="primary",e.Secondary="secondary",e.Unique="unique",e.TTL="\
-ttl",e))(n||{});var s=(r=>(r.Asc="asc",r.Desc="desc",r))(s||{});export{a as Database,n as Index,s as Order,o as StreamType};
+var o=(t=>(t.Insert="insert",t.Update="update",t.Delete="delete",t))(o||{});var r;(x=>{})(r||={});var n=(e=>(e.Primary="primary",e.Secondary="secondary",e.Unique="unique",e.TTL="\
+ttl",e))(n||{});var s=(a=>(a.Asc="asc",a.Desc="desc",a))(s||{});export{r as Database,n as Index,s as Order,o as StreamType};

package/dist/services/indexes.d.ts

@@ -19,12 +19,30 @@ export type DecomposeIndexName<T> = T extends `${infer L}:${infer R}` ? L | Deco
 export type PrimaryIndexes<T extends Database.Indexes> = {
     [P in keyof T as Index.Primary extends T[P] ? P : never]: T[P];
 };
+/**
+ * Given an index object `T`, it produces an object containing only unique indexes.
+ */
+export type UniqueIndexes<T extends Database.Indexes> = {
+    [P in keyof T as Index.Unique extends T[P] ? P : never]: T[P];
+};
 /**
  * Given an index object `T`, it produces an object containing only secondary indexes.
  */
 export type SecondaryIndexes<T extends Database.Indexes> = {
-    [P in keyof T as Index.Secondary | Index.Unique | Index.TTL extends T[P] ? P : never]: T[P];
+    [P in keyof T as Index.Secondary | Index.TTL extends T[P] ? P : never]: T[P];
 };
+/**
+ * Given an index object `T`, it produces the primary decomposed index names.
+ */
+export type DecomposePrimaryIndexNames<T extends Database.Indexes> = DecomposeIndexName<keyof PrimaryIndexes<T>>;
+/**
+ * Given an index object `T`, it produces the unique decomposed index names.
+ */
+export type DecomposeUniqueIndexNames<T extends Database.Indexes> = DecomposeIndexName<keyof UniqueIndexes<T>>;
+/**
+ * Given an index object `T`, it produces the secondary decomposed index names.
+ */
+export type DecomposeSecondaryIndexNames<T extends Database.Indexes> = DecomposeIndexName<keyof SecondaryIndexes<T>>;
 /**
  * Given a database service `T`, it produces an object with all tables containing indexes.
  */

package/dist/services/query.d.ts

@@ -1,91 +1,116 @@
-import type { DecomposeIndexName, PrimaryIndexes } from './indexes.js';
-import type { Relations } from './relations.js';
+import type { RelationMetadata } from './relations.js';
 import type { Database } from './database.js';
 import type { Order } from './order.js';
-import type { AnyObject, PartialProperties, PartialObject, DeepPartial, FlatObject, IsObject } from '@ez4/utils';
+import type { DecomposeIndexName, DecomposePrimaryIndexNames, DecomposeUniqueIndexNames } from './indexes.js';
+import type { AnyObject, PartialProperties, PartialObject, FlatObject, OptionalObject, StrictObject, IsNullable, IsObjectEmpty, IsObject } from '@ez4/utils';
 /**
  * Query builder types.
  */
 export declare namespace Query {
-    type InsertOneInput<T extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
-        data: T | (Omit<T, DecomposeIndexName<keyof I>> & R);
-    };
-    type UpdateOneInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
-        select?: S;
-        data: DeepPartial<T | FlatObject<Omit<T, DecomposeIndexName<keyof I>> & R>>;
-        where: WhereInput<T, I>;
-    };
-    type FindOneInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>> = {
-        select: S;
-        where: WhereInput<T, I>;
-    };
-    type UpsertOneInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
-        select?: S;
-        insert: T | (Omit<T, DecomposeIndexName<keyof I>> & R);
-        update: DeepPartial<T | FlatObject<Omit<T, DecomposeIndexName<keyof I>> & R>>;
-        where: WhereInput<T, I>;
-    };
-    type DeleteOneInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>> = {
-        select?: S;
-        where: WhereInput<T, I>;
-    };
-    type InsertManyInput<T extends Database.Schema> = {
+    export type InsertOneInput<T extends Database.Schema, R extends RelationMetadata> = {
+        data: InsertDataInput<T, R>;
+    };
+    export type UpdateOneInput<T extends Database.Schema, S extends AnyObject, I extends Database.Indexes<T>, R extends RelationMetadata> = {
+        select?: StrictSelectInput<T, S, R>;
+        include?: StrictIncludeInput<S, R>;
+        data: OptionalObject<UpdateDataInput<T, R>>;
+        where: WhereInput<T, I, R>;
+    };
+    export type FindOneInput<T extends Database.Schema, S extends AnyObject, I extends Database.Indexes<T>, R extends RelationMetadata> = {
+        select: StrictSelectInput<T, S, R>;
+        include?: StrictIncludeInput<S, R>;
+        where: WhereInput<T, I, R>;
+    };
+    export type UpsertOneInput<T extends Database.Schema, S extends AnyObject, I extends Database.Indexes<T>, R extends RelationMetadata> = {
+        select?: StrictSelectInput<T, S, R>;
+        include?: StrictIncludeInput<S, R>;
+        update: OptionalObject<UpdateDataInput<T, R>>;
+        insert: InsertDataInput<T, R>;
+        where: WhereInput<T, I, R>;
+    };
+    export type DeleteOneInput<T extends Database.Schema, S extends AnyObject, I extends Database.Indexes<T>, R extends RelationMetadata> = {
+        select?: StrictSelectInput<T, S, R>;
+        include?: StrictIncludeInput<S, R>;
+        where: WhereInput<T, I, R>;
+    };
+    export type InsertManyInput<T extends Database.Schema = {}> = {
         data: T[];
     };
-    type UpdateManyInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
-        select?: S;
-        data: DeepPartial<T | FlatObject<Omit<T, DecomposeIndexName<keyof I>> & R>>;
-        where?: WhereInput<T>;
+    export type UpdateManyInput<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = {
+        select?: StrictSelectInput<T, S, R>;
+        include?: StrictIncludeInput<S, R>;
+        data: OptionalObject<UpdateDataInput<T, R>>;
+        where?: WhereInput<T, {}, R>;
         limit?: number;
     };
-    type FindManyInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>> = {
-        select: S;
-        where?: WhereInput<T>;
+    export type FindManyInput<T extends Database.Schema, S extends AnyObject, I extends Database.Indexes<T>, R extends RelationMetadata> = {
+        select: StrictSelectInput<T, S, R>;
+        include?: StrictIncludeInput<S, R>;
+        where?: WhereInput<T, {}, R>;
         order?: OrderInput<I>;
         cursor?: number | string;
         limit?: number;
     };
-    type DeleteManyInput<T extends Database.Schema, S extends Database.Schema> = {
-        select?: S;
-        where?: WhereInput<T>;
+    export type DeleteManyInput<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = {
+        select?: StrictSelectInput<T, S, R>;
+        include?: StrictIncludeInput<S, R>;
+        where?: WhereInput<T, {}, R>;
         limit?: number;
     };
-    type InsertOneResult = void;
-    type UpdateOneResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R> | undefined;
-    type FindOneResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R> | undefined;
-    type UpsertOneResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R> | undefined;
-    type DeleteOneResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R> | undefined;
-    type InsertManyResult = void;
-    type UpdateManyResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R>[];
-    type FindManyResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = {
+    export type InsertOneResult = void;
+    export type UpdateOneResult<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = Record<T, S, R> | undefined;
+    export type FindOneResult<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = Record<T, S, R> | undefined;
+    export type UpsertOneResult<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = Record<T, S, R> | undefined;
+    export type DeleteOneResult<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = Record<T, S, R> | undefined;
+    export type InsertManyResult = void;
+    export type UpdateManyResult<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = Record<T, S, R>[];
+    export type FindManyResult<T extends Database.Schema, S extends Database.Schema, R extends RelationMetadata> = {
         records: Record<T, S, R>[];
         cursor?: number | string;
     };
-    type DeleteManyResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R>[];
-    type Record<T extends Database.Schema, S extends AnyObject, R extends Relations> = PartialObject<T & R, S, false>;
-    type SelectInput<T extends Database.Schema, R extends Relations> = PartialProperties<T & R>;
-    type OrderInput<I extends Database.Indexes> = {
+    export type DeleteManyResult<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = Record<T, S, R>[];
+    export type Record<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = PartialObject<SelectFields<T, R>, S, false>;
+    export type SelectInput<T extends Database.Schema, R extends RelationMetadata> = PartialProperties<SelectFields<T, R>>;
+    export type StrictSelectInput<T extends Database.Schema, S extends AnyObject, R extends RelationMetadata> = StrictObject<S, FlatObject<SelectFields<T, R>>>;
+    export type InsertDataInput<T extends Database.Schema, R extends RelationMetadata> = Omit<IsObjectEmpty<R['changes']> extends true ? T : T & R['changes'], IndexFields<R>>;
+    export type UpdateDataInput<T extends Database.Schema, R extends RelationMetadata> = Omit<IsObjectEmpty<R['changes']> extends true ? T : T & FlatObject<R['changes']>, IndexFields<R>>;
+    export type StrictIncludeInput<S extends AnyObject, R extends RelationMetadata> = IsObjectEmpty<R['filters']> extends true ? never : IncludeFilters<R['filters'], S>;
+    export type OrderInput<I extends Database.Indexes> = {
         [P in DecomposeIndexName<keyof I>]?: Order;
     };
-    type WhereInput<T extends Database.Schema, I extends Database.Indexes<T> = {}> = WhereFields<T, I> & WhereNot<T, I> & WhereAnd<T, I> & WhereOr<T, I>;
-    type WhereRequiredFields<T extends Database.Schema, I extends Database.Indexes<T>> = {
-        [P in DecomposeIndexName<keyof PrimaryIndexes<I>>]: P extends keyof T ? IsObject<T[P]> extends true ? WhereFields<NonNullable<T[P]>, I> : T[P] | WhereOperations<T[P]> : never;
+    export type WhereInput<T extends Database.Schema, I extends Database.Indexes<T>, R extends RelationMetadata> = WhereInputFilters<T, I, R> & WhereNot<WhereInputFilters<T, I, R>> & WhereAnd<WhereInputFilters<T, I, R>> & WhereOr<WhereInputFilters<T, I, R>>;
+    export type WhereOperators = keyof (WhereNegate<any> & WhereEqual<any> & WhereGreaterThan<any> & WhereGreaterThanOrEqual<any> & WhereLessThan<any> & WhereLessThanOrEqual<any> & WhereIn<any> & WhereBetween<any> & WhereIsMissing & WhereIsNull & WhereStartsWith & WhereContains);
+    type IndexFields<R extends RelationMetadata> = string extends R['indexes'] ? never : R['indexes'];
+    type SelectFields<T extends Database.Schema, R extends RelationMetadata> = IsObjectEmpty<R['selects']> extends true ? T : T & R['selects'];
+    type IncludeFilters<T extends AnyObject, S extends AnyObject> = {
+        [P in keyof T]?: P extends keyof S ? IsObject<T[P]> extends true ? null | WhereRelationField<NonNullable<T[P]>> : never : never;
     };
-    type WhereOptionalFields<T extends Database.Schema, I extends Database.Indexes<T>> = {
-        [P in Exclude<keyof T, DecomposeIndexName<keyof PrimaryIndexes<I>>>]?: IsObject<T[P]> extends true ? WhereFields<NonNullable<T[P]>, I> : T[P] | WhereOperations<T[P]>;
+    type WhereOperations<T> = WhereNegate<T> | WhereEqual<T> | WhereGreaterThan<T> | WhereGreaterThanOrEqual<T> | WhereLessThan<T> | WhereLessThanOrEqual<T> | WhereIn<T> | WhereBetween<T> | WhereIsMissing | WhereIsNull | WhereStartsWith | WhereContains;
+    type WhereField<T> = IsObject<T> extends false ? T | WhereOperations<T> : IsNullable<T> extends true ? null | WhereObjectField<NonNullable<T>> : WhereObjectField<NonNullable<T>>;
+    type WhereObjectField<T extends AnyObject> = {
+        [P in keyof T]?: WhereField<T[P]>;
     };
-    type WhereFields<T extends Database.Schema, I extends Database.Indexes<T>> = WhereRequiredFields<T, I> & WhereOptionalFields<T, I>;
-    type WhereNot<T extends Database.Schema, I extends Database.Indexes<T>> = {
-        NOT?: WhereInput<T, I> | WhereAnd<T, I> | WhereOr<T, I>;
+    type WhereRelationField<T extends AnyObject> = WhereObjectField<T> & WhereNot<WhereObjectField<T>> & WhereAnd<WhereObjectField<T>> & WhereOr<WhereObjectField<T>>;
+    type WhereRelationFilters<T extends AnyObject> = {
+        [P in keyof T]?: IsObject<T[P]> extends true ? IsObjectEmpty<T[P]> extends false ? null | WhereRelationField<NonNullable<T[P]>> : null | {} : never;
     };
-    type WhereAnd<T extends Database.Schema, I extends Database.Indexes<T>> = {
-        AND?: (WhereInput<T, I> | WhereOr<T, I> | WhereNot<T, I>)[];
+    type WhereRequiredFilters<T extends AnyObject, N extends string> = {
+        [P in N as P extends keyof T ? P : never]: P extends keyof T ? WhereField<T[P]> : never;
     };
-    type WhereOr<T extends Database.Schema, I extends Database.Indexes<T>> = {
-        OR?: (WhereInput<T, I> | WhereAnd<T, I> | WhereNot<T, I>)[];
+    type WhereOptionalFilters<T extends AnyObject, N extends string> = {
+        [P in Exclude<keyof T, N>]?: WhereField<T[P]>;
+    };
+    type WhereCommonFilters<T extends AnyObject, I extends Database.Indexes<T>> = (WhereRequiredFilters<T, DecomposePrimaryIndexNames<I>> & WhereOptionalFilters<T, DecomposePrimaryIndexNames<I>>) | (WhereRequiredFilters<T, DecomposeUniqueIndexNames<I>> & WhereOptionalFilters<T, DecomposeUniqueIndexNames<I>>);
+    type WhereInputFilters<T extends Database.Schema, I extends Database.Indexes<T>, R extends RelationMetadata> = WhereCommonFilters<T, I> & WhereRelationFilters<R['filters']>;
+    type WhereNot<T extends AnyObject> = {
+        NOT?: T | WhereAnd<T> | WhereOr<T>;
+    };
+    type WhereAnd<T extends AnyObject> = {
+        AND?: (T | WhereNot<T> | WhereAnd<T> | WhereOr<T>)[];
+    };
+    type WhereOr<T extends AnyObject> = {
+        OR?: (T | WhereNot<T> | WhereAnd<T> | WhereOr<T>)[];
     };
-    type WhereOperations<T> = WhereNegate<T> | WhereEqual<T> | WhereGreaterThan<T> | WhereGreaterThanOrEqual<T> | WhereLessThan<T> | WhereLessThanOrEqual<T> | WhereIn<T> | WhereBetween<T> | WhereIsMissing | WhereIsNull | WhereStartsWith | WhereContains;
-    type WhereOperators = keyof (WhereNegate<any> & WhereEqual<any> & WhereGreaterThan<any> & WhereGreaterThanOrEqual<any> & WhereLessThan<any> & WhereLessThanOrEqual<any> & WhereIn<any> & WhereBetween<any> & WhereIsMissing & WhereIsNull & WhereStartsWith & WhereContains);
     type WhereNegate<T> = {
         not: T | WhereOperations<T>;
     };
@@ -122,4 +147,5 @@ export declare namespace Query {
     type WhereContains = {
         contains: string;
     };
+    export {};
 }

package/dist/services/relations.d.ts

@@ -1,11 +1,16 @@
-import type { ArrayRest, IsArrayEmpty, PropertyType } from '@ez4/utils';
-import type { IndexedTables, PrimaryIndexes } from './indexes.js';
+import type { IndexedTables, PrimaryIndexes, UniqueIndexes } from './indexes.js';
 import type { Database, DatabaseTables } from './database.js';
 import type { TableSchemas } from './schemas.js';
+import type { AnyObject, ArrayRest, PropertyType, ExclusiveType, IsArrayEmpty, IsUndefined } from '@ez4/utils';
 /**
  * Internal relation type.
  */
-export type Relations = Record<string, unknown>;
+export type RelationMetadata = {
+    indexes: string;
+    filters: Record<string, unknown>;
+    selects: Record<string, unknown>;
+    changes: Record<string, unknown>;
+};
 /**
  * Given a relation source name `T`, it produces the source table name.
  */
@@ -37,27 +42,54 @@ type MergeRelations<T extends Database.Table[], S extends Record<string, Databas
 type TableRelation<T, S extends Record<string, Database.Schema>, I extends Record<string, Database.Indexes>> = T extends {
     name: infer N;
     relations: infer R;
-} ? N extends string ? R extends Relations ? {
-    [P in N]: RequiredRelationSchemas<PropertyType<N, S>, S, I, R> & OptionalRelationSchemas<PropertyType<N, S>, S, I, R>;
+} ? N extends string ? R extends AnyObject ? {
+    [P in N]: {
+        indexes: RequiredRelationIndexes<PropertyType<N, S>, I, R>;
+        filters: FilterableRelationSchemas<S, I, R>;
+        changes: RequiredRelationSchemas<PropertyType<N, S>, S, I, R, true> & OptionalRelationSchemas<PropertyType<N, S>, S, I, R, true>;
+        selects: RequiredRelationSchemas<PropertyType<N, S>, S, I, R, false> & OptionalRelationSchemas<PropertyType<N, S>, S, I, R, false>;
+    };
 } : {} : {} : {};
+/**
+ * Produce an object containing all required relation indexes.
+ */
+type RequiredRelationIndexes<T extends Database.Schema, I extends Record<string, Database.Indexes>, R extends AnyObject> = keyof {
+    [C in keyof R as IsOptionalRelation<C, R[C], T, I, true> extends true ? never : RelationTargetColumn<R[C]>]: never;
+};
+/**
+ * Produce an object containing all filterable relation schemas.
+ */
+type FilterableRelationSchemas<S extends Record<string, Database.Schema>, I extends Record<string, Database.Indexes>, R extends AnyObject> = {
+    [C in keyof R as RelationTargetAlias<R[C]>]: IsPrimaryIndex<C, I> extends false ? Omit<PropertyType<RelationSourceTable<C>, S>, RelationSourceColumn<C>> : PropertyType<RelationSourceTable<C>, S>;
+};
 /**
  * Produce an object containing only required relation schemas.
  */
-type RequiredRelationSchemas<T extends Database.Schema, S extends Record<string, Database.Schema>, I extends Record<string, Database.Indexes>, R extends Relations> = {
-    [C in keyof R as IsOptionalRelation<C, R[C], T, I> extends true ? never : RelationTargetAlias<R[C]>]: RelationSchema<C, S, I>;
+type RequiredRelationSchemas<T extends Database.Schema, S extends Record<string, Database.Schema>, I extends Record<string, Database.Indexes>, R extends AnyObject, E extends boolean> = {
+    [C in keyof R as IsOptionalRelation<C, R[C], T, I, E> extends false ? RelationTargetAlias<R[C]> : never]: RelationSchema<C, R[C], T, S, I, E>;
 };
 /**
  * Produce an object containing only optional relation schemas.
  */
-type OptionalRelationSchemas<T extends Database.Schema, S extends Record<string, Database.Schema>, I extends Record<string, Database.Indexes>, R extends Relations> = {
-    [C in keyof R as IsOptionalRelation<C, R[C], T, I> extends true ? RelationTargetAlias<R[C]> : never]?: RelationSchema<C, S, I>;
+type OptionalRelationSchemas<T extends Database.Schema, S extends Record<string, Database.Schema>, I extends Record<string, Database.Indexes>, R extends AnyObject, E extends boolean> = {
+    [C in keyof R as IsOptionalRelation<C, R[C], T, I, E> extends true ? RelationTargetAlias<R[C]> : never]?: RelationSchema<C, R[C], T, S, I, E>;
 };
 /**
  * Check whether a relation is optional or not.
  */
-type IsOptionalRelation<C, V, S extends Database.Schema, I extends Record<string, Database.Indexes>> = RelationSourceColumn<C> extends keyof PrimaryIndexes<PropertyType<RelationSourceTable<C>, I>> ? undefined extends PropertyType<RelationTargetColumn<V>, S> ? true : false : true;
+type IsOptionalRelation<C, V, T extends Database.Schema, I extends Record<string, Database.Indexes>, E extends boolean> = RelationSourceColumn<C> extends keyof PrimaryIndexes<PropertyType<RelationSourceTable<C>, I>> ? IsUndefined<PropertyType<RelationTargetColumn<V>, T>> extends true ? true : false : RelationSourceColumn<C> extends keyof UniqueIndexes<PropertyType<RelationSourceTable<C>, I>> ? true : E;
+/**
+ * Check whether a column is primary.
+ */
+type IsPrimaryIndex<C, I extends Record<string, Database.Indexes>> = RelationSourceColumn<C> extends keyof PrimaryIndexes<PropertyType<RelationSourceTable<C>, I>> ? true : false;
+/**
+ * Check whether a column is unique.
+ */
+type IsUniqueIndex<C, I extends Record<string, Database.Indexes>> = RelationSourceColumn<C> extends keyof UniqueIndexes<PropertyType<RelationSourceTable<C>, I>> ? true : false;
 /**
  * Produce a relation schema according to its indexation.
  */
-type RelationSchema<C, S extends Record<string, Database.Schema>, I extends Record<string, Database.Indexes>> = RelationSourceColumn<C> extends keyof PrimaryIndexes<PropertyType<RelationSourceTable<C>, I>> ? PropertyType<RelationSourceTable<C>, S> : Omit<PropertyType<RelationSourceTable<C>, S>, RelationSourceColumn<C>>[];
+type RelationSchema<C, V, T extends Database.Schema, S extends Record<string, Database.Schema>, I extends Record<string, Database.Indexes>, E extends boolean> = IsPrimaryIndex<C, I> extends true ? E extends false ? PropertyType<RelationSourceTable<C>, S> : ExclusiveType<PropertyType<RelationSourceTable<C>, S>, {
+    [P in RelationTargetColumn<V>]: PropertyType<RelationTargetColumn<V>, T>;
+}> : IsUniqueIndex<C, I> extends true ? E extends false ? PropertyType<RelationSourceTable<C>, S> : Omit<PropertyType<RelationSourceTable<C>, S>, RelationSourceColumn<C>> : Omit<PropertyType<RelationSourceTable<C>, S>, RelationSourceColumn<C>>[];
 export {};

package/dist/services/table.d.ts

@@ -1,5 +1,5 @@
 import type { AnyObject, ArrayRest, IsArrayEmpty, IsAny, PropertyExists } from '@ez4/utils';
-import type { Relations, RelationTables } from './relations.js';
+import type { RelationMetadata, RelationTables } from './relations.js';
 import type { IndexedTables } from './indexes.js';
 import type { TableSchemas } from './schemas.js';
 import type { Database } from './database.js';
@@ -14,10 +14,10 @@ export type TableTypes<T extends Database.Schema[]> = IsAny<T> extends true ? an
  */
 export type TableIndex<P, T extends AnyObject> = PropertyExists<P, T> extends true ? (T[P] extends Database.Indexes ? T[P] : {}) : {};
 /**
- * Given a table `T` and a property `P`, it returns all the relations corresponding
- * to the given property.
+ * Given a table `T` and a property `P`, it returns all the relations corresponding to the
+ * given property.
  */
-export type TableRelation<P, T extends AnyObject> = PropertyExists<P, T> extends true ? (T[P] extends Relations ? T[P] : {}) : {};
+export type TableRelation<P, T extends AnyObject> = PropertyExists<P, T> extends true ? T[P] extends RelationMetadata ? T[P] : RelationMetadata : RelationMetadata;
 /**
  * Given a database service `T`, it returns all table clients.
  */
@@ -27,19 +27,19 @@ export type TableClients<T extends Database.Service<any>> = {
 /**
  * Table client.
  */
-export interface Table<T extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> {
+export interface Table<T extends Database.Schema, I extends Database.Indexes<T>, R extends RelationMetadata> {
     /**
      * Insert one record into the database.
      *
      * @param query Input query.
      */
-    insertOne(query: Query.InsertOneInput<T, I, R>): Promise<Query.InsertOneResult>;
+    insertOne(query: Query.InsertOneInput<T, R>): Promise<Query.InsertOneResult>;
     /**
      * Find one database record.
      *
      * @param query Input query.
      */
-    findOne<S extends Query.SelectInput<T, R>>(query: Query.FindOneInput<T, S, I>): Promise<Query.FindOneResult<T, S, R>>;
+    findOne<S extends Query.SelectInput<T, R>>(query: Query.FindOneInput<T, S, I, R>): Promise<Query.FindOneResult<T, S, R>>;
     /**
      * Update one database record.
      *
@@ -57,7 +57,7 @@ export interface Table<T extends Database.Schema, I extends Database.Indexes<T>,
      *
      * @param query Input query.
      */
-    deleteOne<S extends Query.SelectInput<T, R>>(query: Query.DeleteOneInput<T, S, I>): Promise<Query.DeleteOneResult<T, S, R>>;
+    deleteOne<S extends Query.SelectInput<T, R>>(query: Query.DeleteOneInput<T, S, I, R>): Promise<Query.DeleteOneResult<T, S, R>>;
     /**
      * Insert multiple records into the database.
      *
@@ -69,17 +69,17 @@ export interface Table<T extends Database.Schema, I extends Database.Indexes<T>,
      *
      * @param query Input query.
      */
-    findMany<S extends Query.SelectInput<T, R>>(query: Query.FindManyInput<T, S, I>): Promise<Query.FindManyResult<T, S, R>>;
+    findMany<S extends Query.SelectInput<T, R>>(query: Query.FindManyInput<T, S, I, R>): Promise<Query.FindManyResult<T, S, R>>;
     /**
      * Update multiple database records.
      *
      * @param query Input query.
      */
-    updateMany<S extends Query.SelectInput<T, R>>(query: Query.UpdateManyInput<T, S, I, R>): Promise<Query.UpdateManyResult<T, S, R>>;
+    updateMany<S extends Query.SelectInput<T, R>>(query: Query.UpdateManyInput<T, S, R>): Promise<Query.UpdateManyResult<T, S, R>>;
     /**
      * Delete multiple database records.
      *
      * @param query Input query.
      */
-    deleteMany<S extends Query.SelectInput<T, R>>(query: Query.DeleteManyInput<T, S>): Promise<Query.DeleteManyResult<T, S, R>>;
+    deleteMany<S extends Query.SelectInput<T, R>>(query: Query.DeleteManyInput<T, S, R>): Promise<Query.DeleteManyResult<T, S, R>>;
 }

package/dist/services/transaction.d.ts

@@ -1,4 +1,5 @@
-import type { Relations, RelationTables } from './relations.js';
+import type { AnyObject } from '@ez4/utils';
+import type { RelationMetadata, RelationTables } from './relations.js';
 import type { TableIndex, TableRelation } from './table.js';
 import type { IndexedTables } from './indexes.js';
 import type { TableSchemas } from './schemas.js';
@@ -12,18 +13,17 @@ export declare namespace Transaction {
      * Write operations.
      */
     export type WriteOperations<T extends Database.Service<any>> = {
-        [P in keyof TableSchemas<T>]?: TableSchemas<T>[P] extends Database.Schema ? {
-            [alias: string]: InsertOperation<TableSchemas<T>[P], TableIndex<P, IndexedTables<T>>, TableRelation<P, RelationTables<T>>> | UpdateOperation<TableSchemas<T>[P], TableIndex<P, IndexedTables<T>>, TableRelation<P, RelationTables<T>>> | DeleteOperation<TableSchemas<T>[P], TableIndex<P, IndexedTables<T>>, TableRelation<P, RelationTables<T>>>;
-        } : never;
+        [P in keyof TableSchemas<T>]?: (TableSchemas<T>[P] extends Database.Schema ? AnyOperation<TableSchemas<T>[P], TableIndex<P, IndexedTables<T>>, TableRelation<P, RelationTables<T>>> : AnyObject)[];
     };
-    type InsertOperation<T extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
-        insert: Query.InsertOneInput<T, I, R>;
+    type AnyOperation<T extends Database.Schema, I extends Database.Indexes<T>, R extends RelationMetadata> = InsertOperation<T, R> | UpdateOperation<T, I, R> | DeleteOperation<T, I, R>;
+    type InsertOperation<T extends Database.Schema, R extends RelationMetadata> = {
+        insert: Query.InsertOneInput<T, R>;
     };
-    type UpdateOperation<T extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
-        update: Omit<Query.UpdateOneInput<T, Query.SelectInput<T, R>, I, R>, 'select'>;
+    type UpdateOperation<T extends Database.Schema, I extends Database.Indexes<T>, R extends RelationMetadata> = {
+        update: Omit<Query.UpdateOneInput<T, Query.SelectInput<T, R>, I, R>, 'select' | 'include'>;
     };
-    type DeleteOperation<T extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
-        delete: Omit<Query.DeleteOneInput<T, Query.SelectInput<T, R>, I>, 'select'>;
+    type DeleteOperation<T extends Database.Schema, I extends Database.Indexes<T>, R extends RelationMetadata> = {
+        delete: Omit<Query.DeleteOneInput<T, Query.SelectInput<T, R>, I, R>, 'select' | 'include'>;
     };
     export {};
 }

package/dist/types/relations.d.ts

@@ -1,7 +1,9 @@
+import type { Index } from '../services/indexes.js';
 export type TableRelation = {
     sourceTable: string;
     sourceColumn: string;
+    sourceIndex?: Index;
     targetColumn: string;
     targetAlias: string;
-    foreign: boolean;
+    targetIndex?: Index;
 };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@ez4/database",
   "description": "EZ4: Components to build database services",
-  "version": "0.9.0",
+  "version": "0.11.0",
   "author": "Silas B.",
   "license": "MIT",
   "type": "module",
@@ -42,12 +42,12 @@
     "live:publish": "npm run test && npm publish --access public"
   },
   "peerDependencies": {
-    "@ez4/project": "^0.9.0"
+    "@ez4/project": "^0.11.0"
   },
   "dependencies": {
-    "@ez4/common": "^0.9.0",
-    "@ez4/reflection": "^0.9.0",
-    "@ez4/schema": "^0.9.0",
-    "@ez4/utils": "^0.9.0"
+    "@ez4/common": "^0.11.0",
+    "@ez4/reflection": "^0.11.0",
+    "@ez4/schema": "^0.11.0",
+    "@ez4/utils": "^0.11.0"
   }
 }

package/dist/richtypes/schema.d.ts

@@ -1,10 +0,0 @@
-export declare namespace Schema {
-    /**
-     * Set property to be a primary index.
-     */
-    type Primary<T> = T;
-    /**
-     * Set property to be a regular index.
-     */
-    type Index<T> = T;
-}

package/dist/richtypes/utils.d.ts

@@ -1,104 +0,0 @@
-import type { EveryType, TypeObject } from '@ez4/reflection';
-export type RichTypes = {
-    index?: string;
-    type: EveryType;
-};
-export declare const getRichTypes: (type: TypeObject) => RichTypes | null;
-export declare const createRichType: (richType: RichTypes) => {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Object;
-    file?: string;
-    members?: import("@ez4/reflection").EveryMemberType[];
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Any;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Void;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Never;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Unknown;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Undefined;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Null;
-    literal?: boolean;
-    default?: boolean;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Boolean;
-    literal?: boolean;
-    default?: boolean;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Number;
-    literal?: number;
-    default?: number;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.String;
-    literal?: string;
-    default?: string;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Reference;
-    namespace?: string;
-    internal?: boolean;
-    path: string;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Union;
-    elements: EveryType[];
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Array;
-    element: EveryType;
-    spread?: boolean;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Tuple;
-    elements: EveryType[];
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Callback;
-    name?: string;
-    file?: string;
-    description?: string;
-    parameters?: import("@ez4/reflection").TypeParameter[];
-    return?: EveryType;
-} | null;

package/dist/services/helpers.d.ts

@@ -1,12 +0,0 @@
-import type { ArrayRest, IsArrayEmpty, IsAny } from '@ez4/utils';
-import type { Database } from './database.js';
-/**
- * Given an array of schemas `T`, it returns an union of `Database.Table` for each schema.
- */
-export type TableTypes<T extends Database.Schema[]> = IsAny<T> extends true ? any : IsArrayEmpty<T> extends true ? Database.Table<Database.Schema> : Database.Table<T[0]> | TableTypes<ArrayRest<T>>;
-/**
- * Given a database service `T`, it returns all its table types.
- */
-export type DatabaseTables<T> = T extends {
-    tables: infer U;
-} ? U : [];

package/dist/services/stream.d.ts

@@ -1,34 +0,0 @@
-/**
- * Stream change for `insert`, `update` or `delete` operations.
- */
-export type StreamChange<T> = StreamInsertChange<T> | StreamUpdateChange<T> | StreamDeleteChange<T>;
-/**
- * Stream change for an `insert` operation.
- */
-export type StreamInsertChange<T> = {
-    type: StreamType.Insert;
-    record: T;
-};
-/**
- * Stream change for an `update` operation.
- */
-export type StreamUpdateChange<T> = {
-    type: StreamType.Update;
-    oldRecord: T;
-    newRecord: T;
-};
-/**
- * Stream change for an `delete` operation.
- */
-export type StreamDeleteChange<T> = {
-    type: StreamType.Delete;
-    record: T;
-};
-/**
- * Stream change types.
- */
-export declare const enum StreamType {
-    Insert = "insert",
-    Update = "update",
-    Delete = "delete"
-}

package/dist/triggers/richtypes.d.ts

@@ -1,100 +0,0 @@
-import type { TypeObject } from '@ez4/reflection';
-export declare const applyRichTypePath: (file: string) => string | null;
-export declare const applyRichTypeObject: (type: TypeObject) => {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Object;
-    file?: string;
-    members?: import("@ez4/reflection").EveryMemberType[];
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Any;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Void;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Never;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Unknown;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Undefined;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Null;
-    literal?: boolean;
-    default?: boolean;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Boolean;
-    literal?: boolean;
-    default?: boolean;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Number;
-    literal?: number;
-    default?: number;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.String;
-    literal?: string;
-    default?: string;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Reference;
-    namespace?: string;
-    internal?: boolean;
-    path: string;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Union;
-    elements: import("@ez4/reflection").EveryType[];
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Array;
-    element: import("@ez4/reflection").EveryType;
-    spread?: boolean;
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Tuple;
-    elements: import("@ez4/reflection").EveryType[];
-} | {
-    extra: {
-        index: "primary" | "regular";
-    };
-    type: import("@ez4/reflection").TypeName.Callback;
-    name?: string;
-    file?: string;
-    description?: string;
-    parameters?: import("@ez4/reflection").TypeParameter[];
-    return?: import("@ez4/reflection").EveryType;
-} | null;