Sign in
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