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 |