0169-023X

Data & Knowledge Engineering (DKE) - Volume 19, Issue 3 论文列表

本期论文列表
Drafting ER and OO schemas in prototype environments

Reasoning about ER models in a deductive environment

A temporal logic approach to object certification