Thémis: A Database Programming Language Handling Integrity Constraints

Véronique Benzaken Anne Doucet

Published in: VLDB J. (1995)

Keyphrases

integrity constraints
database programming language
deductive databases
integrity checking
complex objects
functional dependencies
database schema
query language
query answering
database integrity
inclusion dependencies
xml documents
type checking
xml schema
response time
consistent query answering
data structure