La compilazione delle query è il problema di tradurre le richieste degli utenti formulate secondo modalità puramente concettuali e specifiche del dominio di comprendere i dati, comunemente chiamati progetti logici, in programmi eseguibili efficienti chiamati piani di query. Tali piani accedono a varie origini dati concrete attraverso le loro interfacce di basso livello, spesso basate su iteratori. Un apprezzamento delle origini dati concrete, delle loro interfacce e del modo in cui tali capacità si riferiscono alla progettazione logica è comunemente chiamato progettazione fisica. Questo libro è un'introduzione ai metodi fondamentali alla base della tecnologia dei database che risolve il problema della compilazione delle query. I metodi sono presentati in termini di logica del primo ordine che funge da veicolo per specificare la progettazione fisica, esprimere richieste degli utenti e piani di query e comprendere come i piani di query implementano le richieste degli utenti.
caricamento...
