MFDBS 91 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540540090, 9783540473480

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Temporal specifications of object behavior

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_22 ◽

1991 ◽

pp. 308-324 ◽

Author(s):

Constantin Arapis

Keyword(s):

Temporal Specifications ◽

Object Behavior

Download Full-text

On the monotonicity of (LDL) logic programs with set

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_15 ◽

1991 ◽

pp. 201-215

Author(s):

G. Dong

Keyword(s):

Download Full-text

A direct algorithm for computing the transitive closure of a two-dimensionally structured file

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_11 ◽

1991 ◽

pp. 146-159

Author(s):

Stephen Taylor ◽

Nabil I. Hachem

Keyword(s):

Transitive Closure ◽

Direct Algorithm

Download Full-text

A relational algebra for complex objects based on partial information

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_3 ◽

1991 ◽

pp. 29-43 ◽

Author(s):

Leonid Libkin

Keyword(s):

Partial Information ◽

Relational Algebra ◽

Complex Objects

Download Full-text

On the relationship between well-founded and stable partial models

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_5 ◽

1991 ◽

pp. 59-73 ◽

Author(s):

E. Laenens ◽

D. Vermeir

Keyword(s):

Partial Models ◽

The Relationship

Download Full-text

Consistency and non-determinism in a database programming language

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_23 ◽

1991 ◽

pp. 325-341 ◽

Author(s):

F. Cacace ◽

S. Ceri ◽

L. Tanca

Keyword(s):

Programming Language

Download Full-text

Abstract data type semantics for many-sorted object query algebras

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_21 ◽

1991 ◽

pp. 291-307 ◽

Author(s):

Gunter Saake ◽

Ralf Jungclaus ◽

Cristina Sernadas

Keyword(s):

Data Type ◽

Abstract Data Type ◽

Download Full-text

Classifying object-oriented query results in a class/type lattice

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_2 ◽

1991 ◽

pp. 14-28 ◽

Author(s):

Andreas Heuer ◽

Peter Sander

Keyword(s):

Object Oriented ◽

Download Full-text

Pairwise-definable subdirect decompositions of general database schemata

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_18 ◽

1991 ◽

pp. 243-257 ◽

Author(s):

Stephen J. Hegner

Keyword(s):

Database Schemata

Download Full-text

On the representation of dependencies by propositional logic

MFDBS 91 - Lecture Notes in Computer Science ◽

10.1007/3-540-54009-1_17 ◽

1991 ◽

pp. 230-242 ◽

Author(s):

J. Demetrovics ◽

L. Rónyai ◽

Hua nam Son

Keyword(s):

Propositional Logic

Download Full-text