You are here: Home -  Saldi Hogan Roma nostra Magia Set di trasformazione si

Saldi Hogan Roma nostra Magia Set di trasformazione si

Saldi Hogan Roma

Recentemente, metodi efficaci modelli di query-risposta in sistemi di integrazione dati e basi di dati inconsistenti in termini di ragionamento cauto sui programmi Datalog¬Datalog¬ sotto la semantica dei modelli stabili. Dal momento che questo compito è computazionalmente costoso (co-NP-completo), vi è una chiara necessità di tecniche idonee per l'ottimizzazione delle query, in modo da rendere tali metodi fattibili per applications.We data-intensive proporre una generalizzazione dei famosi set di magia tecnica ai programmi Datalog¬Datalog¬ con (possibilmente non stratificato) negazione sotto la semantica dei modelli stabili. La nostra tecnica produce un nuovo programma la cui valutazione è Saldi Hogan Roma più efficiente (a causa di una istanza più piccolo) in generale, pur mantenendo piena di query-equivalenza per il ragionamento sia coraggioso e prudente, a condizione che il programma originale è coerente. Solidità sotto ragionamento prudente è sempre garantita, anche se il programma originale è per inconsistent.In dimostrare formalmente la correttezza della nostra Magia Set di trasformazione, si introduce un nuovo concetto di modularità per Datalog¬Datalog¬ sotto la semantica dei modelli stabili, che è più adatto per query di segreteria di definizioni dei moduli precedenti. Si dimostra che una query su tale modulo può essere valutato indipendentemente dal resto del programma, preservando la solidità sotto ragionamento prudente. È importante sottolineare che, per i programmi coerenti, sia per correttezza e completezza sono garantiti per un ragionamento coraggioso e prudente reasoning.Our Magia Imposta ottimizzazione costituisce un metodo efficace per migliorare le prestazioni dei sistemi di integrazione dati in cui interrogazione-risposta viene effettuata per mezzo di ragionamenti cauti su Datalog programmi Hogan Outlet Online ¬Datalog¬. Infatti, i risultati di esperimenti nel Infomix progetto UE, dimostrano che set di magia sono fondamentali per la scalabilità del sistema.
0 Commenti


Parlare la vostra mente