Elementary Deduction Problem for Locally Stable Theories with Normal Forms

Mauricio Ayala-Rincón Maribel Fernández Daniele Nantes Sobrinho

Published in: LSFA (2012)

Keyphrases

normal form
database design
relational databases
database theory
functional dependencies
nested relations
information content
relational algebra
formal definitions
data dependencies
relational database theory
inference rules
prime implicates
theorem proving
database schema
case study
complex objects