Thémis: a database programming language with integrity constraints.

Véronique Benzaken Anne Doucet

Published in: DBPL (1993)

Keyphrases

integrity constraints
database programming language
integrity checking
deductive databases
complex objects
query language
xml documents
query answering
database schema
functional dependencies
query evaluation
xml schema
type checking
inclusion dependencies