An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
A model for compound type changes encountered in schema evolution
ACM Transactions on Database Systems (TODS)
| Hi-index | 0.00 |
Computational objects — objects with functional interpretations — are a valuable addition to structural objects in object-oriented data models for engineering CAD/CAM applications. We argue that the graph reduction technique from functional programming can be naturally blended with data models supporting complex objects and be used as a basis towards adding computational semantics to structural semantics in such data models. We present such an effort in an object-oriented data model: TEDM. We discuss a design of the graph memory, an implementation of a computational engine in Prolog, and the semantics of mixing pattern matching, reduction and imperative action in data manipulation languages.