Formal Techniques for Data Base Design
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642705946, 9783642705922

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Entity-Relationship Model

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_9 ◽

1986 ◽

pp. 71-86

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Keyword(s):

Entity Relationship Model ◽

Relationship Model ◽

Entity Relationship

Download Full-text

The Representation Level — The Use of a Programming Language Formalism

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_6 ◽

1986 ◽

pp. 29-44

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Keyword(s):

Programming Language ◽

Representation Level

Download Full-text

The Functions Level — The Use of Algebraic Formalisms

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_5 ◽

1986 ◽

pp. 19-28

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Download Full-text

The Logical Database Model

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_8 ◽

1986 ◽

pp. 49-69

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Keyword(s):

Download Full-text

Conclusion

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_11 ◽

1986 ◽

pp. 105-106

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Download Full-text

The Temporal Hierarchic Model

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_10 ◽

1986 ◽

pp. 87-104

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Keyword(s):

Hierarchic Model

Download Full-text

An Informal Outline

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_3 ◽

1986 ◽

pp. 9-14

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Download Full-text

Introduction to Part A

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_2 ◽

1986 ◽

pp. 7-8

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Download Full-text

General Introduction —Two Approaches to Formal Data Base Design

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_1 ◽

1986 ◽

pp. 1-4

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Keyword(s):

Data Base ◽

General Introduction ◽

Data Base Design ◽

Download Full-text

Introduction to Part B

Formal Techniques for Data Base Design ◽

10.1007/978-3-642-70592-2_7 ◽

1986 ◽

pp. 47-48

Author(s):

Antonio L. Furtado ◽

Erich J. Neuhold

Download Full-text