Maier: Theory of Relational Databases

@book{DBLP:books/cs/Maier83,
  author    = {David Maier},
  title     = {The Theory of Relational Databases},
  publisher = {Computer Science Press},
  year      = {1983},
  isbn      = {0-914894-42-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An4-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Table of Contents

1. Relations and Relation Schems
2. Relational Operators
3. More Operations On Relations
4. Functional Dependencies
5. Covers for Functional Dependencies
6. Databases and Normal Forms
7. Multivalued Dependencies, Join Dependencies, and Further Normal Forms
8. Project-Join Mappings, Tableaux, and the Chase
9. Representation Theory
10. Query Systems
11. Query Modification
12. Null Values, Partial Information and Database Semantics
13. Acyclic Database Schemes
14. Assorted Topics
15. Relational Query Languages

References

[Aho et al. 1979]

Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman: The Theory of Joins in Relational Databases. ACM Trans. Database Syst. 4(3): 297-314(1979)

[Aho et al. 1974]

Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974, ISBN 0-201-00029-6

[Aho et al. 1979]

Alfred V. Aho, Yehoshua Sagiv, Thomas G. Szymanski, Jeffrey D. Ullman: Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions. SIAM J. Comput. 10(3): 405-421(1981)

[Aho et al. 1979a]

Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Efficient Optimization of a Class of Relational Expressions. ACM Trans. Database Syst. 4(4): 435-454(1979)

[Aho et al. 1979b]

Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalences Among Relational Expressions. SIAM J. Comput. 8(2): 218-246(1979)

[Aho and Ullman 1979]

Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120

[ANS1/X3/SPARC 1975]

...

[Armstrong 1974]

William Ward Armstrong: Dependency Structures of Data Base Relationships. IFIP Congress 1974: 580-583

[Armstrong and Delobel 1980]

William Ward Armstrong, Claude Delobel: Decomposition and Functional Dependencies in Relations. ACM Trans. Database Syst. 5(4): 404-430(1980)

[Arora and Carlson 1978]

Adarsh K. Arora, C. Robert Carlson: The Information Preserving Properties of Relational Database Transformations. VLDB 1978: 352-359

[Astrahan et al. 1980]

Donald D. Chamberlin, Morton M. Astrahan, Mike W. Blasgen, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Patricia G. Selinger, Mario Schkolnick, Donald R. Slutz, Irving L. Traiger, Bradford W. Wade, Robert A. Yost: A History and Evaluation of System R. Commun. ACM 24(10): 632-646(1981)

[Astrahan et al. 1976]

Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Kapali P. Eswaran, Jim Gray, Patricia P. Griffiths, W. Frank King III, Raymond A. Lorie, Paul R. McJones, James W. Mehl, Gianfranco R. Putzolu, Irving L. Traiger, Bradford W. Wade, Vera Watson: System R: Relational Approach to Database Management. ACM Trans. Database Syst. 1(2): 97-137(1976)

[Astrahan and Chamberlin 1975]

Morton M. Astrahan, Donald D. Chamberlin: Implementation of a Structured English Query Language. Commun. ACM 18(10): 580-588(1975)

[Atzeni and Parker 1981]

...

[Bachman and Dayal 1977]

Charles W. Bachman, Manilal Daya: The Role Concept in Data Models. VLDB 1977: 464-476

[Bancilhon 1978]

François Bancilhon: On the Completeness of Query Languages for Relational Data Bases. MFCS 1978: 112-123

[Beck 1978]

...

[Beeri 1980]

Catriel Beeri: On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. ACM Trans. Database Syst. 5(3): 241-259(1980)

[Beeri 1979]

...

[Beeri and Bernstein 1979]

Catriel Beeri, Philip A. Bernstein: Computational Problems Related to the Design of Normal Form Relational Schemas. ACM Trans. Database Syst. 4(1): 30-59(1979)

[Beeri et al. 1978]

Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Sophisticate's Introduction to Database Normalization Theory. VLDB 1978: 113-124

[Beeri et al. 1980]

Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman: On the Structure of Armstrong Relations for Functional Dependencies. J. ACM 31(1): 30-46(1984)

[Beeri et al. 1977]

Catriel Beeri, Ronald Fagin, John H. Howard: A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. SIGMOD Conference 1977: 47-61

[Beeri et al. 1981]

Catriel Beeri, Ronald Fagin, David Maier, Alberto O. Mendelzon, Jeffrey D. Ullman, Mihalis Yannakakis: Properties of Acyclic Database Schemes. STOC 1981: 355-362

[Beeri et al. 1981a]

Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis: On the Desirability of Acyclic Database Schemes. J. ACM 30(3): 479-513(1983)

[Beeri and Honeyman 1981]

Catriel Beeri, Peter Honeyman: Preserving Functional Dependencies. SIAM J. Comput. 10(3): 647-656(1981)

[Beeri et al. 1979]

Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalence of Relational Database Schemes. SIAM J. Comput. 10(2): 352-370(1981)

[Beeri and Rissanen 1980]

...

[Beeri and Vardi 1980a]

Catriel Beeri, Moshe Y. Vardi: The Implication Problem for Data Dependencies. ICALP 1981: 73-85

[Beeri and Vardi 1981a]

Catriel Beeri, Moshe Y. Vardi: A Note on Decompositions of Relational Databases. SIGMOD Record 12(1): 33-37(1981)

[Beeri and Vardi 1980b]

...

[Beeri and Vardi 1981b]

Catriel Beeri, Moshe Y. Vardi: On the Properties of Join Dependencies. Advances in Data Base Theory 1979: 25-71

[Beeri and Vardi 1980c]

Catriel Beeri, Moshe Y. Vardi: A Proof Procedure for Data Dependencies. J. ACM 31(4): 718-741(1984)

[Békéssy and Demetrovics 1979]

...

[Békéssy et al. 1980]

...

[Bernstein 1976a]

Philip A. Bernstein: Comment on ``Segment Synthesis in Logical Data Base Design''. IBM Journal of Research and Development 20(4): 412(1976)

[Bernstein 1976b]

Philip A. Bernstein: Synthesizing Third Normal Form Relations from Functional Dependencies. ACM Trans. Database Syst. 1(4): 277-298(1976)

[Bernstein et al. 1980]

Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136

[Bernstein and Chiu 1981]

Philip A. Bernstein, Dah-Ming W. Chiu: Using Semi-Joins to Solve Relational Queries. J. ACM 28(1): 25-40(1981)

[Bernstein and Goodman 1979a]

...

[Bernstein and Goodman 1979b]

...

[Bernstein and Goodman 1980a]

Philip A. Bernstein, Nathan Goodman: The power of inequality semijoins. Inf. Syst. 6(4): 255-265(1981)

[Bernstein and Goodman 1979c]

...

[Bernstein and Goodman 1980b]

Philip A. Bernstein, Nathan Goodman: What does Boyce-Codd Normal Form Do? VLDB 1980: 245-259

[Biskup 1980a]

Joachim Biskup: A Formal Approach to Null Values in Database Relations. Advances in Data Base Theory 1979: 299-341

[Biskup 1981]

Joachim Biskup: A Foundation of Codd's Relational Maybe-Operations. ACM Trans. Database Syst. 8(4): 608-636(1983)

[Biskup 1980b]

Joachim Biskup: Inferences of Multivalued Dependencies in Fixed and Undetermined Universes. Theor. Comput. Sci. 10: 93-105(1980)

[Biskup 1978]

Joachim Biskup: On the Complementation Rule for Multivalued Dependencies in Database Relations. Acta Inf. 10: 297-305(1978)

[Biskup et al. 1979]

Joachim Biskup, Umeshwar Dayal, Philip A. Bernstein: Synthesizing Independent Database Schemas. SIGMOD Conference 1979: 143-151

[Blasgen et al. 1981]

Mike W. Blasgen, Morton M. Astrahan, Donald D. Chamberlin, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Mario Schkolnick, Patricia G. Selinger, Donald R. Slutz, H. Raymond Strong, Irving L. Traiger, Bradford W. Wade, Robert A. Yost: System R: An Architectural Overview. IBM Systems Journal 20(1): 41-62(1981)

[Blasgen and Eswaran 1977]

Mike W. Blasgen, Kapali P. Eswaran: Storage and Access in Relational Data Bases. IBM Systems Journal 16(4): 362-377(1977)

[Boyce et al. 1975]

Raymond F. Boyce, Donald D. Chamberlin, W. Frank King III, Michael Hammer: Specifying Queries as Relational Expressions: The SQUARE Data Sublanguage. Commun. ACM 18(11): 621-628(1975)

[Brodie 1978]

...

[Cardenas 1979]

...

[Carlson and Kaplan 1976]

C. Robert Carlson, Robert S. Kaplan: A Generalized Access Path Model and its Application to a Relational Data Base System. SIGMOD Conference 1976: 143-154

[Casanova 1981]

Marco A. Casanova: The Theory of Functional and Subset Dependencies Over Relational Expressions. Inf. Process. Lett. 16(3): 153-160(1983)

[Ceri and Pelagatti 1980]

...

[Chamberlin 1976]

Donald D. Chamberlin: Relational Data-Base Management Systems. ACM Comput. Surv. 8(1): 43-66(1976)

[Chamberlin et al. 1981]

Donald D. Chamberlin, Morton M. Astrahan, W. Frank King III, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Mario Schkolnick, Patricia G. Selinger, Donald R. Slutz, Bradford W. Wade, Robert A. Yost: Support for Repetitive Transactions and Ad Hoc Queries in System R. ACM Trans. Database Syst. 6(1): 70-94(1981)

[Chamberlin et al. 1976]

Donald D. Chamberlin, Morton M. Astrahan, Kapali P. Eswaran, Patricia P. Griffiths, Raymond A. Lorie, James W. Mehl, Phyllis Reisner, Bradford W. Wade: SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control. IBM Journal of Research and Development 20(6): 560-575(1976)

[Chandra 1981]

Ashok K. Chandra: Programming Primitives for Database Languages. POPL 1981: 50-62

[Chandra and Harel 1980a]

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980)

[Chandra and Harel 1980b]

Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128(1982)

[Chandra et al. 1981]

Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky: Embedded Implicational Dependencies and their Inference Problem. STOC 1981: 342-354

[Chandra and Merlin 1976]

Ashok K. Chandra, Philip M. Merlin: Optimal Implementation of Conjunctive Queries in Relational Data Bases. STOC 1977: 77-90

[Chase 1981]

Karen Chase: Join Graphs and Acyclic Database Schemes. VLDB 1981: 95-100

[Chen 1976]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976)

[Childs 1968]

...

[Chiu et al. 1981]

Dah-Ming W. Chiu, Philip A. Bernstein, Yu-Chi Ho: Optimizing Chain Queries in a Distributed Database System. SIAM J. Comput. 13(1): 116-134(1984)

[Chiu and Ho 1980]

D. M. Chiu, Y. C. Ho: A Methodology for Interpreting Tree Queries Into Optimal Semi-Join Expressions. SIGMOD Conference 1980: 169-178

[Clifford and Warren 1981]

James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983)

[Codd 1971a]

E. F. Codd: A Database Sublanguage Founded on the Relational Calculus. SIGFIDET Workshop 1971: 35-68

[Codd 1979]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979)

[Codd 1972a]

E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971)

[Codd 1971b]

E. F. Codd: Normalized Data Structure: A Brief Tutorial. SIGFIDET Workshop 1971: 1-17

[Codd 1974]

E. F. Codd: Recent Investigations in Relational Data Base Systems. IFIP Congress 1974: 1017-1021

[Codd 1972b]

E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972)

[Codd 1970]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)

[Codd 1975]

...

[Connors and Vianu 1981]

...

[Cooper 1980]

Eric C. Cooper: On the Expressive Power of Query Languages for Relational Databases. POPL 1982: 361-365

[Date 1981]

C. J. Date: An Introduction to Database Systems, 3rd Edition. Addison-Wesley 1981

[Dayal and Bernstein 1978a]

...

[Dayal and Bernstein 1978b]

Umeshwar Dayal, Philip A. Bernstein: On the Updatability of Relational Views. VLDB 1978: 368-377

[Delobel 1978]

Claude Delobel: Normalization and Hierarchical Dependencies in the Relational Data Model. ACM Trans. Database Syst. 3(3): 201-222(1978)

[Delobel and Casey 1973]

Claude Delobel, Richard G. Casey: Decomposition of a Data Base and the Theory of Boolean Switching Functions. IBM Journal of Research and Development 17(5): 374-386(1973)

[Delobel et al. 1977]

Claude Delobel, Richard G. Casey, Philip A. Bernstein: Comment on ``Decomposition of a Data Base and the Theory of Boolean Switching Functions''. IBM Journal of Research and Development 21(5): 484-485(1977)

[Demetrovics 1979]

...

[Demetrovics 1978]

János Demetrovics: On the Number of Candidate Keys. Inf. Process. Lett. 7(6): 266-269(1978)

[Downey et al. 1980]

Peter J. Downey, Ravi Sethi, Robert Endre Tarjan: Variations on the Common Subexpression Problem. J. ACM 27(4): 758-771(1980)

[Epstein et al. 1978]

Robert S. Epstein, Michael Stonebraker, Eugene Wong: Distributed Query Processing in a Relational Data Base System. SIGMOD Conference 1978: 169-180

[Fagin 1977a]

Ronald Fagin: The Decomposition Versus Synthetic Approach to Relational Database Design. VLDB 1977: 441-446

[Fagin 1977b]

Ronald Fagin: Functional Dependencies in a Relational Data Base and Propositional Logic. IBM Journal of Research and Development 21(6): 543-544(1977)

[Fagin 1980a]

Ronald Fagin: Horn Clauses and Database Dependencies (Extended Abstract). STOC 1980: 123-134

[Fagin 1977c]

Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977)

[Fagin 1980b]

Ronald Fagin: A Normal Form for Relational Databases That Is Based on Domians and Keys. ACM Trans. Database Syst. 6(3): 387-415(1981)

[Fagin 1979]

Ronald Fagin: Normal Forms and Relational Database Operators. SIGMOD Conference 1979: 153-160

[Fagin et al. 1981]

Ronald Fagin, David Maier, Jeffrey D. Ullman, Mihalis Yannakakis: Tools for Template Dependencies. SIAM J. Comput. 12(1): 36-59(1983)

[Fagin et al. 1980]

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)

[Fischer et al. 1981]

Patrick C. Fischer, Jiann H. Jou, Don-Min Tsou: Succinctness in Dependency Systems. Theor. Comput. Sci. 24: 323-329(1983)

[Forsyth and Fadous 1975]

Raymond Fadous, John Forsyth: Finding Candidate Keys for Relational Data Bases. SIGMOD Conference 1975: 203-210

[Galil 1979]

Zvi Galil: An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database. J. ACM 29(1): 96-102(1982)

[Gallaire and Minker 1979]

Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory Plemum Press 1978, ISBN 0-306-40060-X
Contents

[Gallaire et al. 1980]

Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): Advances in Data Base Theory, Vol. 1, Based on the Proceedings of the Workshop on Formal Bases for Data Bases, December 12-14, 1979, Centre d'Etudes et de Recherches de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace de Toulouse (CERT), France. Advances in Data Base Theory Plemum Press 1981, ISBN 0-306-40629-2
Contents

[Garey and Johnson 1979]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7

[Gewirtz 1979]

...

[Ginsburg and Hull 1980]

Seymour Ginsburg, Richard Hull: Characterizations for Functional Dependency and Boyce-CODD Normal Form Families. Theor. Comput. Sci. 26: 243-286(1983)

[Ginsburg and Hull 1981]

...

[Ginsburg and Zaiddan 1981]

...

[Goldstein 1981a]

...

[Goldstein 1981b]

Billie S. Goldstein: Constraints on Null Values in Relational Databases. VLDB 1981: 101-110

[Goldstein 1980]

...

[Goodman et al. 1979]

Philip A. Bernstein, Nathan Goodman, Eugene Wong, Christopher L. Reeve, James B. Rothnie Jr.: Query Processing in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 6(4): 602-625(1981)

[Goodman and Shmueli 1980a]

...

[Goodman and Shmueli 1981a]

Nathan Goodman, Oded Shmueli: Limitations of the Chase. Inf. Process. Lett. 13(4/5): 154-156(1981)

[Goodman and Shmueli 1980b]

...

[Goodman and Shmueli 1981b]

Nathan Goodman, Oded Shmueli: Syntactic Characterization of Tree Database Schemas. J. ACM 30(4): 767-786(1983)

[Gotlieb 1975]

Leo R. Gotlieb: Computing Joins of Relations. SIGMOD Conference 1975: 55-63

[Graham 1981a]

Marc H. Graham: Functions in Databases. ACM Trans. Database Syst. 8(1): 81-109(1983)

[Graham 1981b]

...

[Graham 1979]

...

[Graham 1980]

...

[Grant 1977]

John Grant: Null Values in a Relational Data Base. Inf. Process. Lett. 6(5): 156-157(1977)

[Grant 1979]

John Grant: Partial Values in a Tabular Database Model. Inf. Process. Lett. 9(2): 97-99(1979)

[Grant and Jacobs 1980]

...

[Hagihara et al. 1979]

Kenichi Hagihara, Minoru Ito, Kenichi Taniguchi, Tadao Kasami: Decision Problems for Multivalued Dependencies in Relational Databases. SIAM J. Comput. 8(2): 247-264(1979)

[Hall 1976]

Patrick A. V. Hall: Optimization of a Single Relation Expression in a Relational Data Base System. IBM J. Res. Dev. 20(3): 244-257(1976)

[Hall et al. 1975]

Patrick A. V. Hall, Peter Hitchcock, Stephen Todd: An Algebra of Relations for Machine Computation. POPL 1975: 225-232

[Hammer and McLeod 1981]

Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981)

[Hammer and McLeod 1978]

Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36

[Heath 1971]

I. J. Heath: Unacceptable File Operations in a Relational Data Base. SIGFIDET Workshop 1971: 19-33

[Honeyman 1980a]

Peter Honeyman: Extension Joins. VLDB 1980: 239-244

[Honeyman 1980b]

...

[Honeyman 1980c]

Peter Honeyman: Testing satisfaction of functional dependencies. J. ACM 29(3): 668-677(1982)

[Honeyman et al. 1980]

Peter Honeyman, Richard E. Ladner, Mihalis Yannakakis: Testing the Universal Instance Assumption. Inf. Process. Lett. 10(1): 14-19(1980)

[Housel et al. 1979]

Barron C. Housel, Vance E. Waddle, S. Bing Yao: The Functional Dependency Model for Logical Database Design. VLDB 1979: 194-208

[Hull 1981]

...

[Jacobs 1980a]

...

[Jacobs 1980]

...

[Jacobs 1979]

...

[Jou 1980]

...

[Kambayashi 1979]

...

[Kambayashi 1978]

...

[Kanellakis 1980]

Paris C. Kanellakis: On the Computational Complexity of Cardinality Constraints in Relational Databases. Inf. Process. Lett. 11(2): 98-101(1980)

[Katsuno 1981a]

...

[Katsuno 1981b]

...

[Kent 1979a]

William Kent: The Entity Join. VLDB 1979: 232-238

[Kent 1973]

...

[Kent 1979b]

William Kent: Limitations of Record-Based Information Models. ACM Trans. Database Syst. 4(1): 107-131(1979)

[Kim 1980]

Won Kim: A New Way to Compute the Product and Join of Relations. SIGMOD Conference 1980: 179-187

[Kim 1981a]

Won Kim: On Optimizing an SQL-like Nested Query. ACM Trans. Database Syst. 7(3): 443-469(1982)

[Kim 1981b]

...

[Kim 1979]

Won Kim: Relational Database Systems. ACM Comput. Surv. 11(3): 187-211(1979)

[Klug 1980a]

Anthony C. Klug: Calculating Constraints on Relational Expressions. ACM Trans. Database Syst. 5(3): 260-290(1980)

[Klug 1980b]

Anthony C. Klug: Locking Expressions for Increased Database Concurrency. J. ACM 30(1): 36-54(1983)

[Klug 1980c]

...

[Klug and Price 1980]

Anthony C. Klug, Rod Price: Determining View Dependencies Using Tableaux. ACM Trans. Database Syst. 7(3): 361-380(1982)

[Korth 1981]

...

[Korth and Ullman 1980]

Henry F. Korth, Gabriel M. Kuper, Joan Feigenbaum, Allen Van Gelder, Jeffrey D. Ullman: System/U: A Database System Based on the Universal Relation Assumption. ACM Trans. Database Syst. 9(3): 331-347(1984)

[LaCroix and Pirotte 1976]

...

[LeDoux and Parker 1980]

...

[LeViet et al. 1979]

...

[Lewis et al. 1977]

...

[Lien 1981]

Y. Edmund Lien: Hierarchical Schemata for Relational Databases. ACM Trans. Database Syst. 6(1): 48-69(1981)

[Lien 1979]

Y. Edmund Lien: Multivalued Dependencies with Null Values in Relational Data Bases. VLDB 1979: 61-66

[Lien 1980]

Y. Edmund Lien: On the Equivalence of Database Models. J. ACM 29(2): 333-362(1982)

[Ling et al. 1981]

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)

[Lipski 1981]

Witold Lipski Jr.: On Databases with Incomplete Information. J. ACM 28(1): 41-70(1981)

[Lipski 1979b]

Witold Lipski Jr.: On Semantic Issues Connected with Incomplete Information Databases. ACM Trans. Database Syst. 4(3): 262-296(1979)

[Lipski and Marek 1979]

Witold Lipski Jr., V. Wiktor Marek: Information systems: on queries involving cardinalities. Inf. Syst. 4(1): 241-246(1979)

[Liu and Demers 1978]

...

[Lozinskii 1980]

Eliezer L. Lozinskii: Construction of Relations in Relational Databases. ACM Trans. Database Syst. 5(2): 208-224(1980)

[Lozinskii 1978]

Eliezer L. Lozinskii: Performance Consideration in Relational Data Base Design. JCDKB 1978: 273-

[Lucchesi and Osborn 1978]

Claudio L. Lucchesi, Sylvia L. Osborn: Candidate Keys for Relations. J. Comput. Syst. Sci. 17(2): 270-279(1978)

[Maier 1980a]

...

[Maier 1980b]

David Maier: Minimum Covers in Relational Database Model. J. ACM 27(4): 664-674(1980)

[Maier et al. 1980]

David Maier, Alberto O. Mendelzon, Fereidoon Sadri, Jeffrey D. Ullman: Adequacy of Decompositions of Relational Databases. J. Comput. Syst. Sci. 21(3): 368-379(1980)

[Maier et al. 1979]

David Maier, Alberto O. Mendelzon, Yehoshua Sagiv: Testing Implications of Data Dependencies. ACM Trans. Database Syst. 4(4): 455-469(1979)

[Maier et al. 1981a]

...

[Maier et al. 1981b]

David Maier, Yehoshua Sagiv, Mihalis Yannakakis: On the Complexity of Testing Implications of Functional and Join Dependencies. J. ACM 28(4): 680-695(1981)

[Maier and Ullman 1981a]

David Maier, Jeffrey D. Ullman: Connections in Acyclic Hypergraphs. PODS 1982: 34-39

[Maier and Ullman 1981b]

...

[Maier and Ullman 1980]

David Maier, Jeffrey D. Ullman: Maximal Objects and the Semantics of Universal Relation Databases. ACM Trans. Database Syst. 8(1): 1-14(1983)

[Maier and Warren 1981a]

David Maier, David Scott Warren: Incorporating Computed Relations in Relational Databases. SIGMOD Conference 1981: 176-187

[Maier and Warren 1981b]

David Maier, David Scott Warren: Specifying Connections for a Universal Relation Scheme Database. SIGMOD Conference 1982: 1-7

[Mendelzon 1981]

Alberto O. Mendelzon: Database States and Their Tableaux. ACM Trans. Database Syst. 9(2): 264-282(1984)

[Mendelzon 1979]

Alberto O. Mendelzon: On Axiomatizing Multivalued Dependencies in Relational Databases. J. ACM 26(1): 37-44(1979)

[Mendelzon and Maier 1979]

Alberto O. Mendelzon, David Maier: Generalized Mutual Dependencies and the Decomposition of Database Relations. VLDB 1979: 75-82

[Minker 1975a]

Jack Minker: Performing Inferences over Relation Data Bases. SIGMOD Conference 1975: 79-91

[Minker 1978]

Jack Minker: Search Strategy and Selection Function for an Inferential Relational System. ACM Trans. Database Syst. 3(1): 1-31(1978)

[Minker 1975b]

...

[Namibar 1979]

K. K. Nambiar: Some Analytic Tools for the Design of Relational Database Systems. VLDB 1980: 417-428

[Nicolas 1978a]

Jean-Marie Nicolas: First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. SIGMOD Conference 1978: 40-46

[Nicolas 1978b]

Jean-Marie Nicolas: Mutual Dependencies and Some Results on Undecomposable Relations. VLDB 1978: 360-367

[Nijssen 1979]

...

[Nijssen 1976]

G. M. Nijssen (Ed.): Modelling in Data Base Management Systems, Proceeding of the IFIP Working Conference on Modelling in Data Base Management Systems, Freudenstadt, Germany, January 5-8, 1976. North-Holland 1976, ISBN 0-7204-0459-2
Contents

[Osborn 1977]

...

[Osborn 1979a]

Sylvia L. Osborn: Testing for Existence of a Covering Boyce-Codd normal Form. Inf. Process. Lett. 8(1): 11-14(1979)

[Osborn 1979b]

Sylvia L. Osborn: Towards a Universal Relation Interface. VLDB 1979: 52-60

[Palermo 1974]

...

[Paolini and Pelagatti 1977]

Paolo Paolini, Giuseppe Pelagatti: Formal Definition of Mappings in a Data Base. SIGMOD Conference 1977: 40-46

[Paredaens 1977]

...

[Paredaens 1980]

...

[Paredaens 1978]

Jan Paredaens: On the Expressive Power of the Relational Algebra. Inf. Process. Lett. 7(2): 107-111(1978)

[Paredaens and DeBra 1981]

...

[Paredaens and Janssens 1981]

Jan Paredaens, Dirk Janssens: Decompositions of Relations: A Comprehensive Approach. Advances in Data Base Theory 1979: 73-100

[Parker and Parsaye-Ghomi 1980]

Douglas Stott Parker Jr., Kamran Parsaye-Ghomi: Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies. SIGMOD Conference 1980: 52-57

[Pecherer 1975]

Robert M. Pecherer: Efficient Evaluation of Expressions in a Relational Algebra. ACM Pacific 1975: 44-49

[Pichat and Delobel 1979]

...

[Pirotte 1979]

Alain Pirotte: High Level Data Base Query Languages. Logic and Data Bases 1977: 409-436

[Reiter 1978]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76

[Rissanen 1977]

Jorma Rissanen: Independent Components of Relations. ACM Trans. Database Syst. 2(4): 317-325(1977)

[Rothnie et al. 1981]

James B. Rothnie Jr., Philip A. Bernstein, Stephen Fox, Nathan Goodman, Michael Hammer, Terry A. Landers, Christopher L. Reeve, David W. Shipman, Eugene Wong: Introduction to a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 1-17(1980)

[Rozenshtein 1981]

...

[Rustin 1972]

...

[Sadri 1980a]

...

[Sadri 1980b]

...

[Sadri 1980c]

...

[Sadri and Ullman 1980a]

Fereidoon Sadri, Jeffrey D. Ullman: A Complete Axiomatization for a Large Class of Dependencies in Relational Databases. STOC 1980: 117-122

[Sadri and Ullman 1980b]

Fereidoon Sadri, Jeffrey D. Ullman: The Interaction between Functional Dependencies and Template Dependencies. SIGMOD Conference 1980: 45-51

[Sagiv 1980]

Yehoshua Sagiv: An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic. J. ACM 27(2): 250-262(1980)

[Sagiv 1981a]

Yehoshua Sagiv: Can We Use the Universal Instance Assumption Without Using Nulls? SIGMOD Conference 1981: 108-120

[Sagiv 1981b]

Yehoshua Sagiv: A Characterization of Globally Consistent Databases and Their Correct Access Paths. ACM Trans. Database Syst. 8(2): 266-286(1983)

[Sagiv et al. 1981]

Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin: An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. J. ACM 28(3): 435-453(1981)

[Sagiv and Walecka 1979]

...

[Sagiv and Yannakakis 1980]

Yehoshua Sagiv, Mihalis Yannakakis: Equivalences Among Relational Expressions with the Union and Difference Operators. J. ACM 27(4): 633-655(1980)

[Schenk and Pinkert 1977]

Kathryn L. Schenk, James R. Pinkert: An Algorithm for Servicing Multi-Relational Queries. SIGMOD Conference 1977: 10-20

[Schkolnick and Sorenson 1981]

...

[Schmid and Swenson 1975]

Hans Albrecht Schmid, J. Richard Swenson: On the Semantics of the Relational Data Model. SIGMOD Conference 1975: 211-223

[Sciore 1982]

Edward Sciore: A Complete Axiomatization of Full Join Dependencies. J. ACM 29(2): 373-393(1982)

[Sciore 1979]

Edward Sciore: Improving Semantic Specification in a Relational Database. SIGMOD Conference 1979: 170-178

[Sciore 1980a]

...

[Sciore 1981]

Edward Sciore: Real-World MVD's. SIGMOD Conference 1981: 121-132

[Sciore 1980b]

...

[Selinger et al. 1979]

Patricia G. Selinger, Morton M. Astrahan, Donald D. Chamberlin, Raymond A. Lorie, Thomas G. Price: Access Path Selection in a Relational Database Management System. SIGMOD Conference 1979: 23-34

[Sethi 1974]

Ravi Sethi: Testing for the Church-Rosser Property. J. ACM 21(4): 671-679(1974)

[Shneiderman 1978]

...

[Shopiro 1979]

Jonathan E. Shopiro: Theseus - A Programming Language for Relational Databases. ACM Trans. Database Syst. 4(4): 493-517(1979)

[Smith and Chang 1975]

John Miles Smith, Philip Yen-Tang Chang: Optimizing the Performance of a Relational Algebra Database Interface. Commun. ACM 18(10): 568-579(1975)

[Smith and Smith 1977a]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977)

[Smith and Smith 1977b]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977)

[Sowa 1976]

John F. Sowa: Conceptual Graphs for a Data Base Interface. IBM Journal of Research and Development 20(4): 336-357(1976)

[Stein 1981]

...

[Steiner 1981]

...

[Stockmeyer and Wong 1979]

Larry J. Stockmeyer, C. K. Wong: On the Number of Comparisons to Find the Intersection of Two Relations. SIAM J. Comput. 8(3): 388-404(1979)

[Stonebraker 1975]

Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78

[Stonebraker and Rubenstein 1976]

...

[Stonebraker and Wong 1974]

...

[Stonebraker et al. 1976]

Michael Stonebraker, Eugene Wong, Peter Kreps, Gerald Held: The Design and Implementation of INGRES. ACM Trans. Database Syst. 1(3): 189-222(1976)

[Sundgren 1976]

...

[Tanaka and Kambayashi 1980]

...

[Tanaka et al. 1979a]

...

[Tanaka et al. 1979b]

...

[Tanaka and Tsuda 1977]

Yuzuru Tanaka, Takao Tsuda: Decomposition and Composition of a Relational Database. VLDB 1977: 454-462

[Todd 1976]

Stephen Todd: The Peterlee Relational Test Vehicle - A System Overview. IBM Systems Journal 15(4): 285-308(1976)

[Todd 1975]

Stephen Todd: PRTV: An Efficient Implementation for Large Relational Data Bases. VLDB 1975: 554-556

[Tou 1974]

...

[Tsichritzis and Lochovsky 1977]

...

[Tsou 1980]

...

[Tsou and Fischer 1980]

...

[Ullman 1980]

Jeffrey D. Ullman: Principles of Database Systems, 1st Edition. Computer Science Press 1980

[Vardi 1980a]

...

[Vardi 1980b]

Moshe Y. Vardi: Inferring Multivalued Dependencies From Functional and Join Dependencies. Acta Inf. 19: 305-324(1983)

[Vassiliou 1980a]

Yannis Vassiliou: Functional Dependencies and Incomplete Information. VLDB 1980: 260-269

[Vassiliou 1979]

Yannis Vassiliou: Null Values in Data Base Management: A Denotational Semantics Approach. SIGMOD Conference 1979: 162-169

[Vassiliou 1980b]

...

[Walker 1980a]

Adrian Walker: On Retrieval from a Small Version of a Large Data Base. VLDB 1980: 47-54

[Walker 1979]

...

[Wang and Wedekind 1975]

Chu P. Wang, Hartmut Wedekind: Segment Synthesis in Logical Data Base Design. IBM Journal of Research and Development 19(1): 71-77(1975)

[Wiederhold 1977]

...

[Wong and Youssefi 1976]

Eugene Wong, Karel Youssefi: Decomposition - A Strategy for Query Processing. ACM Trans. Database Syst. 1(3): 223-241(1976)

[Yannakakis 1981]

Mihalis Yannakakis: Algorithms for Acyclic Database Schemes. VLDB 1981: 82-94

[Yannakakis and Papadimitriou 1980]

Mihalis Yannakakis, Christos H. Papadimitriou: Algebraic Dependencies (Extended Abstract). FOCS 1980: 328-332

[Yao 1979]

S. Bing Yao: Optimization of Query Evaluation Algorithms. ACM Trans. Database Syst. 4(2): 133-155(1979)

[Yu and Ozsoyoglu 1979]

...

[Yu and Ozsoyoglu 1980]

...

[Zaniolo 1976]

...

[Zaniolo 1979]

Carlo Zaniolo: Mixed Transitivity for Functional and Multivalued Dependencies in Database Relations. Inf. Process. Lett. 10(1): 32-34(1980)

[Zaniolo 1977]

...

[Zaniolo and Melkanoff 1982]

Carlo Zaniolo, Michel A. Melkanoff: A Formal Approach to the Definition and the Design of Conceptual Schemata for Database Systems. ACM Trans. Database Syst. 7(1): 24-59(1982)

[Zaniolo and Melkanoff 1981]

Carlo Zaniolo, Michel A. Melkanoff: On the Design of Relational Database Schemata. ACM Trans. Database Syst. 6(1): 1-47(1981)

[Zloof 1977]

Moshé M. Zloof: Query-by-Example: A Data Base Language. IBM Systems Journal 16(4): 324-343(1977)

[Zloof 1981]

...

[Zloof 1976]

...