Séminaire Algorithmique : « One-two trees, let’s twist! », Julien Courtiel (GREYC, Caen)
Sciences 3- S3 351Il y a fort longtemps (en l’an 2018), dans un bureau fort lointain (le S3-354), le jeune Matthieu Dien et ma modeste personne se sont lancés dans une quête : un problème qui ne prendrait que “10 minutes à résoudre”. Il aura fallu 8 ans, et l’aide du chevaleresque Paul Dorbec, pour qu’un article ait … Continue reading Séminaire Algorithmique : « One-two trees, let’s twist! », Julien Courtiel (GREYC, Caen)
Séminaire Algorithmique : « Codd’s Theorem for Databases over Semirings », Guillermo Badia (University of Queensland, Australie)
Sciences 3- S3 351Codd’s Theorem, a fundamental result of database theory, asserts that relational algebra and relational calculus have the same expressive power on relational databases. We explore Codd’s Theorem for databases over semirings and establish two different versions of this result for such databases: the first version involves the five basic operations of relational algebra, while in … Continue reading Séminaire Algorithmique : « Codd’s Theorem for Databases over Semirings », Guillermo Badia (University of Queensland, Australie)
Séminaire Algorithmique : Nathan Papon (Telecom Paris)
Sciences 3- S3 351Titre et résumé à venir.