@ez4/database 0.8.0 → 0.10.0

package/dist/errors/relations.d.ts

@@ -0,0 +1,24 @@
+import { IncorrectTypeError, InvalidTypeError, TypeError } from '@ez4/common/library';
+export declare class InvalidRelationsTypeError extends InvalidTypeError {
+    constructor(fileName?: string);
+}
+export declare class IncorrectRelationsTypeError extends IncorrectTypeError {
+    schemaType: string;
+    constructor(schemaType: string, fileName?: string);
+}
+export declare class InvalidRelationTargetError extends TypeError {
+    relationSource: string;
+    constructor(relationSource: string, fileName?: string);
+}
+export declare class InvalidRelationTableError extends TypeError {
+    relationTable: string;
+    constructor(relationTable: string, fileName?: string);
+}
+export declare class InvalidRelationColumnError extends TypeError {
+    relationColumn: string;
+    constructor(relationColumn: string, fileName?: string);
+}
+export declare class InvalidRelationAliasError extends TypeError {
+    relationAlias: string;
+    constructor(relationAlias: string, fileName?: string);
+}

package/dist/library.cjs

@@ -1,68 +1,98 @@
-"use strict";var C=Object.defineProperty;var de=Object.getOwnPropertyDescriptor;var be=Object.getOwnPropertyNames;var fe=Object.prototype.hasOwnProperty;var Te=(e,t)=>{for(var r in t)C(e,r,{get:t[r],enumerable:!0})},ue=(e,t,r,a)=>{if(t&&
-typeof t=="object"||typeof t=="function")for(let o of be(t))!fe.call(e,o)&&o!==r&&
-C(e,o,{get:()=>t[o],enumerable:!(a=de(t,o))||a.enumerable});return e};var ye=e=>ue(C({},"__esModule",{value:!0}),e);var Pe={};Te(Pe,{IncompleteHandlerError:()=>k,IncompleteServiceError:()=>x,IncompleteStreamError:()=>P,
-IncompleteTableError:()=>g,IncorrectIndexesTypeError:()=>I,IncorrectSchemaTypeError:()=>D,
-IncorrectStreamTypeError:()=>E,InvalidIndexReferenceError:()=>h,InvalidIndexTypeError:()=>M,
-InvalidIndexesTypeError:()=>S,InvalidSchemaTypeError:()=>v,InvalidStreamTypeError:()=>j,
-ServiceType:()=>A,getDatabaseServices:()=>V,getDatabaseTable:()=>F,getTableSchema:()=>R,
-isDatabaseService:()=>xe,registerTriggers:()=>De});module.exports=ye(Pe);var me=require("@ez4/common/library"),le=require("@ez4/schema/library"),ce=require("@ez4/project/library");var l=require("@ez4/common/library"),se=require("@ez4/reflection");var A="@ez4/database",xe=e=>e.type===A;var U=require("@ez4/common/library"),x=class extends U.IncompleteTypeError{constructor(t,r){
-super("Incomplete database service",t,r)}};var p=require("@ez4/common/library"),w=require("@ez4/reflection"),z=e=>(0,p.isClassDeclaration)(
-e)&&(0,p.hasHeritageType)(e,"Database.Service"),_=e=>(0,p.isModelDeclaration)(e)&&
-(0,p.hasHeritageType)(e,"Database.Table"),q=e=>(0,w.isTypeCallback)(e)||(0,w.isTypeFunction)(
-e),B=e=>(0,p.hasHeritageType)(e,"Database.Indexes"),G=e=>(0,p.hasHeritageType)(e,
-"Database.Schema"),J=e=>(0,p.hasHeritageType)(e,"Database.Stream");var u=require("@ez4/common/library"),y=require("@ez4/reflection");var K=require("@ez4/common/library"),g=class extends K.IncompleteTypeError{constructor(t,r){
-super("Incomplete database table",t,r)}};var d=require("@ez4/common/library"),S=class extends d.InvalidTypeError{constructor(t){
-super("Invalid table indexes type",void 0,"Database.Indexes",t)}},I=class extends d.IncorrectTypeError{constructor(r,a){
-super("Incorrect table indexes type",r,"Database.Indexes",a);this.schemaType=r}},
-M=class extends d.TypeError{constructor(r,a){super(`Invalid index type, ${r} mus\
-t follow one of the Index options.`,a);this.indexName=r}},h=class extends d.TypeError{constructor(r,a){
-super(`Invalid index reference, ${r} must be valid column.`,a);this.indexName=r}};var N=require("@ez4/reflection"),W=require("@ez4/common/library"),H=require("@ez4/schema/library");var O=require("@ez4/common/library"),v=class extends O.InvalidTypeError{constructor(t){
-super("Invalid table schema type",void 0,"Database.Schema",t)}},D=class extends O.IncorrectTypeError{constructor(r,a){
-super("Incorrect table schema type",r,"Database.Schema",a);this.schemaType=r}};var R=(e,t,r,a)=>{if(!(0,N.isTypeReference)(e))return Q(e,t,r,a);let o=r[e.path];
-return o?Q(o,t,r,a):null},Q=(e,t,r,a)=>(0,N.isTypeObject)(e)?(0,H.getObjectSchema)(
-e,r):(0,W.isModelDeclaration)(e)?G(e)?(0,H.getObjectSchema)(e,r):(a.push(new D(e.
-name,e.file)),null):(a.push(new v(t.file)),null);var c=require("@ez4/common/library"),b=require("@ez4/reflection");var Z=(e,t,r,a)=>{if(!(0,b.isTypeReference)(e))return X(e,t,a);let o=r[e.path];return o?
-X(o,t,a):null},X=(e,t,r)=>(0,b.isTypeObject)(e)?Y(e,(0,c.getObjectMembers)(e),r):
-(0,c.isModelDeclaration)(e)?B(e)?Y(e,(0,c.getModelMembers)(e),r):(r.push(new I(e.
-name,e.file)),null):(r.push(new S(t.file)),null),Y=(e,t,r)=>{let a={};for(let o of t){
-if(!(0,b.isModelProperty)(o)||o.inherited)continue;let s=o.name,i=(0,c.getPropertyString)(
-o);switch(i){case"primary":case"secondary":case"ttl":a[s]=i;break;default:return r.
-push(new M(s,e.file)),null}}return a};var m=require("@ez4/common/library"),T=require("@ez4/reflection");var f=require("@ez4/common/library"),P=class extends f.IncompleteTypeError{constructor(t,r){
-super("Incomplete table stream",t,r)}},j=class extends f.InvalidTypeError{constructor(t){
-super("Invalid table stream type",void 0,"Database.Stream",t)}},E=class extends f.IncorrectTypeError{constructor(r,a){
-super("Incorrect table stream type",r,"Database.Stream",a);this.streamType=r}};var L=require("@ez4/common/library"),k=class extends L.IncompleteTypeError{constructor(t,r){
-super("Incomplete stream handler",t,r)}};var ee=(e,t,r)=>{if(!q(e))return null;let a={},o=new Set(["name","file","change"]);
-return e.description&&(a.description=e.description),(a.name=e.name)&&o.delete("n\
-ame"),(a.file=e.file)&&o.delete("file"),e.parameters&&o.delete("change"),o.size===
-0&&ge(a)?a:(r.push(new k([...o],e.file)),null)},ge=e=>!!e.name&&!!e.file;var ae=(e,t,r,a)=>{if(!(0,T.isTypeReference)(e))return re(e,t,r,a);let o=r[e.path];
-return o?re(o,t,r,a):null},Se=e=>!!e.handler,re=(e,t,r,a)=>(0,T.isTypeObject)(e)?
-te(e,(0,m.getObjectMembers)(e),r,a):(0,m.isModelDeclaration)(e)?J(e)?te(e,(0,m.getModelMembers)(
-e),r,a):(a.push(new E(e.name,e.file)),null):(a.push(new j(t.file)),null),te=(e,t,r,a)=>{
-let o={},s=new Set(["handler"]);for(let i of t)if(!(!(0,T.isModelProperty)(i)||i.
-inherited))switch(i.name){case"handler":o.handler=ee(i.value,r,a);break;case"tim\
-eout":case"memory":{let n=(0,m.getPropertyNumber)(i);n!=null&&(o[i.name]=n);break}case"\
-variables":o.variables=(0,m.getLinkedVariableList)(i,a);break}return Se(o)?o:(a.
-push(new P([...s],e.file)),null)};var F=(e,t,r)=>{if(!(0,y.isTypeReference)(e))return oe(e,t,r);let a=t[e.path];return a?
-oe(a,t,r):null},Ie=e=>!!e.name&&!!e.schema&&!!e.indexes,oe=(e,t,r)=>_(e)?ne(e,(0,u.getModelMembers)(
-e),t,r):(0,y.isTypeObject)(e)?ne(e,(0,u.getObjectMembers)(e),t,r):null,ne=(e,t,r,a)=>{
-let o={},s=new Set(["name","schema","indexes"]);for(let n of t)if(!(!(0,y.isModelProperty)(
-n)||n.inherited))switch(n.name){case"name":(o.name=(0,u.getPropertyString)(n))&&
-s.delete(n.name);break;case"indexes":{(o.indexes=Z(n.value,e,r,a))&&s.delete(n.name);
-break}case"schema":{(o.schema=R(n.value,e,r,a))&&s.delete(n.name);break}case"str\
-eam":{o.stream=ae(n.value,e,r,a);break}}if(!Ie(o))return a.push(new g([...s],e.file)),
-null;let i=Me(e,o.indexes,o.schema);return i.length?(a.push(...i),null):o},Me=(e,t,r)=>{
-let a=r.properties,o=[];for(let s in t)for(let i of s.split(":"))a[i]||o.push(new h(
-s,e.file));return o};var V=e=>{let t={},r=[];for(let a in e){let o=e[a];if(!z(o))continue;let s={type:A},
-i=new Set(["engine","tables"]);s.name=o.name;for(let n of(0,l.getModelMembers)(o))
-if(!(!(0,se.isModelProperty)(n)||n.inherited))switch(n.name){case"engine":{let $=(0,l.getPropertyString)(
-n);$&&(s[n.name]=$,i.delete(n.name));break}case"tables":(s.tables=ve(n,e,r))&&i.
-delete(n.name);break;case"variables":s.variables=(0,l.getLinkedVariableList)(n,r);
-break;case"services":s.services=(0,l.getLinkedServiceList)(n,e,r);break}if(!he(s)){
-r.push(new x([...i],o.file));continue}t[o.name]=s}return{services:t,errors:r}},he=e=>!!e.
-name&&!!e.tables,ve=(e,t,r)=>{let a=(0,l.getPropertyTuple)(e)??[],o=[];for(let s of a){
-let i=F(s,t,r);i&&o.push(i)}return o};var ie=e=>z(e)?e.name:null;var pe=!1,De=()=>{pe||((0,me.registerTriggers)(),(0,le.registerTriggers)(),(0,ce.createTrigger)(
-"@ez4/database",{"metadata:getServices":V,"metadata:getLinkedService":ie}),pe=!0)};0&&(module.exports={IncompleteHandlerError,IncompleteServiceError,IncompleteStreamError,
-IncompleteTableError,IncorrectIndexesTypeError,IncorrectSchemaTypeError,IncorrectStreamTypeError,
-InvalidIndexReferenceError,InvalidIndexTypeError,InvalidIndexesTypeError,InvalidSchemaTypeError,
-InvalidStreamTypeError,ServiceType,getDatabaseServices,getDatabaseTable,getTableSchema,
-isDatabaseService,registerTriggers});
+"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}},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}},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 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)}},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}},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,
+InvalidRelationsTypeError,InvalidSchemaTypeError,InvalidStreamTypeError,ServiceType,
+getDatabaseServices,getDatabaseTable,getTableSchema,isDatabaseService,registerTriggers});

package/dist/library.d.ts

@@ -5,9 +5,12 @@ export * from './metadata/schema.js';
 export * from './errors/service.js';
 export * from './errors/table.js';
 export * from './errors/schema.js';
+export * from './errors/relations.js';
 export * from './errors/indexes.js';
 export * from './errors/stream.js';
 export * from './errors/handler.js';
 export * from './types/service.js';
-export * from './types/table.js';
+export * from './types/relations.js';
+export * from './types/indexes.js';
 export * from './types/schema.js';
+export * from './types/table.js';

package/dist/library.mjs

@@ -1,63 +1,92 @@
-import{registerTriggers as _e}from"@ez4/common/library";import{registerTriggers as qe}from"@ez4/schema/library";
-import{createTrigger as Be}from"@ez4/project/library";import{getLinkedServiceList as Ne,getLinkedVariableList as Ce,getPropertyString as He,
-getPropertyTuple as Re,getModelMembers as Fe}from"@ez4/common/library";import{isModelProperty as Ve}from"@ez4/reflection";var M="@ez4/database",Ge=e=>e.type===M;import{IncompleteTypeError as J}from"@ez4/common/library";var m=class extends J{constructor(t,r){
-super("Incomplete database service",t,r)}};import{hasHeritageType as p,isClassDeclaration as K,isModelDeclaration as Q}from"@ez4/common/library";
-import{isTypeCallback as W,isTypeFunction as X}from"@ez4/reflection";var l=e=>K(
-e)&&p(e,"Database.Service"),v=e=>Q(e)&&p(e,"Database.Table"),D=e=>W(e)||X(e),P=e=>p(
-e,"Database.Indexes"),j=e=>p(e,"Database.Schema"),E=e=>p(e,"Database.Stream");import{getModelMembers as Pe,getObjectMembers as je,getPropertyString as Ee}from"@ez4/common/library";
-import{isModelProperty as ke,isTypeObject as Ae,isTypeReference as we}from"@ez4/reflection";import{IncompleteTypeError as Y}from"@ez4/common/library";var c=class extends Y{constructor(t,r){
-super("Incomplete database table",t,r)}};import{IncorrectTypeError as Z,InvalidTypeError as L,TypeError as k}from"@ez4/common/library";
-var d=class extends L{constructor(t){super("Invalid table indexes type",void 0,"\
-Database.Indexes",t)}},b=class extends Z{constructor(r,a){super("Incorrect table\
- indexes type",r,"Database.Indexes",a);this.schemaType=r}},f=class extends k{constructor(r,a){
-super(`Invalid index type, ${r} must follow one of the Index options.`,a);this.indexName=
-r}},T=class extends k{constructor(r,a){super(`Invalid index reference, ${r} must\
- be valid column.`,a);this.indexName=r}};import{isTypeObject as te,isTypeReference as ae}from"@ez4/reflection";import{isModelDeclaration as oe}from"@ez4/common/library";
-import{getObjectSchema as A}from"@ez4/schema/library";import{IncorrectTypeError as ee,InvalidTypeError as re}from"@ez4/common/library";
-var u=class extends re{constructor(t){super("Invalid table schema type",void 0,"\
-Database.Schema",t)}},y=class extends ee{constructor(r,a){super("Incorrect table\
- schema type",r,"Database.Schema",a);this.schemaType=r}};var z=(e,t,r,a)=>{if(!ae(e))return w(e,t,r,a);let o=r[e.path];return o?w(o,t,r,a):
-null},w=(e,t,r,a)=>te(e)?A(e,r):oe(e)?j(e)?A(e,r):(a.push(new y(e.name,e.file)),
-null):(a.push(new u(t.file)),null);import{isModelDeclaration as ne,getModelMembers as se,getObjectMembers as ie,getPropertyString as pe}from"@ez4/common/library";
-import{isModelProperty as me,isTypeObject as le,isTypeReference as ce}from"@ez4/reflection";var C=(e,t,r,a)=>{if(!ce(e))return O(e,t,a);let o=r[e.path];return o?O(o,t,a):null},
-O=(e,t,r)=>le(e)?N(e,ie(e),r):ne(e)?P(e)?N(e,se(e),r):(r.push(new b(e.name,e.file)),
-null):(r.push(new d(t.file)),null),N=(e,t,r)=>{let a={};for(let o of t){if(!me(o)||
-o.inherited)continue;let s=o.name,i=pe(o);switch(i){case"primary":case"secondary":case"\
-ttl":a[s]=i;break;default:return r.push(new f(s,e.file)),null}}return a};import{getLinkedVariableList as ye,getModelMembers as xe,getObjectMembers as ge,
-getPropertyNumber as Se,isModelDeclaration as Ie}from"@ez4/common/library";import{
-isModelProperty as Me,isTypeObject as he,isTypeReference as ve}from"@ez4/reflection";import{IncompleteTypeError as de,IncorrectTypeError as be,InvalidTypeError as fe}from"@ez4/common/library";
-var x=class extends de{constructor(t,r){super("Incomplete table stream",t,r)}},g=class extends fe{constructor(t){
-super("Invalid table stream type",void 0,"Database.Stream",t)}},S=class extends be{constructor(r,a){
-super("Incorrect table stream type",r,"Database.Stream",a);this.streamType=r}};import{IncompleteTypeError as Te}from"@ez4/common/library";var I=class extends Te{constructor(t,r){
-super("Incomplete stream handler",t,r)}};var H=(e,t,r)=>{if(!D(e))return null;let a={},o=new Set(["name","file","change"]);
-return e.description&&(a.description=e.description),(a.name=e.name)&&o.delete("n\
-ame"),(a.file=e.file)&&o.delete("file"),e.parameters&&o.delete("change"),o.size===
-0&&ue(a)?a:(r.push(new I([...o],e.file)),null)},ue=e=>!!e.name&&!!e.file;var V=(e,t,r,a)=>{if(!ve(e))return R(e,t,r,a);let o=r[e.path];return o?R(o,t,r,a):
-null},De=e=>!!e.handler,R=(e,t,r,a)=>he(e)?F(e,ge(e),r,a):Ie(e)?E(e)?F(e,xe(e),r,
-a):(a.push(new S(e.name,e.file)),null):(a.push(new g(t.file)),null),F=(e,t,r,a)=>{
-let o={},s=new Set(["handler"]);for(let i of t)if(!(!Me(i)||i.inherited))switch(i.
-name){case"handler":o.handler=H(i.value,r,a);break;case"timeout":case"memory":{let n=Se(
-i);n!=null&&(o[i.name]=n);break}case"variables":o.variables=ye(i,a);break}return De(
-o)?o:(a.push(new x([...s],e.file)),null)};var _=(e,t,r)=>{if(!we(e))return $(e,t,r);let a=t[e.path];return a?$(a,t,r):null},
-ze=e=>!!e.name&&!!e.schema&&!!e.indexes,$=(e,t,r)=>v(e)?U(e,Pe(e),t,r):Ae(e)?U(e,
-je(e),t,r):null,U=(e,t,r,a)=>{let o={},s=new Set(["name","schema","indexes"]);for(let n of t)
-if(!(!ke(n)||n.inherited))switch(n.name){case"name":(o.name=Ee(n))&&s.delete(n.name);
-break;case"indexes":{(o.indexes=C(n.value,e,r,a))&&s.delete(n.name);break}case"s\
-chema":{(o.schema=z(n.value,e,r,a))&&s.delete(n.name);break}case"stream":{o.stream=
-V(n.value,e,r,a);break}}if(!ze(o))return a.push(new c([...s],e.file)),null;let i=Oe(
-e,o.indexes,o.schema);return i.length?(a.push(...i),null):o},Oe=(e,t,r)=>{let a=r.
-properties,o=[];for(let s in t)for(let i of s.split(":"))a[i]||o.push(new T(s,e.
-file));return o};var q=e=>{let t={},r=[];for(let a in e){let o=e[a];if(!l(o))continue;let s={type:M},
-i=new Set(["engine","tables"]);s.name=o.name;for(let n of Fe(o))if(!(!Ve(n)||n.inherited))
-switch(n.name){case"engine":{let h=He(n);h&&(s[n.name]=h,i.delete(n.name));break}case"\
-tables":(s.tables=Ue(n,e,r))&&i.delete(n.name);break;case"variables":s.variables=
-Ce(n,r);break;case"services":s.services=Ne(n,e,r);break}if(!$e(s)){r.push(new m(
-[...i],o.file));continue}t[o.name]=s}return{services:t,errors:r}},$e=e=>!!e.name&&
-!!e.tables,Ue=(e,t,r)=>{let a=Re(e)??[],o=[];for(let s of a){let i=_(s,t,r);i&&o.
-push(i)}return o};var B=e=>l(e)?e.name:null;var G=!1,et=()=>{G||(_e(),qe(),Be("@ez4/database",{"metadata:getServices":q,"met\
-adata:getLinkedService":B}),G=!0)};export{I as IncompleteHandlerError,m as IncompleteServiceError,x as IncompleteStreamError,
-c as IncompleteTableError,b as IncorrectIndexesTypeError,y as IncorrectSchemaTypeError,
-S as IncorrectStreamTypeError,T as InvalidIndexReferenceError,f as InvalidIndexTypeError,
-d as InvalidIndexesTypeError,u as InvalidSchemaTypeError,g as InvalidStreamTypeError,
-M as ServiceType,q as getDatabaseServices,_ as getDatabaseTable,z as getTableSchema,
-Ge as isDatabaseService,et 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,4 +1,5 @@
-"use strict";var s=Object.defineProperty;var d=Object.getOwnPropertyDescriptor;var i=Object.getOwnPropertyNames;var T=Object.prototype.hasOwnProperty;var y=(r,t)=>{for(var a in t)s(r,a,{get:t[a],enumerable:!0})},c=(r,t,a,e)=>{if(t&&
-typeof t=="object"||typeof t=="function")for(let n of i(t))!T.call(r,n)&&n!==a&&
-s(r,n,{get:()=>t[n],enumerable:!(e=d(t,n))||e.enumerable});return r};var I=r=>c(s({},"__esModule",{value:!0}),r);var l={};y(l,{Database:()=>x,Index:()=>m,Order:()=>o,StreamType:()=>p});module.exports=
-I(l);var o=(a=>(a.Asc="asc",a.Desc="desc",a))(o||{});var m=(e=>(e.Primary="primary",e.Secondary="secondary",e.TTL="ttl",e))(m||{});var p=(e=>(e.Insert="insert",e.Update="update",e.Delete="delete",e))(p||{});var x;(r=>{})(x||={});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,9 @@
-export * from './services/client.js';
-export * from './services/transaction.js';
-export * from './services/query.js';
-export * from './services/order.js';
-export * from './services/indexes.js';
-export * from './services/schemas.js';
 export * from './services/streams.js';
-export * from './services/database.js';
+export { Client } from './services/client.js';
+export { Database } from './services/database.js';
+export { Transaction } from './services/transaction.js';
+export { Relations } from './services/relations.js';
+export { Index } from './services/indexes.js';
+export { Table } from './services/table.js';
+export { Query } from './services/query.js';
+export { Order } from './services/order.js';

package/dist/main.mjs

@@ -1 +1,2 @@
-var r=(t=>(t.Asc="asc",t.Desc="desc",t))(r||{});var a=(e=>(e.Primary="primary",e.Secondary="secondary",e.TTL="ttl",e))(a||{});var n=(e=>(e.Insert="insert",e.Update="update",e.Delete="delete",e))(n||{});var s;(o=>{})(s||={});export{s as Database,a as Index,r as Order,n 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/metadata/indexes.d.ts

@@ -1,5 +1,5 @@
 import type { AllType, SourceMap, TypeModel, TypeObject } from '@ez4/reflection';
-import type { TableIndexes } from '../types/indexes.js';
+import type { TableIndex } from '../types/indexes.js';
 type TypeParent = TypeModel | TypeObject;
-export declare const getTableIndexes: (type: AllType, parent: TypeParent, reflection: SourceMap, errorList: Error[]) => TableIndexes | null;
+export declare const getTableIndexes: (type: AllType, parent: TypeParent, reflection: SourceMap, errorList: Error[]) => TableIndex[] | null;
 export {};

package/dist/metadata/relations.d.ts

@@ -0,0 +1,5 @@
+import type { AllType, SourceMap, TypeModel, TypeObject } from '@ez4/reflection';
+import type { TableRelation } from '../types/relations.js';
+type TypeParent = TypeModel | TypeObject;
+export declare const getTableRelations: (type: AllType, parent: TypeParent, reflection: SourceMap, errorList: Error[]) => TableRelation[] | null;
+export {};

package/dist/metadata/utils.d.ts

@@ -2,6 +2,7 @@ import type { AllType, TypeCallback, TypeClass, TypeFunction, TypeModel } from '
 export declare const isDatabaseService: (type: AllType) => type is TypeClass;
 export declare const isDatabaseTable: (type: AllType) => type is TypeModel;
 export declare const isStreamHandler: (type: AllType) => type is TypeCallback | TypeFunction;
+export declare const isTableRelations: (type: TypeModel) => boolean;
 export declare const isTableIndexes: (type: TypeModel) => boolean;
 export declare const isTableSchema: (type: TypeModel) => boolean;
 export declare const isTableStream: (type: TypeModel) => boolean;

package/dist/services/client.d.ts

@@ -1,12 +1,10 @@
-import type { Indexes, TableIndexes } from './indexes.js';
-import type { TableSchemas } from './schemas.js';
-import type { Database } from './database.js';
+import type { TableClients } from './table.js';
 import type { Transaction } from './transaction.js';
-import type { Query } from './query.js';
+import type { Database } from './database.js';
 /**
  * Database client.
  */
-export type Client<T extends Database.Service<any>> = ClientTables<T> & {
+export type Client<T extends Database.Service<any>> = TableClients<T> & {
     /**
      * Prepare and execute the given query.
      *
@@ -22,23 +20,3 @@ export type Client<T extends Database.Service<any>> = ClientTables<T> & {
      */
     transaction<O extends Transaction.WriteOperations<T>>(operations: O): Promise<void>;
 };
-/**
- * Client tables.
- */
-export type ClientTables<T extends Database.Service<any>> = {
-    [P in keyof TableSchemas<T>]: TableSchemas<T>[P] extends Database.Schema ? Table<TableSchemas<T>[P], P extends keyof TableIndexes<T> ? TableIndexes<T>[P] extends Indexes ? TableIndexes<T>[P] : {} : {}> : never;
-};
-/**
- * Client table.
- */
-export interface Table<T extends Database.Schema, I extends Indexes> {
-    insertOne(query: Query.InsertOneInput<T>): Promise<Query.InsertOneResult>;
-    findOne<S extends Query.SelectInput<T>>(query: Query.FindOneInput<T, S, I>): Promise<Query.FindOneResult<T, S>>;
-    updateOne<S extends Query.SelectInput<T>>(query: Query.UpdateOneInput<T, S, I>): Promise<Query.UpdateOneResult<T, S>>;
-    upsertOne<S extends Query.SelectInput<T>>(query: Query.UpsertOneInput<T, S, I>): Promise<Query.UpsertOneResult<T, S>>;
-    deleteOne<S extends Query.SelectInput<T>>(query: Query.DeleteOneInput<T, S, I>): Promise<Query.DeleteOneResult<T, S>>;
-    insertMany(query: Query.InsertManyInput<T>): Promise<Query.InsertManyResult>;
-    findMany<S extends Query.SelectInput<T>>(query: Query.FindManyInput<T, S, I>): Promise<Query.FindManyResult<T, S>>;
-    updateMany<S extends Query.SelectInput<T>>(query: Query.UpdateManyInput<T, S>): Promise<Query.UpdateManyResult<T, S>>;
-    deleteMany<S extends Query.SelectInput<T>>(query: Query.DeleteManyInput<T, S>): Promise<Query.DeleteManyResult<T, S>>;
-}

package/dist/services/database.d.ts

@@ -1,9 +1,15 @@
 import type { Service } from '@ez4/common';
 import type { LinkedVariables } from '@ez4/project/library';
 import type { StreamChange } from './streams.js';
-import type { TableTypes } from './helpers.js';
+import type { TableTypes } from './table.js';
 import type { Client } from './client.js';
 import type { Index } from './indexes.js';
+/**
+ * Given a database service `T`, it returns all its table.
+ */
+export type DatabaseTables<T> = T extends {
+    tables: infer U;
+} ? U : [];
 /**
  * Provide all contracts for a self-managed database service.
  */
@@ -13,11 +19,16 @@ export declare namespace Database {
      */
     interface Schema {
     }
+    /**
+     * Table relations.
+     */
+    interface Relations {
+    }
     /**
      * Table indexes.
      */
     type Indexes<T extends Schema = Schema> = {
-        [P in `${string & keyof T}:${string & keyof T}` | keyof T]?: Index;
+        [P in keyof T]?: Index;
     };
     /**
      * Table stream.
@@ -55,6 +66,10 @@ export declare namespace Database {
          * Table schema.
          */
         schema: T;
+        /**
+         * Table relations.
+         */
+        relations?: Relations;
         /**
          * Table indexes.
          */

package/dist/services/indexes.d.ts

@@ -1,59 +1,64 @@
 import type { ArrayRest, IsArrayEmpty } from '@ez4/utils';
-import type { DatabaseTables } from './helpers.js';
-import type { Database } from './database.js';
+import type { Database, DatabaseTables } from './database.js';
 /**
  * All supported index types.
  */
 export declare const enum Index {
     Primary = "primary",
     Secondary = "secondary",
+    Unique = "unique",
     TTL = "ttl"
 }
-/**
- * An object containing only indexes.
- */
-export type Indexes = {
-    [name: string]: Index;
-};
 /**
  * Given an index name `T`, it produces the decomposed index names.
  */
 export type DecomposeIndexName<T> = T extends `${infer L}:${infer R}` ? L | DecomposeIndexName<R> : T;
 /**
- * Given an index object `T`, it produces another object containing only primary indexes.
+ * Given an index object `T`, it produces an object containing only primary indexes.
+ */
+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 PrimaryIndexes<T> = {
-    [P in keyof T as T[P] extends Index.Primary ? P : never]: T[P];
+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 another object containing only secondary indexes.
+ * Given an index object `T`, it produces an object containing only secondary indexes.
  */
-export type SecondaryIndexes<T> = {
-    [P in keyof T as T[P] extends Index.Secondary ? P : never]: T[P];
+export type SecondaryIndexes<T extends Database.Indexes> = {
+    [P in keyof T as Index.Secondary | Index.TTL extends T[P] ? P : never]: T[P];
 };
 /**
- * Given a database service `T`, it produces an object containing all tables with indexes.
+ * 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 TableIndexes<T extends Database.Service<any>> = MergeIndexes<DatabaseTables<T>>;
+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.
+ */
+export type IndexedTables<T extends Database.Service<any>> = MergeIndexes<DatabaseTables<T>>;
 /**
  * Given a list of tables with indexes `T`, it produces another object containing all the
- * table indexes mapped by table name.
+ * table indexes.
  */
-type MergeIndexes<T extends Database.Table[]> = IsArrayEmpty<T> extends true ? {} : TableIndex<T[0]> & MergeIndexes<ArrayRest<T>>;
+type MergeIndexes<T extends Database.Table[]> = IsArrayEmpty<T> extends false ? TableIndexes<T[0]> & MergeIndexes<ArrayRest<T>> : {};
 /**
- * Given a database table `T`, it produces another object containing all its index names.
+ * Given a database table `T`, it produces an object containing all the table indexes.
  */
-type TableIndex<T> = T extends {
+type TableIndexes<T> = T extends {
     name: infer N;
     indexes: infer I;
-} ? N extends string ? {
-    [P in N]: IndexProperties<Index.Secondary, DecomposeIndexName<keyof SecondaryIndexes<I>>> | IndexProperties<Index.Primary, DecomposeIndexName<keyof PrimaryIndexes<I>>>;
-} : {} : {};
-/**
- * Given a union of indexes `U`, it produces another object containing the index type `T`
- * for each index within the union.
- */
-type IndexProperties<T extends Index, U extends string> = U extends never ? {} : {
-    [P in U]: T;
-};
+} ? N extends string ? I extends Database.Indexes ? {
+    [P in N]: I;
+} : {} : {} : {};
 export {};

package/dist/services/order.d.ts

@@ -1,5 +1,5 @@
 /**
- * Query order.
+ * Query order types.
  */
 export declare const enum Order {
     Asc = "asc",

package/dist/services/query.d.ts

@@ -1,90 +1,94 @@
-import type { AnyObject, PartialProperties, PartialObject, DeepPartial } from '@ez4/utils';
-import type { Indexes, PrimaryIndexes } from './indexes.js';
+import type { Relations } from './relations.js';
 import type { Database } from './database.js';
 import type { Order } from './order.js';
+import type { DecomposeIndexName, DecomposePrimaryIndexNames, DecomposeUniqueIndexNames } from './indexes.js';
+import type { AnyObject, PartialProperties, PartialObject, DeepPartial, FlatObject, IsObject, StrictType } from '@ez4/utils';
 /**
  * Query builder types.
  */
 export declare namespace Query {
-    type InsertOneInput<T extends Database.Schema> = {
-        data: T;
+    export type InsertOneInput<T extends Database.Schema, R extends Relations> = {
+        data: Omit<T, R['indexes']> & R['changes'];
     };
-    type UpdateOneInput<T extends Database.Schema, S extends Database.Schema, I extends Indexes> = {
-        select?: S;
-        data: DeepPartial<T>;
+    export type UpdateOneInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
+        select?: StrictType<SelectInput<T, R>, S>;
+        data: DeepPartial<Omit<T, R['indexes']> & FlatObject<R['changes']>>;
         where: WhereInput<T, I>;
     };
-    type FindOneInput<T extends Database.Schema, S extends Database.Schema, I extends Indexes> = {
-        select: S;
+    export type FindOneInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
+        select: StrictType<SelectInput<T, R>, S>;
         where: WhereInput<T, I>;
     };
-    type UpsertOneInput<T extends Database.Schema, S extends Database.Schema, I extends Indexes> = {
-        select?: S;
-        insert: T;
-        update: DeepPartial<T>;
+    export type UpsertOneInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
+        select?: StrictType<SelectInput<T, R>, S>;
+        insert: Omit<T, R['indexes']> & R['changes'];
+        update: DeepPartial<Omit<T, R['indexes']> & FlatObject<R['changes']>>;
         where: WhereInput<T, I>;
     };
-    type DeleteOneInput<T extends Database.Schema, S extends Database.Schema, I extends Indexes> = {
-        select?: S;
+    export type DeleteOneInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
+        select?: StrictType<SelectInput<T, R>, S>;
         where: WhereInput<T, I>;
     };
-    type InsertManyInput<T extends Database.Schema> = {
+    export type InsertManyInput<T extends Database.Schema> = {
         data: T[];
     };
-    type UpdateManyInput<T extends Database.Schema, S extends Database.Schema> = {
-        select?: S;
-        data: DeepPartial<T>;
+    export type UpdateManyInput<T extends Database.Schema, S extends Database.Schema, R extends Relations> = {
+        select?: StrictType<SelectInput<T, R>, S>;
+        data: DeepPartial<Omit<T, R['indexes']> & FlatObject<R['changes']>>;
         where?: WhereInput<T>;
         limit?: number;
     };
-    type FindManyInput<T extends Database.Schema, S extends Database.Schema, I extends Indexes> = {
-        select: S;
+    export type FindManyInput<T extends Database.Schema, S extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
+        select: StrictType<SelectInput<T, R>, S>;
         where?: WhereInput<T>;
         order?: OrderInput<I>;
         cursor?: number | string;
         limit?: number;
     };
-    type DeleteManyInput<T extends Database.Schema, S extends Database.Schema> = {
-        select?: S;
+    export type DeleteManyInput<T extends Database.Schema, S extends Database.Schema, R extends Relations> = {
+        select?: StrictType<SelectInput<T, R>, S>;
         where?: WhereInput<T>;
         limit?: number;
     };
-    type InsertOneResult = void;
-    type UpdateOneResult<T extends Database.Schema, S extends AnyObject> = FindOneResult<T, S> | undefined;
-    type FindOneResult<T extends Database.Schema, S extends AnyObject> = Record<T, S> | undefined;
-    type UpsertOneResult<T extends Database.Schema, S extends AnyObject> = FindOneResult<T, S> | undefined;
-    type DeleteOneResult<T extends Database.Schema, S extends AnyObject> = FindOneResult<T, S> | undefined;
-    type InsertManyResult = void;
-    type UpdateManyResult<T extends Database.Schema, S extends AnyObject> = Record<T, S>[];
-    type FindManyResult<T extends Database.Schema, S extends AnyObject> = {
-        records: Record<T, S>[];
+    export type InsertOneResult = void;
+    export type UpdateOneResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R> | undefined;
+    export type FindOneResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R> | undefined;
+    export type UpsertOneResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R> | undefined;
+    export type DeleteOneResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R> | undefined;
+    export type InsertManyResult = void;
+    export type UpdateManyResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R>[];
+    export type FindManyResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = {
+        records: Record<T, S, R>[];
         cursor?: number | string;
     };
-    type DeleteManyResult<T extends Database.Schema, S extends AnyObject> = Record<T, S>[];
-    type Record<T extends Database.Schema, S extends AnyObject> = PartialObject<T, S, false>;
-    type SelectInput<T extends Database.Schema> = PartialProperties<T>;
-    type OrderInput<I extends Indexes> = {
-        [P in keyof I]?: Order;
+    export type DeleteManyResult<T extends Database.Schema, S extends AnyObject, R extends Relations> = Record<T, S, R>[];
+    export type Record<T extends Database.Schema, S extends AnyObject, R extends Relations> = PartialObject<T & R['selects'], S, false>;
+    export type SelectInput<T extends Database.Schema, R extends Relations> = PartialProperties<T & R['selects']>;
+    export type OrderInput<I extends Database.Indexes> = {
+        [P in DecomposeIndexName<keyof I>]?: Order;
     };
-    type WhereInput<T extends Database.Schema, I extends Indexes = never> = WhereFields<T, I> & WhereNot<T, I> & WhereAnd<T, I> & WhereOr<T, I>;
-    type WhereRequiredFields<T extends Database.Schema, I extends Indexes> = {
-        [P in keyof PrimaryIndexes<I>]: P extends keyof T ? T[P] extends AnyObject ? WhereFields<T[P], I> : T[P] | WhereOperations<T[P]> : never;
+    export type WhereInput<T extends Database.Schema, I extends Database.Indexes<T> = {}> = WhereFields<T, I> & WhereNot<T, I> & WhereAnd<T, I> & WhereOr<T, I>;
+    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 WhereOperations<T> = WhereNegate<T> | WhereEqual<T> | WhereGreaterThan<T> | WhereGreaterThanOrEqual<T> | WhereLessThan<T> | WhereLessThanOrEqual<T> | WhereIn<T> | WhereBetween<T> | WhereIsMissing | WhereIsNull | WhereStartsWith | WhereContains;
+    type WherePrimaryFields<T extends Database.Schema, I extends Database.Indexes<T>> = {
+        [P in DecomposePrimaryIndexNames<I>]: P extends keyof T ? IsObject<T[P]> extends true ? WhereFields<NonNullable<T[P]>, I> : T[P] | WhereOperations<T[P]> : never;
+    };
+    type WhereUniqueFields<T extends Database.Schema, I extends Database.Indexes<T>> = {
+        [P in DecomposeUniqueIndexNames<I>]: P extends keyof T ? IsObject<T[P]> extends true ? WhereFields<NonNullable<T[P]>, I> : T[P] | WhereOperations<T[P]> : never;
     };
-    type WhereOptionalFields<T extends Database.Schema, I extends Indexes> = {
-        [P in Exclude<keyof T, I>]?: T[P] extends AnyObject ? WhereFields<T[P], I> : T[P] | WhereOperations<T[P]>;
+    type WhereOptionalFields<T extends Database.Schema, I extends Database.Indexes<T>, N> = {
+        [P in Exclude<keyof T, N>]?: IsObject<T[P]> extends true ? WhereFields<NonNullable<T[P]>, I> : T[P] | WhereOperations<T[P]>;
     };
-    type WhereFields<T extends Database.Schema, I extends Indexes> = WhereRequiredFields<T, I> & WhereOptionalFields<T, I>;
-    type WhereNot<T extends Database.Schema, I extends Indexes> = {
+    type WhereFields<T extends Database.Schema, I extends Database.Indexes<T>> = (WherePrimaryFields<T, I> & WhereOptionalFields<T, I, DecomposePrimaryIndexNames<I>>) | (WhereUniqueFields<T, I> & WhereOptionalFields<T, I, DecomposeUniqueIndexNames<I>>);
+    type WhereNot<T extends Database.Schema, I extends Database.Indexes<T>> = {
         NOT?: WhereInput<T, I> | WhereAnd<T, I> | WhereOr<T, I>;
     };
-    type WhereAnd<T extends Database.Schema, I extends Indexes> = {
+    type WhereAnd<T extends Database.Schema, I extends Database.Indexes<T>> = {
         AND?: (WhereInput<T, I> | WhereOr<T, I> | WhereNot<T, I>)[];
     };
-    type WhereOr<T extends Database.Schema, I extends Indexes> = {
+    type WhereOr<T extends Database.Schema, I extends Database.Indexes<T>> = {
         OR?: (WhereInput<T, I> | WhereAnd<T, I> | WhereNot<T, I>)[];
     };
-    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>;
     };
@@ -121,4 +125,5 @@ export declare namespace Query {
     type WhereContains = {
         contains: string;
     };
+    export {};
 }

package/dist/services/relations.d.ts

@@ -0,0 +1,87 @@
+import type { AnyObject, ArrayRest, IsArrayEmpty, PropertyType, ExclusiveType } from '@ez4/utils';
+import type { IndexedTables, PrimaryIndexes, UniqueIndexes } from './indexes.js';
+import type { Database, DatabaseTables } from './database.js';
+import type { TableSchemas } from './schemas.js';
+/**
+ * Internal relation type.
+ */
+export type Relations = {
+    indexes: string;
+    selects: Record<string, any>;
+    changes: Record<string, any>;
+};
+/**
+ * Given a relation source name `T`, it produces the source table name.
+ */
+export type RelationSourceTable<T> = T extends `${infer U}:${string}` ? U : never;
+/**
+ * Given a relation source name `T`, it produces the source column name.
+ */
+export type RelationSourceColumn<T> = T extends `${string}:${infer U}` ? U : never;
+/**
+ * Given a relation target name `T`, it produces the target column name.
+ */
+export type RelationTargetColumn<T> = T extends `${infer U}@${string}` ? U : never;
+/**
+ * Given a relation target name `T`, it produces the target alias name.
+ */
+export type RelationTargetAlias<T> = T extends `${string}@${infer U}` ? U : never;
+/**
+ * Given a database service `T`, it produces an object with all relation tables.
+ */
+export type RelationTables<T extends Database.Service<any>> = MergeRelations<DatabaseTables<T>, TableSchemas<T>, IndexedTables<T>>;
+/**
+ * Given a list of tables with relations `T`, it produces an object containing all the
+ * relation tables.
+ */
+type MergeRelations<T extends Database.Table[], S extends Record<string, Database.Schema>, I extends Record<string, Database.Indexes>> = IsArrayEmpty<T> extends false ? TableRelation<T[0], S, I> & MergeRelations<ArrayRest<T>, S, I> : {};
+/**
+ * Given a database table `T`, it produces an object containing all its relations.
+ */
+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 AnyObject ? {
+    [P in N]: {
+        indexes: keyof RelationIndexes<PropertyType<N, 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 only required relation schemas.
+ */
+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> extends true ? never : RelationTargetAlias<R[C]>]: 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 AnyObject, E extends boolean> = {
+    [C in keyof R as IsOptionalRelation<C, R[C], T, I> extends true ? RelationTargetAlias<R[C]> : never]?: RelationSchema<C, R[C], T, S, I, E>;
+};
+/**
+ * Produce an object containing all relation indexes.
+ */
+type RelationIndexes<T extends Database.Schema, I extends Record<string, Database.Indexes>, R extends AnyObject> = {
+    [C in keyof R as IsOptionalRelation<C, R[C], T, I> extends true ? never : RelationTargetColumn<R[C]>]: never;
+};
+/**
+ * Check whether a relation is optional or not.
+ */
+type IsOptionalRelation<C, V, T extends Database.Schema, I extends Record<string, Database.Indexes>> = RelationSourceColumn<C> extends keyof PrimaryIndexes<PropertyType<RelationSourceTable<C>, I>> ? undefined extends PropertyType<RelationTargetColumn<V>, T> ? true : false : true;
+/**
+ * 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, 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/schemas.d.ts

@@ -1,22 +1,20 @@
 import type { ArrayRest, IsArrayEmpty } from '@ez4/utils';
-import type { DatabaseTables } from './helpers.js';
-import type { Database } from './database.js';
+import type { Database, DatabaseTables } from './database.js';
 /**
  * Given a database service `T`, it produces an object containing all tables with schemas.
  */
 export type TableSchemas<T extends Database.Service<any>> = MergeTables<DatabaseTables<T>>;
 /**
- * Given a list of tables with schema `T`, it produces an object containing all schemas
- * mapped by table name.
+ * Given a list of tables with schema `T`, it produces an object containing all schemas.
  */
-type MergeTables<T extends Database.Table[]> = IsArrayEmpty<T> extends true ? {} : TableSchema<T[0]> & MergeTables<ArrayRest<T>>;
+type MergeTables<T extends Database.Table[]> = IsArrayEmpty<T> extends false ? TableSchema<T[0]> & MergeTables<ArrayRest<T>> : {};
 /**
- * Given a database table `T`, it produces an object containing the `schema`.
+ * Given a database table `T`, it produces an object containing the table schema.
  */
 type TableSchema<T> = T extends {
     name: infer N;
     schema: infer S;
-} ? N extends string ? {
+} ? N extends string ? S extends Database.Schema ? {
     [P in N]: S;
-} : {} : {};
+} : {} : {} : {};
 export {};

package/dist/services/table.d.ts

@@ -0,0 +1,93 @@
+import type { AnyObject, ArrayRest, IsArrayEmpty, IsAny, PropertyExists } from '@ez4/utils';
+import type { Relations, RelationTables } from './relations.js';
+import type { IndexedTables } from './indexes.js';
+import type { TableSchemas } from './schemas.js';
+import type { Database } from './database.js';
+import type { Query } from './query.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 an indexed table `T` and a property `P`, it returns all the indexes corresponding
+ * to the given property.
+ */
+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.
+ */
+export type TableRelation<P, T extends AnyObject> = PropertyExists<P, T> extends true ? T[P] extends Relations ? T[P] : {
+    indexes: never;
+    selects: {};
+    changes: {};
+} : {
+    indexes: never;
+    selects: {};
+    changes: {};
+};
+/**
+ * Given a database service `T`, it returns all table clients.
+ */
+export type TableClients<T extends Database.Service<any>> = {
+    [P in keyof TableSchemas<T>]: TableSchemas<T>[P] extends Database.Schema ? Table<TableSchemas<T>[P], TableIndex<P, IndexedTables<T>>, TableRelation<P, RelationTables<T>>> : never;
+};
+/**
+ * Table client.
+ */
+export interface Table<T extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> {
+    /**
+     * Insert one record into the database.
+     *
+     * @param query Input query.
+     */
+    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, R>): Promise<Query.FindOneResult<T, S, R>>;
+    /**
+     * Update one database record.
+     *
+     * @param query Input query.
+     */
+    updateOne<S extends Query.SelectInput<T, R>>(query: Query.UpdateOneInput<T, S, I, R>): Promise<Query.UpdateOneResult<T, S, R>>;
+    /**
+     * Try to insert a database record, and if it already exists, perform an update instead.
+     *
+     * @param query Input query.
+     */
+    upsertOne<S extends Query.SelectInput<T, R>>(query: Query.UpsertOneInput<T, S, I, R>): Promise<Query.UpsertOneResult<T, S, R>>;
+    /**
+     * Delete one database record.
+     *
+     * @param query Input query.
+     */
+    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.
+     *
+     * @param query Input query.
+     */
+    insertMany(query: Query.InsertManyInput<T>): Promise<Query.InsertManyResult>;
+    /**
+     * Find multiple database records.
+     *
+     * @param query Input query.
+     */
+    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, 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, R>): Promise<Query.DeleteManyResult<T, S, R>>;
+}

package/dist/services/transaction.d.ts

@@ -1,4 +1,6 @@
-import type { Indexes, TableIndexes } from './indexes.js';
+import type { Relations, RelationTables } from './relations.js';
+import type { TableIndex, TableRelation } from './table.js';
+import type { IndexedTables } from './indexes.js';
 import type { TableSchemas } from './schemas.js';
 import type { Database } from './database.js';
 import type { Query } from './query.js';
@@ -11,17 +13,17 @@ export declare namespace Transaction {
      */
     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]> | UpdateOperation<TableSchemas<T>[P], P extends keyof TableIndexes<T> ? TableIndexes<T>[P] extends Indexes ? TableIndexes<T>[P] : never : never> | DeleteOperation<TableSchemas<T>[P], P extends keyof TableIndexes<T> ? TableIndexes<T>[P] extends Indexes ? TableIndexes<T>[P] : never : never>;
+            [alias: string]: InsertOperation<TableSchemas<T>[P], 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;
     };
-    type InsertOperation<T extends Database.Schema> = {
-        insert: Query.InsertOneInput<T>;
+    type InsertOperation<T extends Database.Schema, R extends Relations> = {
+        insert: Query.InsertOneInput<T, R>;
     };
-    type UpdateOperation<T extends Database.Schema, I extends Indexes> = {
-        update: Omit<Query.UpdateOneInput<T, Query.SelectInput<T>, I>, 'select'>;
+    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 DeleteOperation<T extends Database.Schema, I extends Indexes> = {
-        delete: Omit<Query.DeleteOneInput<T, Query.SelectInput<T>, I>, 'select'>;
+    type DeleteOperation<T extends Database.Schema, I extends Database.Indexes<T>, R extends Relations> = {
+        delete: Omit<Query.DeleteOneInput<T, Query.SelectInput<T, R>, I, R>, 'select'>;
     };
     export {};
 }

package/dist/types/indexes.d.ts

@@ -1,2 +1,6 @@
 import type { Index } from '../services/indexes.js';
-export type TableIndexes = Record<string, Index>;
+export type TableIndex = {
+    name: string;
+    columns: string[];
+    type: Index;
+};

package/dist/types/relations.d.ts

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

package/dist/types/table.d.ts

@@ -1,9 +1,11 @@
+import type { TableRelation } from './relations.js';
+import type { TableIndex } from './indexes.js';
 import type { TableSchema } from './schema.js';
-import type { TableIndexes } from './indexes.js';
 import type { TableStream } from './stream.js';
 export type DatabaseTable = {
     name: string;
     schema: TableSchema;
-    indexes: TableIndexes;
+    relations?: TableRelation[];
+    indexes: TableIndex[];
     stream?: TableStream;
 };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@ez4/database",
   "description": "EZ4: Components to build database services",
-  "version": "0.8.0",
+  "version": "0.10.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.8.0"
+    "@ez4/project": "^0.10.0"
   },
   "dependencies": {
-    "@ez4/common": "^0.8.0",
-    "@ez4/reflection": "^0.8.0",
-    "@ez4/schema": "^0.8.0",
-    "@ez4/utils": "^0.8.0"
+    "@ez4/common": "^0.10.0",
+    "@ez4/reflection": "^0.10.0",
+    "@ez4/schema": "^0.10.0",
+    "@ez4/utils": "^0.10.0"
   }
 }