A constructive logic approach to database theory.

Pierangelo Miglioli Ugo Moscato Mario Ornaghi

Published in: CNKBS (1992)

Keyphrases

database theory
finite model theory
open problems
databases
normal form
decomposition methods
conjunctive queries
international conference
multi valued
database design
integrity constraints
neural network
relational databases
relational database management systems