Constraint Satisfiability in Object-Oriented Databases.

Anna Formica Michele Missikoff Roberto Terenzi

Published in: East/West Database Workshop (1994)

Keyphrases

propositional logic
computational complexity
np complete
satisfiability problem
learning algorithm
object oriented databases
schema integration
satisfiability testing
knowledge base
case study
object oriented
phase transition
linear constraints
sat instances
constraint solving
quantified boolean formulas