3. MFDBS 1991: Rostock, Germany

Bernhard Thalheim, János Demetrovics, Hans-Detlef Gerhardt (Eds.): MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991, Proceedings. Lecture Notes in Computer Science 495 Springer 1991, ISBN 3-540-54009-1 BibTeX

MFDBS 91 is the third of a series of biannual conferences. The first two were held in Dresden 1987 and Visegrád in 1989. The 1991 conference is organized by the Rostock University. The Changes in Europe make it possible to integrate the two conferences on Database Theory in Europe (ICDT and MFDBS). Therefore, the next ICDT conference is also the continuation of the MFDBS conferences.

• Title pages, Preface, Table of Contents.
  Electronic Edition BibTeX

Complex Objects

• Jan Van den Bussche:
  Complex Object Multi-Level Fixpoint Queries. 1-13
  Electronic Edition BibTeX
• Andreas Heuer, Peter Sander:
  Classifying Object-Oriented Query Results in a Class/Type Lattice. 14-28
  Electronic Edition BibTeX
• Leonid Libkin:
  A Relational Algebra for Complex Objects Based on Partial Information. 29-43
  Electronic Edition BibTeX
• Peter Sander:
  Specifying Operations for Nested Relations by Rules and Partial Orders. 44-58
  Electronic Edition BibTeX

Logics

• Els Laenens, Dirk Vermeir:
  On the Relationship between Well-Founded and Stable Partial Models. 59-73
  Electronic Edition BibTeX
• Dimitri Theodoratos:
  Monadic Databases with Equality. 74-88
  Electronic Edition BibTeX
• Roel Wieringa, John-Jules Ch. Meyer:
  Actor-Oriented Specification of Deontic Integrity Constraints. 89-103
  Electronic Edition BibTeX

Update and Queries

• Paolo Atzeni, Riccardo Torlone:
  Solving Ambiguities in Updating Deductive Databases. 104-118
  Electronic Edition BibTeX
• Wenceslas Fernandez de la Vega, Vangelis Th. Paschos, A. N. Staylopatis:
  On the Mean Execution Time of Recursive Definitions on Relational Databases. 119-133
  Electronic Edition BibTeX
• M. E. Iofinova:
  Updating Hierarchical Databases by Complex Forms. 134-145
  Electronic Edition BibTeX

Storage and Organization

• Steve Taylor, Nabil I. Hachem:
  A Direct Algorithm for Computing the Transitive Closure of a Two-Dimensionally Structured File. 146-159
  Electronic Edition BibTeX
• John K. Lee, Alan Fekete:
  Multi-Granularity Locking for Nested Transaction Systems. 160-172
  Electronic Edition BibTeX
• Aris M. Ouksel, Otto Mayer:
  The Nested Interpolation Based Grid File. 173-187
  Electronic Edition BibTeX

Deductive Databases

• Luc Albert, Mireille Régnier:
  Complexity of Recursive Production Rules Execution. 188-200
  Electronic Edition BibTeX
• Guozhu Dong:
  On the Monotonicity of (LDL) Logic Programs with Sets. 201-215
  Electronic Edition BibTeX
• Beat Wüthrich:
  Semantic Improvement of Deductive Databases. 216-229
  Electronic Edition BibTeX

Integrity Constraints

• János Demetrovics, Lajos Rónyai, Hua nam Son:
  On the Representation of Dependencies by Propositional Logic. 230-242
  Electronic Edition BibTeX
• Stephen J. Hegner:
  Pairwise-Definable Subdirect Decompositions of General Database Schemata. 243-257
  Electronic Edition BibTeX
• Ye. P. Yemelchenkov, M. Sh. Tsalenko:
  Functional Dependencies in Hierarchical Structures of Data. 258-275
  Electronic Edition BibTeX

Object-Oriented Databases

• Joachim Biskup, Pratul Dublish:
  Objects in Relational Database Schemes with Functional, Inclusion and Exclusion Dependencies. 276-290
  Electronic Edition BibTeX
• Gunter Saake, Ralf Jungclaus, Cristina Sernadas:
  Abstract Data Type Semantics for Many-Sorted Object Query Algebras. 291-307
  Electronic Edition BibTeX
• Constantin Arapis:
  Temporal Specifications of Object Behavior. 308-324
  Electronic Edition BibTeX

Database Programming Languages

• Filippo Cacace, Stefano Ceri, Letizia Tanca:
  Consistency and Non-determinism in a Database Programming Language. 325-341
  Electronic Edition BibTeX

Modeling

• Terry A. Halpin:
  A Fact-Oriented Approach to Schema Transformation. 342-356
  Electronic Edition BibTeX
• Gerd Wagner:
  A Database Needs Two Kinds of Negation. 357-371
  Electronic Edition BibTeX

The Theoretical Basis of Systems

• Christophe Lécluse:
  Rational of the O2 System. 372-376
  Electronic Edition BibTeX
• Hans-Jörg Schek, Marc H. Scholl, Gerhard Weikum:
  The Background of the DASDBS & COSMOS Projects. 377-388
  Electronic Edition BibTeX
• Joachim W. Schmidt, Florian Matthes:
  The Rational behind DBPL. 389-395
  Electronic Edition BibTeX