Forum libero

- Scritto da:
>
> - Scritto da:
> > - Scritto da:
> > >
> > > - Scritto da: avvelentani
> > > >
> > > > - Scritto da:
> > > > > Collezioni strutturate di proposizioni che
> > > > > riguardano un segmento di interesse del
> > mondo
> > > > > reale che per definizione si considerano
> > > > > vere.
> > > >
> > > > Mi sembra una definizione eccessivamente
> > ampia.
> > > > Anche una knowledge base rientrerebbe in
> > questa
> > > > definizione.
> > >
> > > Infatti rientra. E' il viceversa che non è
> > valido.
> >
> > Non solo rientra, ma non è ampia per nulla. Per
> > fare il salto di qualità bisogna smetterla di
> > pensare come dei geek (il nome del file
> > appartiene al file è un quesito logico che esula
> > dalle implementazioni a livello di file
> > system).
>
> E ci mancherebbe, il mio era solo un esempio.

ciò che volevo dire è che tale definizione è volutamente generica perché serve a spiegare cosa è un database nel contesto della scienza tramite la teoria degli insiemi e quella della logica dei predicati

ad esempio nel contestato di quest'ultima possiamo dire che un database è un insieme di assiomi, il risultato di una query è un teorema ed il processo di derivazione dagli assiomi è una prova

tutto ciò possiamo affermarlo senza perdere di genericità e ci permette di applicare tutta la teoria legata ai database in ogni contesto dove esistono informazioni

viceversa definizioni riduttive, o legate a particolari tecnologie, lasciano il tempo che trovano

un database è solo una questioni a livello logico