dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

LAURA: A Formal Data Model and her Logical Design Methodology.

Robert Brown, Douglas Stott Parker Jr.: LAURA: A Formal Data Model and her Logical Design Methodology. VLDB 1983: 206-218
@inproceedings{DBLP:conf/vldb/BrownP83,
  author    = {Robert Brown and
               Douglas Stott Parker Jr.},
  editor    = {Mario Schkolnick and
               Costantino Thanos},
  title     = {LAURA: A Formal Data Model and her Logical Design Methodology},
  booktitle = {9th International Conference on Very Large Data Bases, October
               31 - November 2, 1983, Florence, Italy, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1983},
  isbn      = {0-934613-15-X},
  pages     = {206-218},
  ee        = {http://www.vldb.org/conf/1983/P206.PDF},
  crossref  = {DBLP:conf/vldb/83},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper describes the LAURA data model and its use in the logical design methodology of the Database Design Group. LAURA provides simple formal constructs for the design of large databases, including generalization, abstraction, and categorization primitives, while avoiding limitations of existing formal models.

LAURA is based on functional connections between data, and has features of functional and binary data models, and semantic networks. A consequence of choosing a relatively abstract level for modeling is that important semantic information is available for use in 'normalization' which can be lost, for example, when schemas are translated to relational representations. In particular, use of the relational model inhibits proper modeling of different types of functions and abstractional concepts, and clouds the fact that eliminating inherited propertis from a schema is a main concern of normalization (which is not at all evident when expressed in the language of functional dependencies).

This paper concentrates first on introducing LAURA, and second on describing the normalizing transforms used with the model. The approach developed here has been automated, and is being used successfully in the interactive design of large database systems.

Copyright © 1983 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Printed Edition

Mario Schkolnick, Costantino Thanos (Eds.): 9th International Conference on Very Large Data Bases, October 31 - November 2, 1983, Florence, Italy, Proceedings. Morgan Kaufmann 1983, ISBN 0-934613-15-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[A]
...
[AGU]
Alfred V. Aho, M. R. Garey, Jeffrey D. Ullman: The Transitive Reduction of a Directed Graph. SIAM J. Comput. 1(2): 131-137(1972) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AP]
Paolo Atzeni, Douglas Stott Parker Jr.: Assumptions in Relational Database Theory. PODS 1982: 1-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BK]
Catriel Beeri, Henry F. Korth: Compatible Attributes in a Universal Relation. PODS 1982: 55-62 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BG]
Philip A. Bernstein, Nathan Goodman: What does Boyce-Codd Normal Form Do? VLDB 1980: 245-259 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BP]
Paul De Bra, Jan Paredaens: Horizontal Decompositions for Handling Exceptions to Functional Dependencies. Advances in Data Base Theory 1982: 123-141 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[B]
...
[BF]
Peter Buneman, Robert E. Frankel: FQL - A Functional Query Language. SIGMOD Conference 1979: 52-58 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CFP]
Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. PODS 1982: 171-176 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[C]
E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[D]
C. J. Date: Referential Integrity. VLDB 1981: 2-12 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[F]
Ronald Fagin: A Normal Form for Relational Databases That Is Based on Domians and Keys. ACM Trans. Database Syst. 6(3): 387-415(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[FMU]
Ronald Fagin, Alberto O. Mendelzon, Jeffrey D. Ullman: A Simplified Universal Relation Assumption and Its Properties. ACM Trans. Database Syst. 7(3): 343-360(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Fa]
...
[FK]
Antonio L. Furtado, Larry Kerschberg: An Algebra of Quotient Relations. SIGMOD Conference 1977: 1-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HM]
Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HK]
...
[HWY]
Barron C. Housel, Vance E. Waddle, S. Bing Yao: The Functional Dependency Model for Logical Database Design. VLDB 1979: 194-208 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HY]
Richard Hull, Chee-Keng Yap: The Format Model: A Theory of Database Organization. PODS 1982: 205-211 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[JK]
David S. Johnson, Anthony C. Klug: Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies. PODS 1982: 164-169 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[K1]
William Kent: The Entity Join. VLDB 1979: 232-238 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[K2]
William Kent: Limitations of Record-Based Information Models. ACM Trans. Database Syst. 4(1): 107-131(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KP]
...
[KS1]
Sharon McCure Kuck, Yehoshua Sagiv: A Universal Relation Database System Implemented via the Network Model. PODS 1982: 147-157 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KS2]
Sharon McCure Kuck, Yehoshua Sagiv: Designing Globally Consistent Network Schemas. SIGMOD Conference 1983: 185-195 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LP]
Carol Helfgott LeDoux, Douglas Stott Parker Jr.: Reflections on Boyce-Codd Normal Form. VLDB 1982: 131-141 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[L1]
Y. Edmund Lien: On the Semantics of the Entity-Relationship Data Model. ER 1979: 155-168 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[L2]
Y. Edmund Lien: Hierarchical Schemata for Relational Databases. ACM Trans. Database Syst. 6(1): 48-69(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[L3]
Y. Edmund Lien: On the Equivalence of Database Models. J. ACM 29(2): 333-362(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LTK]
Tok Wang Ling, Frank Wm. Tompa, Tiko Kameda: An Improved Third Normal Form for Relational Databases. ACM Trans. Database Syst. 6(2): 329-346(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MS]
...
[M]
John C. Mitchell: Inference Rules for Functional and Inclusion Dependencies. PODS 1983: 58-69 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sa]
Yehoshua Sagiv: A Characterization of Globally Consistent Databases and Their Correct Access Paths. ACM Trans. Database Syst. 8(2): 266-286(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sc1]
Edward Sciore: Improving Semantic Specification in a Relational Database. SIGMOD Conference 1979: 170-178 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sc2]
Edward Sciore: Inclusion Dependencies and the Universal Instance. PODS 1983: 48-57 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sh]
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SK]
...
[SS1]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SS2]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[TL]
...
[U1]
Jeffrey D. Ullman: Principles of Database Systems, 1st Edition. Computer Science Press 1980
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[U2]
Jeffrey D. Ullman: The U. R. Strikes Back. PODS 1982: 10-22 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[WM]
...

Last update Mon Sep 17 22:00:39 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page