0022-0000

Journal of Computer and System Sciences (JCSS) - Volume 43, Issue 1 论文列表

本期论文列表
Editor's foreword

Transaction synchronisation in object bases

Hybrid concurrency control for abstract data types

Datalog extensions for database queries and updates

Why not negation by fixpoint?

A counting algorithm for a cyclic binary query

A semantics for complex objects and approximate answers

On the expressive power of database queries with intermediate types