| 2006 |
|---|
| 17 | EE | Ahmed Ait-Bouziad,
Irène Guessarian,
Laurent Vieille:
Automatic generation of simplified weakest preconditions for integrity constraint verification
CoRR abs/cs/0603053: (2006) |
| 1998 |
|---|
| 16 | EE | Laurent Vieille:
From Data Independence to Knowledge Independence: An on-going Story.
VLDB 1998: 650-654 |
| 1996 |
|---|
| 15 | EE | Oris Friesen,
Alexandre Lefebvre,
Laurent Vieille:
VALIDITY: Applications of a DOOD System.
EDBT 1996: 131-134 |
| 14 | | Arno Siebes,
Shalom Tsur,
Jeffrey D. Ullman,
Laurent Vieille,
Carlo Zaniolo:
Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion).
Logic in Databases 1996: 225-229 |
| 1995 |
|---|
| 13 | | Tok Wang Ling,
Alberto O. Mendelzon,
Laurent Vieille:
Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings
Springer 1995 |
| 1993 |
|---|
| 12 | | Nicole Bidoit,
Claude Delobel,
Laurent Vieille:
Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille.
BDA 1993: 139- |
| 11 | EE | Laurent Vieille:
A Deductive and Object-Oriented Database System: Why and How?
SIGMOD Conference 1993: 438 |
| 10 | | 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: 1-22 |
| 1992 |
|---|
| 9 | | Laurent Vieille,
Petra Bayer,
Volker Küchenhoff,
Alexandre Lefebvre,
Rainer Manthey:
The EKS-V1 System.
LPAR 1992: 504-506 |
| 1989 |
|---|
| 8 | | Alexandre Lefebvre,
Laurent Vieille:
On Deductive Query Evaluation in the DedGin* System.
DOOD 1989: 123-144 |
| 7 | | Laurent Vieille:
Recursive Query Processing: The Power of Logic.
Theor. Comput. Sci. 69(1): 1-53 (1989) |
| 1988 |
|---|
| 6 | | Laurent Vieille:
From QSQ towards QoSaQ: Global Optimization of Recursive Queries.
Expert Database Conf. 1988: 743-778 |
| 5 | | Laurent Vieille:
Recursive Query Processing: Fundamental Algorithms and the DedGin System.
Prolog and Databases 1988: 135-158 |
| 1987 |
|---|
| 4 | | Laurent Vieille:
A Database-Complete Proof Procedure Based on SLD-Resolution.
ICLP 1987: 74-103 |
| 1986 |
|---|
| 3 | | Laurent Vieille:
Recursive Axioms in Deductive Databases: The Query/Subquery Approach.
Expert Database Conf. 1986: 253-267 |
| 2 | | Jorge B. Bocca,
Hendrik Decker,
Jean-Marie Nicolas,
Laurent Vieille,
Mark Wallace:
Some Steps Towards a DBMS-based KBMS.
IFIP Congress 1986: 1061-1067 |
| 1985 |
|---|
| 1 | | Laurent Vieille:
Le traitement des axiomes récursifs dans les bases de données déductives.
SPLT 1985 |
