Constraints in an Object-Oriented Deductive Database
@inproceedings{Caseau1991ConstraintsIA, title={Constraints in an Object-Oriented Deductive Database}, author={Y. Caseau}, booktitle={DOOD}, year={1991} }
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
Figures and Topics from this paper
Figures
14 Citations
Constraint satisfaction with an object-oriented knowledge representation language
- Computer Science
- Applied Intelligence
- 2004
- 17
A deductive and object-oriented approach to a complex scheduling problem
- Computer Science
- Journal of Intelligent Information Systems
- 2004
- 15
A framework for declarative updates and constraint maintenance in object-oriented databases
- Computer Science
- Proceedings of IEEE 9th International Conference on Data Engineering
- 1993
- 16
Dynamic Integrity Constraints Definition and Enforcement in Databases: A Classification Framework
- Computer Science
- IICIS
- 1997
- 18
- PDF
Process fuzzy data for triggers and constraints in active object oriented databases
- Computer Science
- 1998
A Bibliography on Uncertainty Management in Information Systems
- Computer Science
- Uncertainty Management in Information Systems
- 1996
- 42
References
SHOWING 1-10 OF 40 REFERENCES
A Formal System for Producing Demons from Rules in an Object-Oriented Database
- Computer Science
- DOOD
- 1989
- 13
Exception handling and object-oriented programming: towards a synthesis
- Computer Science
- OOPSLA/ECOOP '90
- 1990
- 75
- PDF
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming
- Mathematics, Computer Science
- WCLP
- 1991
- 160