Travelled to:
1 × Australia
2 × USA
Collaborated with:
∅
Talks about:
independ (2) databas (2) procedur (1) knowledg (1) resolut (1) complet (1) system (1) orient (1) object (1) deduct (1)
Person: Laurent Vieille
DBLP: Vieille:Laurent
Contributed to:
Wrote 3 papers:
- VLDB-1998-Vieille #independence
- From Data Independence to Knowledge Independence: An on-going Story (LV), pp. 650–654.
- SIGMOD-1993-Vieille #database #deduction #how #object-oriented #question #why
- A Deductive and Object-Oriented Database System: Why and How? (LV), p. 438.
- ICLP-1987-Vieille87 #proving
- A Database-Complete Proof Procedure Based on SLD-Resolution (LV), pp. 74–103.