Constraints in an Object-Oriented Deductive Database

  title={Constraints in an Object-Oriented Deductive Database},
  author={Yves Caseau},
This paper relates our experience in integrating constraint resolution into an object-oriented deductive system. We motivate this work by showing that disjunctive information and global constraints fit naturally in an object-oriented model and are actually necessary to perform common tasks. We identify three difficulties in developing such an extended object-oriented system (namely, compilation, domain reduction, and heuristics) and propose a solution for each. We provide a formal semantics and… CONTINUE READING