( en | de | ru )

 

Disambiguation of "Vieille, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
Some Steps Towards a DBMS-based KBMS.

, , , , and . IFIP Congress, page 1061-1067. North-Holland/IFIP, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laurent Bartholdi

Laurent Ntahuga

Thomas Laurent

Thomas Laurent

Laurent Herschke

 

Other publications of authors with the same name

A Deductive and Object-Oriented Database System: Why and How?. SIGMOD Conference, page 438. ACM Press, (1993)Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion)., , , , and . Logic in Databases, volume 1154 of Lecture Notes in Computer Science, page 225-229. Springer, (1996)On Deductive Query Evaluation in the DedGin* System., and . DOOD, page 123-144. North-Holland/Elsevier Science Publishers, (1989)Le traitement des axiomes récursifs dans les bases de données déductives.. SPLT, (1985)VALIDITY: Applications of a DOOD System., , and . EDBT, volume 1057 of Lecture Notes in Computer Science, page 131-134. Springer, (1996)Automatic generation of simplified weakest preconditions for integrity constraint verification, , and . CoRR, (2006)Some Steps Towards a DBMS-based KBMS., , , , and . IFIP Congress, page 1061-1067. North-Holland/IFIP, (1986)From QSQ towards QoSaQ: Global Optimization of Recursive Queries.. Expert Database Conf., page 743-778. Benjamin/Cummings, (1988)A Database-Complete Proof Procedure Based on SLD-Resolution.. ICLP, page 74-103. MIT Press, (1987)From Data Independence to Knowledge Independence: An on-going Story.. VLDB, page 650-654. Morgan Kaufmann, (1998)