Logic-based integrity constraints and the design of dental prostheses.

Peter Hammond John C. Davenport F. J. Fitzpatrick

Published in: Artif. Intell. Medicine (1993)

Keyphrases

integrity constraints
deductive databases
integrity checking
functional dependencies
query answering
conjunctive queries
conceptual schema
constraint checking
database integrity
xml documents
design process
schema integration
database transactions
active databases
active rules