Formal verification of information derivability in databases using precedence analyses.

Antoni Olivé Fèlix Saltor

Published in: Inf. Syst. (1982)

Keyphrases

databases
information sources
information processing
formal verification
domain knowledge
information retrieval
data model
end users
data warehouse
spatial information
model checking