Re: Mathematica RDBMS Model

From: Jan Hidders <hidders_at_REMOVE.THIS.win.tue.nl>
Date: 19 Jan 2001 08:13:40 GMT
Message-ID: <948svk$kq$1_at_news.tue.nl>


Michal Widera wrote:
>
> Jan Hidders wrote:
>
> > Michal Widera wrote:
> > >
> > > Is there anybody knows
> > > something about mathematical (queued maybe...)
> > > model of simple RDBMS ?
> >
> > What kind of model are you looking for? A model of the data? A model of
> > the transaction handling? An execution model? ...
>
> I'm looking for a simplified theoretical model of database engine.

So the next question is what you want the granularity of the model to be? Are you going to model queries as black boxes or do you want to model their semantics? And what kind of modeling language would you like to use? Process algebra? Petri nets? Plain set theory? Z? VDM? ...

-- 
  Jan Hidders
Received on Fri Jan 19 2001 - 09:13:40 CET

Original text of this message