Constructive Second-Order Proofs in Logical Databases.

Michel de Rougemont

Published in: IJCAI (1987)

Keyphrases

databases
database
high order
higher order
database applications
relational databases
knowledge discovery
data integration
neural network
theorem prover
database queries
data independence
image sequences
data warehouse
case study
data management
social networks
theorem proving
fourth order