Laurent Vieille

According to our database, Laurent Vieille authored at least 16 papers between 1985 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Automatic generation of simplified weakest preconditions for integrity constraint verification

Ahmed Ait-Bouziad, Irène Guessarian, Laurent Vieille

CoRR, 2006

1998

From Data Independence to Knowledge Independence: An on-going Story.

Laurent Vieille

Proceedings of the VLDB'98, 1998

1996

Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion).

Arno Siebes, Shalom Tsur, Jeffrey D. Ullman, Laurent Vieille, Carlo Zaniolo

Proceedings of the Logic in Databases, 1996

VALIDITY: Applications of a DOOD System.

Oris Friesen, Alexandre Lefebvre, Laurent Vieille

Proceedings of the Advances in Database Technology, 1996

1993

A Deductive and Object-Oriented Database System: Why and How?

Laurent Vieille

Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Applications of Deductive Object-Oriented Databases Using DEL.

Oris Friesen, Gilles Gauthier-Villars, Alexandre Lefebvre, Laurent Vieille

Proceedings of the Applications of Logic Databases, 1993

Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille.

Nicole Bidoit, Claude Delobel, Laurent Vieille

Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993

1992

The EKS-V1 System.

Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey

Proceedings of the Logic Programming and Automated Reasoning, 1992

1989

Recursive Query Processing: The Power of Logic.

Laurent Vieille

Theor. Comput. Sci., 1989

On Deductive Query Evaluation in the DedGin* System.

Alexandre Lefebvre, Laurent Vieille

Proceedings of the Deductive and Object-Oriented Databases, 1989

1988

From QSQ towards QoSaQ: Global Optimization of Recursive Queries.

Laurent Vieille

Proceedings of the Expert Database Systems, 1988

Recursive Query Processing: Fundamental Algorithms and the DedGin System.

Laurent Vieille

Proceedings of the Prolog and Databases, Implementations and New Directions. , 1988

1987

A Database-Complete Proof Procedure Based on SLD-Resolution.

Laurent Vieille

Proceedings of the Logic Programming, 1987

1986

Some Steps Towards a DBMS-based KBMS.

Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace

Proceedings of the Information Processing 86, 1986

Recursive Axioms in Deductive Databases: The Query/Subquery Approach.

Laurent Vieille

Proceedings of the Expert Database Systems, 1986

1985

Le traitement des axiomes récursifs dans les bases de données déductives.

Laurent Vieille

Proceedings of the SPLT'85, 1985