A Constructive Logic Approach to Database Theory.

Pierangelo Miglioli Ugo Moscato Mario Ornaghi

Published in: RCLP (1991)

Keyphrases

database theory
finite model theory
open problems
normal form
databases
decomposition methods
database design
conjunctive queries
multi valued
artificial intelligence
relational database management systems
database
data structure