Journal: Inf. Syst.

Volume 12, Issue 1

1 -- 10Antoni Olivé. A formal approach to timing analysis and design of information systems
11 -- 15Morton M. Astrahan, Mario Schkolnick, Kyu-Young Whang. Approximating the number of unique values of an attribute without sorting
17 -- 27Zbigniew Michalewicz. Functional dependencies and their connection with security of statistical databases
29 -- 47Surajan De, Shuh-Shen Pan, Andrew B. Whinston. Temporal semantics and natural language processing in a decision support system
49 -- 55Bipin C. Desai, Pankaj Goyal, Fereidoon Sadri. Non-first normal form universal relations: an application to information retrieval systems
57 -- 67Krithi Ramamritham. Verification of resource controller processes
69 -- 82Kazimierz Subieta. Denotational semantics of query languages
83 -- 98Theo Härder, Erwin Petry. Evaluation of a multiple version cheme for concurrency control
99 -- 114Mark A. Roth, Henry F. Korth, Don S. Batory. SQL/NF: a query language for ¬1 NF relational databases
115 -- 124James R. Driscoll, Sheau-Dong Lang, Stephen M. Bratman. Achieving minimum height for block split tree structured files