at stores different types. In the
> > ADT
> > > > >> world
> > > > >>> you could have multiple child vectors with the same type but
> > > different
> > > > >> type
> > > > >>> ids in the union type vector. The difference is apparent if you
> > want
> > > to
> > > > >> use
> > > > >>> two BigIntVectors as children which doesn't exist in world 1.
> > World 1
> > > > is
> > > > >> a
> > > > >>> subset of world 2.
> > > > >>>
> > > > >>> The spec (to my understanding) doesn’t explicitly forbid world 2,
> > but
> > > > the
> > > > >>> implementation we have been using (Java) has been making the
> > > assumption
> > > > >> of
> > > > >>> being in world 1 (a union only having ONE child of each type). We
> > > > >> sometimes
> > > > >>> use union in the ADT style which has led to problems down the
> road.
> > > > >>>
> > > > >>> Could someone clarify what the specification allows and what it
> > > doesn’t
> > > > >>> allow? Could we tighten the specification after that
> clarification?
> > > > >>>
> > > > >>> Best, Finn
> > > > >>>
> > > > >>
> > > > >
> > > >
> > >
> >
>
--
*James Henderson*
XTDB Head of Engineering at *JUXT*
Mobile +44 (0) 780 4321 777 <+447804321777>
Email j...@juxt.pro
Website https://juxt.pro
[image: photo]
values and types
>
> Some things may require more consideration, e.g. transaction isolation
> might be better off as part of the transaction RPCs than an ambient
> property. Are you interested in writing up a (sketch of a) proposal?
>
> -David
>
> On Thu, Nov 10, 2022, at 10:09, James He
d recipient(s) and
> may
> > contain confidential and privileged information. Any unauthorized
> review,
> > use, disclosure, or distribution is prohibited. If you are not the
> > intended recipient, please contact the sender by reply email and destroy
> > all copies of the original message. Thank you.
>
--
*James Henderson*
XTDB Developer at *JUXT*
Email j...@juxt.pro
Website https://juxt.pro
[image: photo]
rChar vectors only support UTF-8. Are they something that may
> be
> > supported in the future?
> >
> > Regards.
> > Kevin.
> >
>
--
*James Henderson*
XTDB Development Manager at *JUXT*
Email j...@juxt.pro
Website https://juxt.pro
[image: photo]
+1 (non-binding)
--
James Henderson
XTDB Development Manager at JUXT
Email j...@juxt.pro
Website https://juxt.pro
[image: photo]
