0022-0000

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

本期论文列表
Editor's foreword

Why a single parallelization trategy is not enough in knowledge bases

B-trees with inserts and deletes: Why free-at-empty is better than merge-at-half

A logic for programming with complex objects

Algebraic and calculus query languages for recursively typed complex objects

The impact of recovery on concurrency control

The alternating fixpoint of logic programs with negation

Logical query optimization by proof-tree transformation