0306-4379

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

本期论文列表
Editorial Board

A formal approach to timing analysis and design of information systems

Approximating the number of unique values of an attribute without sorting

Functional dependencies and their connection with security of statistical databases

Temporal semantics and natural language processing in a decision support system

Non-first normal form universal relations: An application to information retrieval systems

Verification of resource controller processes

Denotational semantics of query languages

Evaluation of a multiple version scheme for concurrency control

SQL/NF: A query language for ¬1NF relational databases

Achieving minimum height for block split tree structured files

News section

Software survey section