Consistency Verification of Deductive Database Schemes.

Francisco Marqués Juan Carlos Casamayor

Published in: DAISD (1993)

Keyphrases

database schemes
functional dependencies
data dependencies
database
conflict free
model checking
formal verification
acyclic database schemes
object oriented
high dimensional
database design
verification method
abductive inference