Data integration: differenze tra le versioni

La teoria dell'integrazione dei dati costituisce un sottoinsieme della teoria delle basi di dati e formalizza i concetti di fondo del problema attraverso la [[logica del primo ordine]].

Applicando le teorie dà indicazione circa la fattibilità e la difficoltà di integrazione. Nonostante le sue teorie possano apparire astratte, esse godono di sufficiente generalità per adattarsi a tutti i sistemi di integrazione,<ref>{{Cita web|url=http://link.springer.com/chapter/10.1007/3-540-46093-4_14 |titolo=A Model Theory for Generic Schema Management}}</ref> compresi quelli che includono relazionale nidificato o [[Database XML|basi di dati XML]]<ref>{{Cita web|url=http://www.vldb.org/conf/2006/p67-fuxman.pdf |titolo=Nested Mappings: Schema Mapping Reloaded }}</ref> e quelli che trattano i database come programmi<ref>{{Cita web|url=http://homepages.inf.ed.ac.uk/dts/pub/psi.pdf |titolo=The Common Framework Initiative for algebraic specification and development of software}}</ref>.

 

===Definizioni===