Laurent Vieille

17 papers A* 1B 3Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2006 J jnl
Automatic generation of simplified weakest preconditions for integrity constraint verification
CoRR
Ahmed Ait-Bouziad, Irène Guessarian, Laurent Vieille
1998 A* conf
From Data Independence to Knowledge Independence: An on-going Story.
VLDB
Laurent Vieille
1996 — conf
Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion).
Logic in Databases
Arno Siebes, Shalom Tsur, Jeffrey D. Ullman, Laurent Vieille, Carlo Zaniolo
1996 B conf
VALIDITY: Applications of a DOOD System.
EDBT
Oris Friesen, Alexandre Lefebvre, Laurent Vieille
1995 — ed.
Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings
DOOD
Tok Wang Ling, Alberto O. Mendelzon, Laurent Vieille
1993 — conf
A Deductive and Object-Oriented Database System: Why and How?
SIGMOD Conference
Laurent Vieille
1993 — conf
Applications of Deductive Object-Oriented Databases Using DEL.
Workshop on Programming with Logic Databases (Book), ILPS
Oris Friesen, Gilles Gauthier-Villars, Alexandre Lefebvre, Laurent Vieille
1993 — conf
Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille.
BDA
Nicole Bidoit, Claude Delobel, Laurent Vieille
1992 B conf
The EKS-V1 System.
LPAR
Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey
1989 — conf
On Deductive Query Evaluation in the DedGin* System.
DOOD
Alexandre Lefebvre, Laurent Vieille
1989 J jnl
Recursive Query Processing: The Power of Logic.
Theor. Comput. Sci.
Laurent Vieille
1988 — conf
From QSQ towards QoSaQ: Global Optimization of Recursive Queries.
Expert Database Conf.
Laurent Vieille
1988 — ch.
Recursive Query Processing: Fundamental Algorithms and the DedGin System.
Prolog and Databases
Laurent Vieille
1987 B conf
A Database-Complete Proof Procedure Based on SLD-Resolution.
ICLP
Laurent Vieille
1986 — conf
Recursive Axioms in Deductive Databases: The Query/Subquery Approach.
Expert Database Conf.
Laurent Vieille
1986 — conf
Some Steps Towards a DBMS-based KBMS.
IFIP Congress
Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace
1985 — conf
Le traitement des axiomes récursifs dans les bases de données déductives.
SPLT
Laurent Vieille