Dominique Duval

Professor
Université Grenoble-Alpe - Laboratoire Jean Kuntzmann (LJK) - Team CASC
Dominique.Duval@univ-grenoble-alpes.fr - Tel : +33 4 57 42 17 34
Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de St Martin d'Hères


Semantics of Graphical Databases

This work aims at defining a simple uniform semantics for graphical databases, generalizing the well-known semantics for relational databases based on relational calculus. Joint work with Rachid Echahed and Frédéric Prost:

CONSTRUCT and sub-CONSTRUCT for querying graphical databases.


Logs and Cats - Logics and Categories

WHAT IS A LOGIC?


Lie-to-children principle

Pinocchio
Pinocchio by André Koehne, 2006, CC-BY-SA.


Lie-to-children. "Because some topics can be extremely difficult to understand, introducing a full level of complexity all at once can be overwhelming. Hence elementary explanations are simplified in a way that makes the lesson more understandable, though technically wrong. A lie-to-children is meant to be eventually replaced with a more sophisticated explanation which is closer to the truth."

Research topics in semantics

Previous research topics in computer algebra

Publications

Some links