MFDBS

Keyphrases

Publications

1991

Luc Albert, Mireille Régnier
Complexity of Recursive Production Rules Execution. MFDBS (1991)
Hans-Jörg Schek, Marc H. Scholl, Gerhard Weikum
The Background of the DASDBS & COSMOS Projects. MFDBS (1991)
Dimitri Theodoratos
Monadic Databases with Equality. MFDBS (1991)
Joachim Biskup, Pratul Dublish
Objects in Relational Database Schemes with Functional, Inclusion and Exclusion Dependencies. MFDBS (1991)
Roel J. Wieringa, John-Jules Ch. Meyer
Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS (1991)
János Demetrovics, Lajos Rónyai, Hua nam Son
On the Representation of Dependencies by Propositional Logic. MFDBS (1991)
Els Laenens, Dirk Vermeir
On the Relationship between Well-Founded and Stable Partial Models. MFDBS (1991)
Gunter Saake, Ralf Jungclaus, Cristina Sernadas
Abstract Data Type Semantics for Many-Sorted Object Query Algebras. MFDBS (1991)
Filippo Cacace, Stefano Ceri, Letizia Tanca
Consistency and Non-determinism in a Database Programming Language. MFDBS (1991)
John K. Lee, Alan D. Fekete
Multi-Granularity Locking for Nested Transaction Systems. MFDBS (1991)
Aris M. Ouksel, Otto Mayer
The Nested Interpolation Based Grid File. MFDBS (1991)
Christophe Lécluse
Rational of the O2 System. MFDBS (1991)
Wenceslas Fernandez de la Vega, Vangelis Th. Paschos, A. N. Staylopatis
On the Mean Execution Time of Recursive Definitions on Relational Databases. MFDBS (1991)
Jan Van den Bussche
Complex Object Multi-Level Fixpoint Queries. MFDBS (1991)
Leonid Libkin
A Relational Algebra for Complex Objects Based on Partial Information. MFDBS (1991)
Steve Taylor, Nabil I. Hachem
A Direct Algorithm for Computing the Transitive Closure of a Two-Dimensionally Structured File. MFDBS (1991)
Gerd Wagner
A Database Needs Two Kinds of Negation. MFDBS (1991)
Joachim W. Schmidt, Florian Matthes
The Rational behind DBPL. MFDBS (1991)
Stephen J. Hegner
Pairwise-Definable Subdirect Decompositions of General Database Schemata. MFDBS (1991)
Beat Wüthrich
Semantic Improvement of Deductive Databases. MFDBS (1991)
Constantin Arapis
Temporal Specifications of Object Behavior. MFDBS (1991)
Ye. P. Yemelchenkov, M. Sh. Tsalenko
Functional Dependencies in Hierarchical Structures of Data. MFDBS (1991)
Paolo Atzeni, Riccardo Torlone
Solving Ambiguities in Updating Deductive Databases. MFDBS (1991)
Peter Sander
Specifying Operations for Nested Relations by Rules and Partial Orders. MFDBS (1991)
Guozhu Dong
On the Monotonicity of (LDL) Logic Programs with Sets. MFDBS (1991)
Terry A. Halpin
A Fact-Oriented Approach to Schema Transformation. MFDBS (1991)
M. E. Iofinova
Updating Hierarchical Databases by Complex Forms. MFDBS (1991)
Andreas Heuer, Peter Sander
Classifying Object-Oriented Query Results in a Class/Type Lattice. MFDBS (1991)

volume 495, 1991

MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991, Proceedings MFDBS 495 (1991)

1989

volume 364, 1989

MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 MFDBS 364 (1989)