Laurent Vieille

Publication Activity (10 Years)

Years Active: 1985-2006
Publications (10 Years): 0

Publications

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