TFAIS 1985: Sitges, Spain

Amílcar Sernadas, Janis A. Bubenko Jr., Antoni Olivé (Eds.): Information Systems - Theoretical and Formal Aspects (TFAIS'85), Proceedings of the IFIP WG8.1 Working Conference, Sitges, Spain, 16-18 April 1985. Elsevier/North-Holland, 1985 ISBN 0-444-87706-1

Systems and Languages

Leo Mark, Nick Roussopoulos: The New Database Architecture Framework - A Progress Report. 1-18 BibTeX
G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito: An Entity-Relationship Query Language. 19-33 BibTeX
T. Lougenia Anderson, B. B. Claghorn: ADE: Mapping between the External and Conceptual Levels. 34-48 BibTeX

Modeling Approaches I

Gernot Richter: Clocks and their Use for Time Modeling. 49-66 BibTeX
Ulrich Schiel: Time and Space in Information Systems. 67-78 BibTeX

Modeling Approaches II

Matthew Morgenstern: Connections among Application Based Objects in Directed Edge-Labelled Hypergraphs. 79-99 BibTeX
Udo Pletat: A Graphtheoretic Semantics for Semantic Data Models. 100-115 BibTeX
Angelika Horndasch, Rudi Studer, Ramin Yasdi: An Approach to Conceptual Schema Design of Information Systems. 116-129 BibTeX
Carl Gustaf Jansson: A Framework for Representation. 130-144 BibTeX

Logical Frameworks

Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. 145-157 BibTeX
José Carmo: The INFOLOG Branching Logic of Events. 158-173 BibTeX
Paulo A. S. Veloso, Antonio L. Furtado: Towards Simpler and Yet Complete Formal Specifications. 174-188 BibTeX
C. Kung: A Tableaux Approach for Consistency Checking. 189-207 BibTeX

Modeling Approaches III

Giampio Bracchi, Barbara Pernici: Specification of Control Aspects in Office Information Systems. 208-221 BibTeX
Randell S. Flint, Nancy G. Leveson: The PAMS Approach to Modeling Database Activity. 222-236 BibTeX