| |
 |      |
                                       |
Object-Oriented Database as a Dynamic System with Implicit State The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems Operations for Conceptual Schema Manipulation: Definitions and Semantics
Return to ADBIS01 session listing  ©2004 Association for Computing Machinery |
