Constraints in an Object-Oriented Deductive Database

  title={Constraints in an Object-Oriented Deductive Database},
  author={Y. Caseau},
  • Y. Caseau
  • Published in DOOD 1991
  • Computer Science
  • 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
    14 Citations
    Constraint satisfaction with an object-oriented knowledge representation language
    • Y. Caseau
    • Computer Science
    • Applied Intelligence
    • 2004
    • 17
    A deductive and object-oriented approach to a complex scheduling problem
    • 15
    A Deductive and Object-Oriented Approach to a Complex Scheduling Problem
    • 23
    A framework for declarative updates and constraint maintenance in object-oriented databases
    • 16
    Dynamic Integrity Constraints Definition and Enforcement in Databases: A Classification Framework
    • 18
    • PDF
    Overview of emerging database architectures
    • 9
    A Bibliography on Uncertainty Management in Information Systems
    • C. Dyreson
    • Computer Science
    • Uncertainty Management in Information Systems
    • 1996
    • 42


    Rule-Aided Constraint Resolution in LAURE
    • 2
    A logic for object-oriented logic programming
    • 101
    Exception handling and object-oriented programming: towards a synthesis
    • C. Dony
    • Computer Science
    • OOPSLA/ECOOP '90
    • 1990
    • 75
    • PDF
    Querying Design and Planning Databases
    • 23
    Object identity as a query language primitive
    • 480
    Programming with a relational calculus
    • 9
    The logical data model: a new approach to database logic
    • 41
    • PDF
    Consistency in Networks of Relations
    • 2,857
    • PDF