![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
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 |