Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics.

Roberto Giacobazzi Francesco Ranzato

Published in: ILPS (1995)

Keyphrases

functional dependencies
conflict free
normal form
user defined
inclusion dependencies
relational operators
relational databases
database design
cardinality constraints
integrity constraints
knowledge base
xml documents
database schema
set of functional dependencies