Nothing Special   »   [go: up one dir, main page]

skip to main content
10.5555/645911.673614dlproceedingsArticle/Chapter ViewAbstractPublication PagesvldbConference Proceedingsconference-collections
Article

A Pragmatic Approach to Structured Database Design

Published: 31 October 1983 Publication History

Abstract

No abstract available.

References

[1]
{ANSI} "Study Group on Data Base Management Systems: Interim Report", FDT 7.2, ACM (1975)
[2]
{CB1} Marco A. Casanova, Philip A. Bernstein: The Logic of a Relational Data Manipulation Language. POPL 1979: 101 -109.
[3]
{CB2} Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2(3): 386-414(1980).
[4]
{CCF} M.A. Casanova, J.M.V. de Castilho and A.L. Furtado. "Properties of Conceptual and External Database Schemas". Proc. of the TC 2 - Working Conference on Formal Description of Programming Concepts II, Garmish-Partenkirchen (1982)
[5]
{CV} Marco A. Casanova, Vânia Maria Ponte Vidal: Towards a Sound View Integration Methodology. PODS 1983: 36-47.
[6]
{DMW} Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370- 385.
[7]
{EKW} Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440.
[8]
{FS} Antonio L. Furtado, Kenneth C. Sevcik, Clesio Saraiva dos Santos: Permitting updates through views of data bases. Inf. Syst. 4(4): 269-283(1979).
[9]
{DB} Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982).
[10]
{Ha} D. Harel. "First-Order Dynamic Logic", Lecture Notes in Computer Science (1979)
[11]
{IBM1} IBM Pub. SH24-5014. "SQL/Data System Planning and Administration"
[12]
{IBM2} IBM Pub. SH24-5018. "SQL/Data System Application Programming"
[13]
{LMWW} Peter C. Lockemann, Heinrich C. Mayr, Wolfgang H. Weil, Wolfgang H. Wohlleber: Data Abstractions for Database Systems. ACM Trans. Database Syst. 4(1): 60-75(1979).
[14]
{LZ} Barbara Liskov, Stephen N. Zilles: Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7- 19(1975).
[15]
{NG} Shamkant B. Navathe, Suresh G. Gadgil: A Methodology for View Inegration in Logical Database Design. VLDB 1982: 142-164.
[16]
{Pa} David Lorge Parnas: On the Criteria To Be Used in Decomposing Systems into Modules. Commun. ACM 15(12): 1053-1058(1972).
[17]
{SFNC} Ulrich Schiel, Antonio L. Furtado, Erich J. Neuhold, Marco A. Casanova: Towards multi-level and modular conceptual schema specifications. Inf. Syst. 9(1): 43-57(1984).
[18]
{SNF} Clesio Saraiva dos Santos, Erich J. Neuhold, Antonio L. Furtado: A Data Type Approach to the Entity-Relationship Approach. ER 1979: 103-119.
[19]
{SS} John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977).
[20]
{TF} T.J. Teorey, J.P. Fry, "Design of Database Structures", Prentice-Hall, Inc. (1982)
[21]
{TFC} L. Tucherman, A.L. Furtado, M.A. Casanova. "A Pragmatic Approach To Structured Data-base Design", Departamento de Informática Pontifícia Universidade Católica, Rio de Janeiro, Brazil (1983).
[22]
{We} H. Weber. "Modularity in Data Base Systems Design". Proc. Joint IBM/Univ. Newcastle upon Tyne Seminar (1979)
[23]
{WM} G. Wiederhold, R. El-Masri. "A Structural Model for Database Systems", TR STAN-CS- 79-722, Stanford Univ. (1979)
[24]
{YWH} S. Bing Yao, Vance E. Waddle, Barron C. Housel: View Modeling and Integration Using the Functional Data Model. IEEE Trans. Software Eng. 8(6): 544-553(1982).
[25]
{Zi} S.N. Zilles. "Types, Algebras and Modelling" Proc. of the Workshop on Data Abstractions Data bases and Conceptual Modelling. Pingree Park, Colorado (1980)
[26]
{ZLT} S.N. Zilles, P. Lucas, J.W. Thatcher. "A Look at Algebraic Specifications". Research Rep. RJ 3568 IBM Thomas J. Watson Research Center (1982)

Cited By

View all

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image DL Hosted proceedings
VLDB '83: Proceedings of the 9th International Conference on Very Large Data Bases
October 1983
401 pages
ISBN:093461315X

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 31 October 1983

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 09 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2006)PATAXÓACM Transactions on Database Systems10.1145/1166074.116607831:3(839-886)Online publication date: 1-Sep-2006
  • (2004)From XML view updates to relational view updatesProceedings of the Thirtieth international conference on Very large data bases - Volume 3010.5555/1316689.1316715(276-287)Online publication date: 31-Aug-2004
  • (1991)A software tool for modular database designACM Transactions on Database Systems10.1145/114325.10371116:2(209-234)Online publication date: 1-May-1991
  • (1988)Properties and update semantics of consistent viewsACM Transactions on Database Systems10.1145/49346.5006813:4(486-524)Online publication date: 1-Oct-1988
  • (1986)Choosing a View Update Translator by Dialog at View Definition TimeProceedings of the 12th International Conference on Very Large Data Bases10.5555/645913.671458(467-474)Online publication date: 25-Aug-1986
  • (1985)A tool for modular database designProceedings of the 11th international conference on Very Large Data Bases - Volume 1110.5555/1286760.1286801(436-447)Online publication date: 21-Aug-1985
  • (1985)Understanding the implications of view update policiesProceedings of the 11th international conference on Very Large Data Bases - Volume 1110.5555/1286760.1286789(316-323)Online publication date: 21-Aug-1985

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media