Information Systems , Volume 12, 1987

Volume 12, Number 1

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

Volume 12, Number 2

• Oscar Barros: Information requirements and alternatives in information system design. 125-136
• Udo Kelter: Concurrency Control for Design Objects with Versions in CAD Databases. 137-143
• Fereidoon Sadri: Multi-relation dependencies. 145-149
• Friedrich Gebhardt: Text signatures by superimposed coding of letter triplets and quadruplets. 151-156
• Bengt G. Lundberg: CONST-A constructive approach to information modelling. 157-165
• Edward P. F. Chan, Alberto O. Mendelzon: On testing soundness of relational expressions. 167-170
• Frank K. H. A. Dehne, Hartmut Noltemeier: Voronoi trees and clustering problems. 171-175
• Brad T. Vander Zanden, Howard M. Taylor, Dina Bitton: A general framework for computing block accesses. 177-190
• Sang Hyuk Son: Synchronization of replicated data in distributed systems. 191-202
• Dalia Motzkin: The design of optimal access paths for relational databases. 203-213
• Bipin C. Desai, Pankaj Goyal, Fereidoon Sadri: Fact structure and its application to updates in relational databases. 215-221

Volume 12, Number 3

• Takao Miura, Kunihiko Moriya, Hiroshi Arisawa: On the irreducible non first normal form relations. 229-238
• Pankaj Goyal: Duplicate record identification in bibliographic databases. 239-242
• Roberto R. Kampfner: A hierarchical model of organizational control for the analysis of information systems requirements. 243-254
• Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. 255-269
• Mohammed Zaki, R. Salama: Linkage versus integration for binding database and interactive graphics systems. 271-280
• Leo Mark: Defining views in the Binary Relationship Model. 281-294
• Barbara Di Eugenio: Cooperative behaviour in the FIDO system. 295-316
• David Maier, David Rozenshtein, Sharon C. Salveter, Jacob Stein, David Scott Warren: PIQUE: a relational query language without relations. 317-335

Volume 12, Number 4

• Isamu Kobayashi: Tuple calculus: formal definiton and conversion from first-order calculus. 343-352
• Kurt-Ulrich Witt: An architecture for processing graph-grammar applications. 353-361
• Charles X. Durand: Forward multidimensional search with application to information retrieval systems. 363-370
• Leonardo Felician, Alessandra Gentili: A nearly optimal Huffman technique in the microcomputer environment. 371-373
• Caroline M. Eastman: Optimal bucket size for multiattribute retrieval in partitioned files. 375-383
• Leonardo Felician: Linked hashing: an improvement of open addressing techniques for large secondary storage files. 385-390