0306-4379

Information Systems (ISYS) - Volume 11, Issue 1 论文列表

本期论文列表
Editorial Board

The power of the private workspace model

A requirements modeling language and its logic

Taxonomy and formal properties of distributed joins

Losslessness and semantic correctness of database schema transformation: Another look of schema equivalence

The INFOLOG linear tense propositional logic of events and transactions

Modeling the CODASYL DML context dependency for database program conversion

Reports and theses

Call for papers

Software survey section