Véronique Benzaken

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Anne Doucet

> Home > Persons > Véronique Benzaken

Publications

1995
[j1]
- view
  - electronic edition @ vldb.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/vldb/BenzakenD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vldb/BenzakenD95
Véronique Benzaken, Anne Doucet:
Thémis: A Database Programming Language Handling Integrity Constraints. VLDB J. 4(3): 493-517 (1995)
1994
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/bda/BenzakenDS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bda/BenzakenDS94
Véronique Benzaken, Anne Doucet, Xavier Schaefer:
Integrity constraint checking optimization based on abstract interpretation. BDA 1994
1993
[c11]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/bda/BenzakenDP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bda/BenzakenDP93
Véronique Benzaken, Anne Doucet, P.-Y. Policella:
Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis. BDA 1993: 425-
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dbpl/BenzakenD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/BenzakenD93
Véronique Benzaken, Anne Doucet:
Thémis: a database programming language with integrity constraints. DBPL 1993: 243-262
1992
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/bda/BenzakenD92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bda/BenzakenD92
Véronique Benzaken, Anne Doucet:
Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems. BDA 1992: 124-

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.