Valda

3 juin 2022, 10:30-11:30. ENS, Hauts du DI. Querying inconsistent prioritized data with ORBITS: Algorithms, implementation, and experiments We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts. We consider three…

Lire la suite

20 mai 2022, 10:30-11:30. ENS S16. Algorithm for consistent query answering under primary key constraints Databases often have constraints. One of the basic constraints is the « primary key constraint » which states there can be at most one tuple for every primary key. However, these days it is common to have…

Lire la suite

12 avril 2022, 10:30-11:30. ENS, S16 The Semiring-Based Provenance Framework for Graph Databases L’augmentation du volume de données collectées par des capteurs et générées par des interactions humaines a mené à l’utilisation des bases de données orientées graphes en tant que modèle de représentation efficace pour les données complexes. Les…

Lire la suite

8 avril 2022, 10:30-11:30. ENS, S16 Capturing Homomorphism-Closed Decidable Queries with Existential Rules Existential rules are a well studied ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward that existential rule queries exhibiting chase termination are decidable and can only recognize…

Lire la suite