Information Systems , Volume 12, 1987

Volume 12, Number 1

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

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

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

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