Valda Seminar: Camille Bourgaux

3 June 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…

Continue reading

Valda Seminar: Anantha Padmanabha

20 May 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…

Continue reading

Valda Seminar: Yann Ramusat

12 April 2022, 10:30-11:30. ENS, S16 The Semiring-Based Provenance Framework for Graph Databases The growing amount of data collected by sensors or generated by human interaction has led to an increasing use of graph databases, an efficient model for representing intricate data. Techniques to keep track of the history of…

Continue reading

Valda Seminar: Michaël Thomazo

8 April 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…

Continue reading