Foundations of Databases

@book{DBLP:books/aw/AbiteboulHV95,
  author    = {Serge Abiteboul and
               Richard Hull and
               Victor Vianu},
  title     = {Foundations of Databases},
  publisher = {Addison-Wesley},
  year      = {1995},
  isbn      = {0-201-53771-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Home Page of this Book

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

Contents

PART A -- Antechamber

1 Database Systems
  1.1 The Main Principles
  1.2 Functionalities
  1.3 Complexity and Diversity
  1.4 Past and Future
  1.5 Ties with this Book
  Bibliographic Notes
2 Theoretical Background
  2.1 Some Basics
  2.2 Languages, Computability, Complexity
  2.3 Basics from Logic
3 The Relational Model
  Bibliographic Notes

PART B -- Basics: Relational Query Languages

4 Conjunctive Queries
  4.1 Getting Started
  4.2 Logic-based perspectives
  4.3 Query composition and views
  4.4 Algebraic perspectives
  4.5 Adding union
  Bibliographic Notes
  Exercises
5 Adding Negation: Algebra and Calculus
  5.1 The Relational Algebras
  5.2 Nonrecursive Datalog with Negation
  5.3 The Relational Calculus
  5.4 Syntactic Restrictions for Domain Independence
  5.5 Digression: Finite Representations of Infinite Databases
  Bibliographic notes
  Exercises
6 Static Analysis and Optimization
  6.1 Issues in Practical Query Optimization
  6.2 Global Optimization
  6.3 Static Analysis of the Relational Calculus
  6.4 Computing with Acyclic Joins
  Bibliographic Notes
  Exercises
7 Notes on Practical Languages
  7.1 SQL: The Structured Query Language
  7.2 Query-By-Example and Microsoft Access
  7.3 Confronting the Real World
  Bibliographic Notes
  Exercises

PART C -- Constraints

8 Functional and Join Dependency
  8.1 Motivation
  8.2 Functional and Key Dependencies
  8.3 Join and Multivalued Dependencies
  8.4 The Chase
  Bibliographic Notes
  Exercises
9 Inclusion Dependency
  9.1 Inclusion Dependency in Isolation
  9.2 Finite vs. Infinite Implication
  9.3 Non-axiomatizability of fds + inds
  9.4 Restricted Kinds of Inclusion Dependency
  Bibliographic Notes
  Exercises
10 A Larger Perspective
  10.1 A Unifying Framework
  10.2 The Chase Revisited
  10.3 Axiomatization
  10.4 An Algebraic Perspective
  Bibliographic Notes
  Exercises
11 Design and Dependencies
  11.1 Semantic Data Models
  11.2 Normal Forms
  11.3 Universal Relation Assumption
  Bibliographic Notes
  Exercises

PART D -- Datalog and Recursion

12 Datalog
  12.1 Syntax of Datalog
  12.2 Model-Theoretic Semantics
  12.3 Fixpoint Semantics
  12.4 Proof-Theoretic Approach
  12.5 Static Program Analysis
  Bibliographic Notes
  Exercises
13 Evaluation of Datalog
  13.1 Semi-naive Evaluation
  13.2 Top-down Techniques
  13.3 Magic
  13.4 Two Improvements
  Bibliographic Notes
  Exercises
14 Recursion and Negation
  14.1 Algebra + {\pem { while 
  14.2 Calculus + Fixpoint
  14.3 Datalog with Negation
  14.4 Equivalence
  14.5 Recursion in Practical Languages
  Bibliographic Notes
  Exercises
15 Negation in Datalog
  15.1 The Basic Problem
  15.2 The Stratified Semantics
  15.3 The Well-Founded Semantics
    15.3.1 A Declarative Semantics for datalog$^\neg $
    15.3.2 A Fixpoint Definition
    15.3.3 Well-founded and Stratified Semantics Agree
  15.4 Expressive Power
  15.5 Negation as Failure in Brief
  Bibliographic Notes
  Exercises

PART E -- Expressiveness and Complexity

16 Sizing Up Languages
  16.1 Queries
  16.2 Complexity of queries
  16.3 Languages and Complexity
  Bibliographic Notes
  Exercises
17 First-Order, Fixpoint and While
  17.1 Complexity of the First-Order Queries
  17.2 Expressiveness of the First-Order Queries
  17.3 The Fixpoint and While Queries
  17.4 The Impact of Order
  Bibliographic Notes
  Exercises
18 Highly Expressive Languages
  18.1 While$_N$ -- while with Arithmetic
  18.2 While$_{new}$ -- while with New Values
  18.3 While$_{uty}$ -- an Untyped Extension of while
  Bibliographic Notes
  Exercises

PART F -- Finale

19 Incomplete Information
  19.1 Warm up
  19.2 Weak Representation Systems
  19.3 Conditional Tables
  19.4 The Complexity of Nulls
  19.5 Other Approaches
  Bibliographic Notes
  Exercises
20 Complex Values
  20.1 Complex Value Databases
  20.2 The Algebra
  20.3 The Calculus
  20.4 Examples
  20.5 Equivalence Theorems
  20.6 Fixpoint and Deduction
  20.7 Expressive Power and Complexity
  20.8 A Practical Query Language for Complex Values
  Bibliographic Notes
  Exercises
21 Object Databases
  21.1 Informal Presentation
  21.2 Formal Definition of an OODB Model
  21.3 Languages for OODB Queries
  21.4 Languages for Methods
  21.4.1 A Model with Imperative Methods
  21.4.2 Method Schemas
  21.5 Further Issues for OODBs
  Bibliographic Notes
  Exercises
22 Dynamic Aspects
  22.1 Update Languages
  22.2 Transactional Schemas
  22.3 Updating Views and Deductive Databases
  22.4 Updating Incomplete Information
  22.5 Active Databases
  22.6 Temporal Databases and Constraints
  Bibliographic Notes
  Exercises

Bibliography
Index

References

[57391]

...

[69392]

...

[A+76]

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)

[AA93]

Paolo Atzeni, Valeria De Antonellis: Relational Database Theory. Benjamin/Cummings 1993, ISBN 0-8053-0249-2

[AABM82]

Paolo Atzeni, Giorgio Ausiello, Carlo Batini, Marina Moscarini: Inclusion and Equivalence between Relational Database Schemata. Theor. Comput. Sci. 19: 267-285(1982)

[AB86]

Serge Abiteboul, Nicole Bidoit: Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. Comput. Syst. Sci. 33(3): 361-393(1986)

[AB87a]

Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987)

[AB87b]

Paolo Atzeni, Maria Cristina De Bernardis: A New Basis for the Weak Instance Model. PODS 1987: 79-86

[AB88]

Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995)

[AB91]

Serge Abiteboul, Anthony J. Bonner: Objects and Views. SIGMOD Conference 1991: 238-247

[ABD+89]

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240

[ABGO93]

Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini: An Object Data Model with Roles. VLDB 1993: 39-51

[Abi83]

...

[Abi88]

Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18

[Abi89]

Serge Abiteboul: Boundedness is Undecidable for Datalog Programs with a Single Recursive Rule. Inf. Process. Lett. 32(6): 281-287(1989)

[Abr74]

Jean-Raymond Abrial: Data Semantics. IFIP Working Conference Data Base Management 1974: 1-60

[ABU79]

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

[ABW88]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148

[AC78]

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

[AC89]

Foto N. Afrati, Stavros S. Cosmadakis: Expressiveness of Restricted Recursive Queries (Extended Abstract). STOC 1989: 113-126

[ACO85]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985)

[ACY91]

Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis: On Datalog vs. Polynomial Time. PODS 1991: 13-25

[ADM85]

Giorgio Ausiello, Alessandro D'Atri, Marina Moscarini: Chordality Properties on Graphs and Minimal Conceptual Connections in Semantic Data Models. PODS 1985: 164-170

[AG85]

Serge Abiteboul, Gösta Grahne: Update Semantics for Incomplete Databases. VLDB 1985: 1-12

[AG87]

Miklós Ajtai, Yuri Gurevich: Monotone versus positive. J. ACM 34(4): 1004-1015(1987)

[AG89]

Miklós Ajtai, Yuri Gurevich: Datalog vs. First-Order Logic. FOCS 1989: 142-147

[AG91]

Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30(1991)

[AGM85]

...

[AGSS86]

...

[AH87]

Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987)

[AH88]

Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153

[AH91]

...

[AK89]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173

[AKG91]

Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne: On the Representation and Querying of Sets of Possible Worlds. Theor. Comput. Sci. 78(1): 158-187(1991)

[AKRW92]

Serge Abiteboul, Paris C. Kanellakis, Sridhar Ramaswamy, Emmanuel Waller: Method Schemas. J. Comput. Syst. Sci. 51(3): 433-455(1995)

[ALUW93]

Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41

[AP82]

Paolo Atzeni, Douglas Stott Parker Jr.: Assumptions in Relational Database Theory. PODS 1982: 1-9

[AP87a]

Foto N. Afrati, Christos H. Papadimitriou: The Parallel Complexity of Simple Chain Queries. PODS 1987: 210-213

[AP87b]

Krzysztof R. Apt, Jean-Marc Pugin: Maintenance of Stratified Databases Viewed as a Belief Revision System. PODS 1987: 136-145

[AP92]

Marc Andries, Jan Paredaens: A Language for Generic Graph-Transformations. WG 1991: 63-74

[APP+86]

Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou, Athena Roussou, Yehoshua Sagiv, Jeffrey D. Ullman: Convergence of Sideways Query Evaluation. PODS 1986: 24-30

[Apt91]

Krzysztof R. Apt: Logic Programming. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 493-574

[Arm74]

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

[ASSU81]

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)

[ASU79a]

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)

[ASU79b]

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

[ASV90]

Serge Abiteboul, Eric Simon, Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990: 218-229

[AT93]

Paolo Atzeni, Riccardo Torlone: A metamodel approach for the management of multiple models and translation of schemes. Inf. Syst. 18(6): 349-362(1993)

[AU79]

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

[AV87]

Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268

[AV88a]

Serge Abiteboul, Victor Vianu: The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB 1988: 324-334

[AV88b]

Serge Abiteboul, Victor Vianu: Equivalence and optimization of relational transactions. J. ACM 35(1): 70-120(1988)

[AV88c]

Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250

[AV89]

Serge Abiteboul, Victor Vianu: A transaction-based approach to relational database specification. J. ACM 36(4): 758-789(1989)

[AV90]

Serge Abiteboul, Victor Vianu: Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41(2): 181-229(1990)

[AV91a]

Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991)

[AV91b]

Serge Abiteboul, Victor Vianu: Generic Computation and Its Complexity. STOC 1991: 209-219

[AV91c]

Serge Abiteboul, Victor Vianu: Non-Determinism in Logic-Based Languages. Ann. Math. Artif. Intell. 3(2-4): 151-186(1991)

[AV94]

Serge Abiteboul, Victor Vianu: Computing with First-Order Logic. J. Comput. Syst. Sci. 50(2): 309-335(1995)

[AvE82]

Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982)

[AVV92]

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992: 156-168

[AW88]

Krzysztof R. Apt, Howard A. Blair: Arithmetic Classification of Perfect Models of Stratified Programs. ICLP/SLP 1988: 765-779

[B+86]

Daniel G. Bobrow, Kenneth M. Kahn, Gregor Kiczales, Larry Masinter, Mark Stefik, Frank Zdybel: CommonLoops: Merging Lisp and Object-Oriented Programming. OOPSLA 1986: 17-29

[B+88]

Don S. Batory, J. R. Barnett, J. F. Garza, K. P. Smith, K. Tsukuda, B. C. Twichell, T. E. Wise: GENESIS: An Extensible Database Management System. IEEE Trans. Software Eng. 14(11): 1711-1730(1988)

[Ban78]

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

[Ban85]

...

[Ban86]

François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178

[Bar63]

Hendrik Pieter Barendregt: Functional Programming and Lambda Calculus. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 321-363

[Bar84]

...

[BB79]

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)

[BB91]

Jean Berstel, Luc Boasson: Context-Free Languages. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 59-102

[BB92]

Domenico Beneventano, Sonia Bergamaschi: Subsumption for Complex Object Data Models. ICDT 1992: 357-375

[BBC80]

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

[BBG78]

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

[BBMR89]

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67

[BC79]

Peter Buneman, Eric K. Clemons: Efficient Monitoring Relational Databases. ACM Trans. Database Syst. 4(3): 368-382(1979)

[BC81]

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

[BCD89]

François Bancilhon, Sophie Cluet, Claude Delobel: A Query Language for the O₂ Object-Oriented Database System. DBPL 1989: 122-138

[BCW93]

Marianne Baudinet, Jan Chomicki, Pierre Wolper: Temporal Deductive Databases. Temporal Databases 1993: 294-320

[BDB79]

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

[BDFS84]

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

[BDK92]

François Bancilhon, Claude Delobel, Paris C. Kanellakis (Eds.): Building an Object-Oriented Database System, The Story of O2. Morgan Kaufmann 1992, ISBN 1-55860-169-4
Contents

[BDM88]

François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505

[BDW88]

Peter Buneman, Susan B. Davidson, Aaron Watters: A Semantics for Complex Objects and Approximate Queries. PODS 1988: 305-314

[BDW91]

Peter Buneman, Susan B. Davidson, Aaron Watters: A Semantics for Complex Objects and Approximate Answers. J. Comput. Syst. Sci. 43(1): 170-218(1991)

[Bee80]

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

[Bee90]

Catriel Beeri: A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5: 353-382(1990)

[Ber76a]

...

[Ber76b]

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

[BF87]

Nicole Bidoit, Christine Froidevaux: Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming. LICS 1987: 89-97

[BF88]

Nicole Bidoit, Christine Froidevaux: General Logical Databases and Programs: Default Logic Semantics and Stratification. Inf. Comput. 91(1): 15-54(1991)

[BFH77]

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

[BFM+81]

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

[BFMY83]

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

[BFN82]

Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil: An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. 7(2): 164-186(1982)

[BG81]

Philip A. Bernstein, Nathan Goodman: Power of Natural Semijoins. SIAM J. Comput. 10(4): 751-771(1981)

[BGK85]

Andreas Blass, Yuri Gurevich, Dexter Kozen: A Zero-One Law for Logic with a Fixed-Point Operator. Information and Control 67(1-3): 70-90(1985)

[BGL85]

Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. IJCAI 1985: 532-539

[BGW+81]

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)

[BHG87]

Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents

[Bid91a]

...

[Bid91b]

Nicole Bidoit: Negation in Rule-Based Database Languages: A Survey. Theor. Comput. Sci. 78(1): 3-83(1991)

[Bis80]

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

[Bis81]

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

[Bis83]

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

[BJO91]

Peter Buneman, Achim Jung, Atsushi Ohori: Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. 91(1): 23-55(1991)

[BK86]

Catriel Beeri, Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158(1986)

[BKBR87]

Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan: Bounds on the Propagation of Selection into Logic Programs. PODS 1987: 214-226

[BL90]

Nicole Bidoit, P. Legay: WELL!: An Evaluation Procedure for All Logic Programs. ICDT 1990: 335-348

[BLN86]

Carlo Batini, Maurizio Lenzerini, Shamkant B. Navathe: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Comput. Surv. 18(4): 323-364(1986)

[BLT86]

José A. Blakeley, Per-Åke Larson, Frank Wm. Tompa: Efficiently Updating Materialized Views. SIGMOD Conference 1986: 61-71

[BM91]

Catriel Beeri, Tova Milo: A Model for Active Object Oriented Databases. VLDB 1991: 337-349

[BMG93]

José A. Blakeley, William J. McKenna, Goetz Graefe: Experiences Building the Open OODB Query Optimizer. SIGMOD Conference 1993: 287-296

[BMSU81]

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

[BMSU86]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15

[BNR+87a]

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37

[Bor85]

Alexander Borgida: Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software 2(1): 63-72(1985)

[BP83]

Paul De Bra, Jan Paredaens: Conditional Dependencies for Horizontal Decompositions. ICALP 1983: 67-82

[BPR87]

Isaac Balbin, Krishnamurthy Meenakshi, Kotagiri Ramamohanarao: A Query Independent Method for Magic Set Computation on Stratified Databases. FGCS 1988: 711-718

[BR80]

...

[BR87a]

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284

[BR87b]

Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987)

[BR88a]

François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52

[BR88b]

François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 439-517

[BR91]

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. J. Log. Program. 10(1/2/3&4): 255-299(1991)

[BRS82]

François Bancilhon, Philippe Richard, Michel Scholl: On Line Processing of Compacted Relations. VLDB 1982: 263-269

[BRSS92]

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: The Valid Model Semantics for Logic Programs. PODS 1992: 91-104

[Bry89]

François Bry: Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. DOOD 1989: 25-44

[BS81]

François Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575(1981)

[BS85]

Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985)

[BS93]

Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992)

[BST75]

Philip A. Bernstein, J. Richard Swenson, Dennis Tsichritzis: A Unified Approach to Functional Dependencies and Relations. SIGMOD Conference 1975: 237-245

[BTBN92]

Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19

[BTBW92]

Val Tannen, Peter Buneman, Limsoon Wong: Naturally Embedded Query Languages. ICDT 1992: 140-154

[BV80a]

...

[BV80b]

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

[BV81a]

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

[BV81b]

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

[BV84a]

Catriel Beeri, Moshe Y. Vardi: Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13(1): 76-98(1984)

[BV84b]

Catriel Beeri, Moshe Y. Vardi: On Acyclic Database Decompositions. Information and Control 61(2): 75-84(1984)

[BV84c]

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

[BV85]

Catriel Beeri, Moshe Y. Vardi: Formal Systems for Join Dependencies. Theor. Comput. Sci. 38: 99-116(1985)

[C+76]

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)

[Cam92]

...

[Car88]

Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988)

[Cat94]

R. G. G. Cattell: The Object Database Standard: ODMG-93 (Release 1.1). Morgan Kaufmann 1994

[CCCR+90]

Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236

[CCF82]

José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291

[CF84]

Marco A. Casanova, Antonio L. Furtado: On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982: 211-236

[CFI89]

Jin-yi Cai, Martin Fürer, Neil Immerman: An Optimal Lower Bound on the Number of Variables for Graph Identification. FOCS 1989: 612-617

[CFP84]

Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. J. Comput. Syst. Sci. 28(1): 29-59(1984)

[CGKV88]

Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi: Decidable Optimization Problems for Database Logic Programs (Preliminary Report). STOC 1988: 477-490

[CGP93]

Luca Corciulo, Fosca Giannotti, Dino Pedreschi: Datalog with Non-Deterministic Choice Computes NDB-PTIME. DOOD 1993: 49-66

[CGT90]

Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6

[CH80a]

Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. FOCS 1980: 333-347

[CH80b]

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

[CH82]

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

[CH85]

Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985)

[Cha81a]

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

[Cha81b]

Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260

[Cha88]

Ashok K. Chandra: Theory of Database Queries. PODS 1988: 1-9

[Cha94]

...

[Che76]

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

[CHM94]

I-Min A. Chen, Richard Hull, Dennis McLeod: Local Ambiguity and Derived Data Update. RIDE-ADS 1994: 77-86

[Cho92a]

Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564

[Cho92b]

Jan Chomicki: Real-Time Integrity Constraints. PODS 1992: 274-282

[Cho94]

...

[Chu41]

...

[CK73]

...

[CK85]

Stavros S. Cosmadakis, Paris C. Kanellakis: Equational Theories and Database Constraints. STOC 1985: 273-284

[CK86]

Stavros S. Cosmadakis, Paris C. Kanellakis: Functional and Inclusion Dependencies. Advances in Computing Research 3: 163-184(1986)

[CKRP73]

...

[CKS86]

Stavros S. Cosmadakis, Paris C. Kanellakis, Nicolas Spyratos: Partition Semantics for Relations. J. Comput. Syst. Sci. 33(2): 203-233(1986)

[CKV90]

Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi: Polynomial-Time Implication Problems for Unary Inclusion Dependencies. J. ACM 37(1): 15-46(1990)

[CL73]

...

[CL94]

Diego Calvanese, Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994: 243-254

[Cla78]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322

[CLM81]

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

[CM77]

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

[CM90]

Mariano P. Consens, Alberto O. Mendelzon: GraphLog: a Visual Formalism for Real Life Recursion. PODS 1990: 404-416

[CM93a]

Mariano P. Consens, Alberto O. Mendelzon: Hy+: A Hygraph-based Query and Visualization System. SIGMOD Conference 1993: 511-516

[CM93b]

Mariano P. Consens, Alberto O. Mendelzon: Low Complexity Aggregation in GraphLog and Datalog. ICDT 1990: 379-394

[Cod70]

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

[Cod71]

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

[Cod72a]

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

[Cod72b]

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)

[Cod74]

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

[Cod75]

...

[Cod79]

E. F. Codd: Extending the Data Base Relational Model to Capture More Meaning (Abstract). SIGMOD Conference 1979: 161

[Cod82]

E. F. Codd: Relational Database: A Practical Foundation for Productivity. Commun. ACM 25(2): 109-117(1982)

[Coh86]

...

[Coh89]

Donald Cohen: Compiling Complex Database Transition Triggers. SIGMOD Conference 1989: 225-234

[Coh90]

Jacques Cohen: Constraint Logic Programming Languages. Commun. ACM 33(7): 52-68(1990)

[Com88]

...

[Coo74]

Stephen A. Cook: An Observation on Time-Storage Trade Off. J. Comput. Syst. Sci. 9(3): 308-316(1974)

[Cos83]

Stavros S. Cosmadakis: The Complexity of Evaluating Relational Queries. PODS 1983: 149-155

[Cos87]

Stavros S. Cosmadakis: Database Theory and Cylindric Lattices (Extended Abstract). FOCS 1987: 411-420

[Cou90]

Bruno Courcelle: Recursive Applicative Program Schemes. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 459-492

[CP84]

Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. J. ACM 31(4): 742-760(1984)

[CRG+88]

Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555

[CT48]

...

[CT87]

Stefano Ceri, Letizia Tanca: Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries. VLDB 1987: 31-41

[CTF88]

Marco A. Casanova, Luiz Tucherman, Antonio L. Furtado: Enforcing Inclusion Dependencies and Referencial Integrity. VLDB 1988: 38-49

[CV81]

...

[CV83]

Marco A. Casanova, Vânia Maria Ponte Vidal: Towards a Sound View Integration Methodology. PODS 1983: 36-47

[CV85]

Ashok K. Chandra, Moshe Y. Vardi: The Implication Problem for Functional and Inclusion Dependencies is Undecidable. SIAM J. Comput. 14(3): 671-677(1985)

[CV92]

Surajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. PODS 1992: 55-66

[CV93]

Surajit Chaudhuri, Moshe Y. Vardi: Optimization of Real Conjunctive Queries. PODS 1993: 59-70

[CV94]

Surajit Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116

[CW85]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985)

[CW89a]

Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378

[CW89b]

Simona Rabinovici-Cohen, Ouri Wolfson: Why a Single Parallelization Strategy in not Enough in Knowledge Bases. PODS 1989: 200-216

[CW90]

Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577

[CW91]

Stefano Ceri, Jennifer Widom: Deriving Production Rules for Incremental View Maintenance. VLDB 1991: 577-589

[CW92]

Weidong Chen, David Scott Warren: A Goal-Oriented Approach to Computing Well Founded Semantics. JICSLP 1992: 589-603

[CW93]

Stefano Ceri, Jennifer Widom: Managing Semantic Heterogeneity with Production Rules and Persistent Queues. VLDB 1993: 108-119

[DA83]

...

[Dal87]

Elias Dahlhaus: Skolem Normal Forms Concerning the Least Fixpoint. Computation Theory and Logic 1987: 101-106

[Dat81]

C. J. Date: Referential Integrity. VLDB 1981: 2-12

[Dat86]

C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986

[Daw93]

...

[Day89]

Umeshwar Dayal: Queries and Views in an Object-Oriented Data Model. DBPL 1989: 80-102

[DB82]

Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982)

[DC72]

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)

[DD89]

Lois M. L. Delcambre, Karen C. Davis: Automatic Validation of Object-Oriented Database Structures. ICDE 1989: 2-9

[Dec86]

...

[Del78]

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

[Dem82]

Robert Demolombe: Syntactical Characterization of a Subset of Domain-Independent Formulas. J. ACM 39(1): 71-94(1992)

[DF92]

C. J. Date, Ronald Fagin: Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases. ACM Trans. Database Syst. 17(3): 465-476(1992)

[DG79]

...

[DHL91]

Umeshwar Dayal, Meichun Hsu, Rivka Ladin: A Transactional Model for Long-Running Activities. VLDB 1991: 113-122

[DiP69]

Robert A. Di Paola: The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas. J. ACM 16(2): 324-327(1969)

[DM86a]

Elias Dahlhaus, Johann A. Makowsky: Computable Directory Queries. CAAP 1986: 254-265

[DM86b]

Alessandro D'Atri, Marina Moscarini: Recognition Algorithms and Design Methodologies for Acyclic Database Schemes. Advances in Computing Research 3: 43-67(1986)

[DM92]

Elias Dahlhaus, Johann A. Makowsky: Query Languages for Hierarchic Databases. Inf. Comput. 101(1): 1-32(1992)

[DMP93]

Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps: Design and Implementation of the Glue-Nail Database System. SIGMOD Conference 1993: 147-156

[dMS88]

Christophe de Maindreville, Eric Simon: Modelling Non Deterministic Queries and Updates in Deductive Databases. VLDB 1988: 395-406

[Don92]

Guozhu Dong: Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations. PODS 1992: 81-90

[DP84]

Paul De Bra, Jan Paredaens: Horizontal Decompositions for Handling Exceptions to Functional Dependencies. Advances in Data Base Theory 1982: 123-141

[dR87]

...

[DS91]

Guozhu Dong, Jianwen Su: Object Behaviors and Scripts. DBPL 1991: 383-398

[DS92]

Guozhu Dong, Jianwen Su: Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries. Inf. Comput. 120(1): 101-106(1995)

[DS93]

Guozhu Dong, Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993: 295-308

[DST93]

Guozhu Dong, Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993: 295-308

[DT92]

Guozhu Dong, Rodney W. Topor: Incremental Evaluation of Datalog Queries. ICDT 1992: 282-296

[DV91]

Karl Denninghoff, Victor Vianu: The Power of Methods With Parallel Semantics. VLDB 1991: 221-232

[DV93]

Karl Denninghoff, Victor Vianu: Database Method Schemas and Object Creation. PODS 1993: 265-275

[DW85]

...

[DW87]

...

[DW94]

Umeshwar Dayal, Eric N. Hanson, Jennifer Widom: Active Database Systems. Modern Database Systems 1995: 434-456

[EFT84]

...

[EGM94]

Thomas Eiter, Georg Gottlob, Heikki Mannila: Adding Disjunction to Datalog. PODS 1994: 267-278

[EHJ93]

Martha Escobar-Molano, Richard Hull, Dean Jacobs: Safety and Translation of Calculus Queries with Scalar Functions. PODS 1993: 253-264

[Ehr61]

...

[Eme91]

E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072

[EN89]

Ramez Elmasri, Shamkant B. Navathe: Fundamentals of Database Systems. Benjamin/Cummings 1989

[End72]

...

[Esw76]

Kapali P. Eswaran: Aspects of a Trigger Subsystem in an Integrated Data Base System. ICSE 1976: 243-250

[ESW79]

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

[Fag72]

...

[Fag76]

...

[Fag77a]

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

[Fag77b]

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

[Fag79]

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

[Fag81]

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

[Fag82a]

Ronald Fagin, Moshe Y. Vardi: Armstrong Databases for Functional and Inclusion Dependencies. Inf. Process. Lett. 16(1): 13-19(1983)

[Fag82b]

Ronald Fagin: Horn clauses and database dependencies. J. ACM 29(4): 952-985(1982)

[Fag83]

Ronald Fagin: Degrees of Acyclicity for Hypergraphs and Relational Database Schemes. J. ACM 30(3): 514-550(1983)

[Fag93]

Ronald Fagin: Finite-Model Theory - A Personal Perspective. Theor. Comput. Sci. 116(1&2): 3-31(1993)

[FC85]

Antonio L. Furtado, Marco A. Casanova: Updating Relational Views. Query Processing in Database Systems 1985: 127-142

[FHMV94]

...

[Fit85]

Melvin Fitting: A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2(4): 295-312(1985)

[FJT83]

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

[FKUV86]

Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18(1986)

[FM92]

José Alberto Fernández, Jack Minker: Semantics of Disjunctive Deductive Databases. ICDT 1992: 21-50

[FMU82]

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)

[FNS91]

Christos Faloutsos, Raymond T. Ng, Timos K. Sellis: Predictive Load Control for Flexible Buffer Allocation. VLDB 1991: 265-274

[For81]

...

[For82]

Charles Forgy: Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem. Artif. Intell. 19(1): 17-37(1982)

[Fra54]

...

[Fre87]

Johann Christoph Freytag: A Rule-Based View of Query Optimization. SIGMOD Conference 1987: 173-180

[Fri71]

...

[FT83]

Patrick C. Fischer, Don-Min Tsou: Whether a Set of Multivalued Dependencies Implies a Join Dependency is NP-Hard. SIAM J. Comput. 12(2): 259-266(1983)

[FUMY83]

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

[FUV83]

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365

[FV86]

Ronald Fagin, Moshe Y. Vardi: The Theory of Data Dependencies - An Overview. ICALP 1984: 1-22

[Fv89]

...

[Gal87]

...

[Gar70]

...

[Gär88]

...

[GD87]

Goetz Graefe, David J. DeWitt: The EXODUS Optimizer Generator. SIGMOD Conference 1987: 160-172

[GD94]

Stella Gatziu, Klaus R. Dittrich: Detecting Composite Events in Active Database Systems Using Petri Nets. RIDE-ADS 1994: 2-9

[GdM86]

Georges Gardarin, Christophe de Maindreville: Evaluation of Database Recursive Logic Programs as Recurrent Function Series. SIGMOD Conference 1986: 177-186

[GG88]

Marc Gyssens, Dirk Van Gucht: The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra. SIGMOD Conference 1988: 225-232

[GH83]

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

[GH86]

Seymour Ginsburg, Richard Hull: Sort sets in the relational model. J. ACM 33(3): 465-488(1986)

[Gin66]

...

[Gin93]

Seymour Ginsburg: Object and Spreadsheet Histories. Temporal Databases 1993: 271-293

[GJ79]

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

[GJ82]

John Grant, Barry E. Jacobs: On the family of generalized dependency constraints. J. ACM 29(4): 986-997(1982)

[GJ91]

Narain H. Gehani, H. V. Jagadish: Ode as an Active Database: Constraints and Triggers. VLDB 1991: 327-336

[GHJ+93]

Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs, Jaime Castillo, Martha Escobar-Molano, Shih-Hui Lu, Junhui Luo, Chiu Tsang, Gang Zhou: On Implementing a Language for Specifying Active Database Execution Models. VLDB 1993: 441-454

[GHJ94]

Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs: Heraclitus: Elevating Deltas to be First-Class Citizens in a Database Programming Language. ACM Trans. Database Syst. 21(3): 370-426(1996)

[GJS92a]

Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Composite Event Specification in Active Databases: Model & Implementation. VLDB 1992: 327-338

[GJS92b]

...

[GJS92c]

Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Event Specification in an Active Object-Oriented Database. SIGMOD Conference 1992: 81-90

[GKLT69]

...

[GKM92]

Ashish Gupta, Dinesh Katiyar, Inderpal Singh Mumick: Counting solutions to the View Maintenance Problem. Workshop on Deductive Databases, JICSLP 1992: 185-194

[GL82]

Yuri Gurevich, Harry R. Lewis: The Inference Problem for Template Dependencies. PODS 1982: 221-229

[GL88]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080

[GM78]

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

[GMN84]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)

[GMR92]

Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz: Knowledgebase Transformations. PODS 1992: 246-260

[GMS93]

Ashish Gupta, Inderpal Singh Mumick, V. S. Subrahmanian: Maintaining Views Incrementally. SIGMOD Conference 1993: 157-166

[GMSV87]

Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. LICS 1987: 106-115

[GMSV93]

Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. J. ACM 40(3): 683-713(1993)

[GMV86]

Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi: Notions of dependency satisfaction. J. ACM 33(1): 105-129(1986)

[GO93]

Erich Grädel, Martin Otto: Inductive Definability with Counting on Finite Structures. CSL 1992: 231-247

[Goo70]

...

[Got87]

Georg Gottlob: Computing Covers for Embedded Functional Dependencies. PODS 1987: 58-69

[GPG90]

Marc Gyssens, Jan Paredaens, Dirk Van Gucht: A Graph-Oriented Object Database Model. PODS 1990: 417-424

[GPSZ91]

Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo: Non-Determinism in Deductive Databases. DOOD 1991: 129-146

[GR83]

Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983

[GR86]

Gösta Grahne, Kari-Jouko Räihä: Characterizations for Acyclic Database Schemes. Advances in Computing Research 3: 19-41(1986)

[Gra77]

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

[Gra79]

...

[Gra83]

Etienne Grandjean: Complexity of the First-Order Theory of Almost All Finite Structures. Information and Control 57(2/3): 180-204(1983)

[Gra84]

Gösta Grahne: Dependency Satisfaction in Databases with Incomplete Information. VLDB 1984: 37-45

[Gra91]

...

[Gra93]

Goetz Graefe: Query Evaluation Techniques for Large Databases. ACM Comput. Surv. 25(2): 73-170(1993)

[Gre75]

Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification. Lecture Notes in Computer Science Vol. 36 Springer 1975, ISBN 3-540-07415-5

[GS82]

Nathan Goodman, Oded Shmueli: Tree Queries: A Simple Class of Relational Queries. ACM Trans. Database Syst. 7(4): 653-677(1982)

[GS84]

Nathan Goodman, Oded Shmueli: The Tree Projection Theorem and Relational Query Processing. J. Comput. Syst. Sci. 28(1): 60-79(1984)

[GS86]

Yuri Gurevich, Saharon Shelah: Fixed-Point Extensions of First-Order Logic. FOCS 1985: 346-353

[GS87]

...

[GS94]

Stéphane Grumbach, Jianwen Su: Finitely Representable Databases. PODS 1994: 289-300

[GST90]

Sumit Ganguly, Abraham Silberschatz, Shalom Tsur: A Framework for the Parallel Processing of Datalog Queries. SIGMOD Conference 1990: 143-152

[GT83]

...

[Gun92]

Carl A. Gunter: The Mixed Powerdomain. Theor. Comput. Sci. 103(2): 311-334(1992)

[Gur]

...

[Gur66]

...

[Gur84]

...

[Gur88]

...

[GV84]

Marc H. Graham, Moshe Y. Vardi: On the Complexity and Axiomatizability of Consistent Database States. PODS 1984: 281-289

[GV91]

Stéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991: 315-327

[GV92]

Georges Gardarin, Patrick Valduriez: ESQL2: An Object-Oriented SQL with F-Logic Semantics. ICDE 1992: 320-327

[GW89]

Goetz Graefe, Karen Ward: Dynamic Query Evaluation Plans. SIGMOD Conference 1989: 358-366

[GW90]

...

[GZ82]

Seymour Ginsburg, Sami Mohammed Zaiddan: Properties of functional-dependency families. J. ACM 29(3): 678-698(1982)

[GZ88]

Georg Gottlob, Roberto Zicari: Closed World Databases Opened Through Null Values. VLDB 1988: 50-61

[Hab70]

...

[Hal93]

...

[Han89]

Eric N. Hanson: An Initial Report on The Design of Ariel: A DBMS With an Integrated Production Rule System. SIGMOD Record 18(3): 12-19(1989)

[Har78]

...

[Har80]

David Harel: On Folk Theorems. Commun. ACM 23(7): 379-389(1980)

[HCL+90]

Laura M. Haas, Walter Chang, Guy M. Lohman, John McPherson, Paul F. Wilms, George Lapis, Bruce G. Lindsay, Hamid Pirahesh, Michael J. Carey, Eugene J. Shekita: Starburst Mid-Flight: As the Dust Clears. IEEE Trans. Knowl. Data Eng. 2(1): 143-160(1990)

[HEL92]

Lauri Hella: Logical Hierarchies in PTIME. LICS 1992: 360-368

[Her92]

Christian Herrmann: On the Undecidability of Implications Between Embedded Multivalued Database Dependencies. Inf. Comput. 122(2): 221-235(1995)

[HH93]

Tirza Hirst, David Harel: Completeness Results for Recursive Data Bases. PODS 1993: 244-252

[HJ91a]

Richard Hull, Dean Jacobs: Language Constructs for Programming Active Databases. VLDB 1991: 455-467

[HJ91b]

Richard Hull, Dean Jacobs: On the Semantics of Rules in Database Programming Languages. East/West Database Workshop 1990: 59-85

[HK87]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987)

[HK89]

Scott E. Hudson, Roger King: Cactis: A Self-Adaptive, Concurrent Implementation of an Object-Oriented Database Management System. ACM Trans. Database Syst. 14(3): 291-321(1989)

[HKM93]

Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson: Database Query Languages Embedded in the Typed Lambda Calculus. LICS 1993: 332-343

[HKR93]

Gerd G. Hillebrand, Paris C. Kanellakis, Sridhar Ramaswamy: Functional Programming Formalisms for OODBMS Methods. NATO ASI OODBS 1993: 73-99

[HLM88]

Meichun Hsu, Rivka Ladin, Dennis R. McCarthy: An Execution Model for Active Data Base Management Systems. JCDKB 1988: 171-179

[HLY80]

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

[HM81]

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

[HMN84]

Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169

[HMT71]

...

[HN84]

Lawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85(1984)

[Hon82]

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

[HS89a]

Richard Hull, Jianwen Su: On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). SIGMOD Conference 1989: 147-158

[HS89b]

Richard Hull, Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989: 347-359

[HS91]

Richard Hull, Jianwen Su: Domain Independence and the Relational Calculus. Acta Inf. 31(6): 513-524(1994)

[HS93]

Richard Hull, Jianwen Su: Algebraic and Calculus Query Languages for Recursively Typed Complex Objects. J. Comput. Syst. Sci. 47(1): 121-156(1993)

[HTY89]

Richard Hull, Katsumi Tanaka, Masatoshi Yoshikawa: Behavior Analysis of Object-Oriented Databases: Method Structure, Execution Trees, and Reachability (Extended Abstract). FODO 1989: 372-388

[Hul83]

Richard Hull: Acyclic Join Dependency and Data Base Projections. J. Comput. Syst. Sci. 27(3): 331-349(1983)

[Hul84]

Richard Hull: Finitely Specifiable Implicational Dependency Families. J. ACM 31(2): 210-226(1984)

[Hul85]

Richard Hull: Non-Finite Specifiability of Projections of Functional Dependency Families. Theor. Comput. Sci. 39: 239-265(1985)

[Hul86]

Richard Hull: Relative Information Capacity of Simple Relational Database Schemata. SIAM J. Comput. 15(3): 856-886(1986)

[Hul87]

...

[Hul89]

Guy Hulin: Parallel Processing of Recursive Queries in Distributed Architectures. VLDB 1989: 87-96

[HW92]

...

[HY84]

Richard Hull, Chee-Keng Yap: The Format Model: A Theory of database Organization. J. ACM 31(3): 518-544(1984)

[HY90]

Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468

[HY92]

Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340

[IK90]

Yannis E. Ioannidis, Younkyung Cha Kang: Randomized Algorithms for Optimizing Large Join Queries. SIGMOD Conference 1990: 312-321

[IL84]

Tomasz Imielinski, Witold Lipski Jr.: The Relational Model of Data and Cylindric Algebras. J. Comput. Syst. Sci. 28(1): 80-102(1984)

[Imi84]

Tomasz Imielinski: On Algebraic Query Processing in Logical Databases. Advances in Data Base Theory 1982: 285-318

[Imm82]

Neil Immerman: Upper and Lower Bounds for First Order Expressibility. J. Comput. Syst. Sci. 25(1): 76-98(1982)

[Imm86]

Neil Immerman: Relational Queries Computable in Polynomial Time. Information and Control 68(1-3): 86-104(1986)

[Imm87a]

...

[Imm87b]

Neil Immerman: Languages that Capture Complexity Classes. SIAM J. Comput. 16(4): 760-778(1987)

[IN88]

Tomasz Imielinski, Shamim A. Naqvi: Explicit Control of Logic Programs Through Rule Algebra. PODS 1988: 103-116

[INSS92]

Yannis E. Ioannidis, Raymond T. Ng, Kyuseok Shim, Timos K. Sellis: Parametric Query Optimization. VLDB 1992: 103-114

[INV91a]

Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty: Incomplete Objects - A Data Model for Design and Planning Applications. SIGMOD Conference 1991: 288-297

[INV91b]

Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty: Querying Design and Planning Databases. DOOD 1991: 524-545

[Ioa85]

Yannis E. Ioannidis: A Time Bound on the Materialization of some Recursively Defined Views. VLDB 1985: 219-226

[Jac82]

Barry E. Jacobs: On Database Logic. J. ACM 29(2): 310-332(1982)

[JH91]

Dean Jacobs, Richard Hull: Database Programming with Delayed Updates. DBPL 1991: 416-428

[JK84a]

Matthias Jarke, Jürgen Koch: Query Optimization in Database Systems. ACM Comput. Surv. 16(2): 111-152(1984)

[JK84b]

David S. Johnson, Anthony C. Klug: Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies. J. Comput. Syst. Sci. 28(1): 167-189(1984)

[JL87]

Joxan Jaffar, Jean-Louis Lassez: Constraint Logic Programming. POPL 1987: 111-119

[Joh91]

David S. Johnson: A Catalog of Complexity Classes. Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) 1990: 67-161

[Joy76]

William H. Joyner Jr.: Resolution Strategies as Decision Procedures. J. ACM 23(3): 398-417(1976)

[JS82]

Gerhard Jaeschke, Hans-Jörg Schek: Remarks on the Algebra of Non First Normal Form Relations. PODS 1982: 124-138

[Kam81]

...

[Kan88]

Paris C. Kanellakis: Logic Programming and Parallel Complexity. Foundations of Deductive Databases and Logic Programming. 1988: 547-585

[Kan91]

Paris C. Kanellakis: Elements of Relational Database Theory. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 1073-1156

[KC86]

Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416

[KDM88]

Angelika M. Kotz, Klaus R. Dittrich, Jutta A. Mülle: Supporting Semantic Rules by a Generalized Event/Trigger Mechanism. EDBT 1988: 76-91

[Kel82]

Arthur M. Keller: Updates to Relational Databases Through Views Involving Joins. JCDKB 1982: 363-384

[Kel85]

Arthur M. Keller: Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins. PODS 1985: 154-163

[Kel86]

Arthur M. Keller: The Role of Semantics in Translating View Updates. IEEE Computer 19(1): 63-73(1986)

[Ken78]

...

[Ken79]

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

[Ken89]

...

[Ker88]

J. Rohmer, R. Lescoeur, Jean-Marc Kerisit: The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases. New Generation Comput. 4(3): 273-285(1986)

[KG94]

Paris C. Kanellakis, Dina Q. Goldin: Constraint Programming and Database Query Languages. TACS 1994: 96-120

[Kif88]

Michael Kifer: On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). JCDKB 1988: 405-415

[KKR90]

Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. PODS 1990: 299-313

[KKS92]

Michael Kifer, Won Kim, Yehoshua Sagiv: Querying Object-Oriented Databases. SIGMOD Conference 1992: 393-402

[KL86a]

...

[KL86b]

Michael Kifer, Eliezer L. Lozinskii: Filtering Data Flow in Deductive Databases. ICDT 1986: 186-202

[KL89]

Won Kim, Frederick H. Lochovsky (Eds.): Object-Oriented Concepts, Databases, and Applications. ACM Press and Addison-Wesley 1989, ISBN 0-201-14410-7
Contents

[Kle67]

...

[Klu80]

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

[Klu82]

Anthony C. Klug: Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions. J. ACM 29(3): 699-717(1982)

[Klu88]

Anthony C. Klug: On conjunctive queries containing inequalities. J. ACM 35(1): 146-160(1988)

[KLW93]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995)

[KM91a]

Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394

[KM91b]

Hirofumi Katsuno, Alberto O. Mendelzon: Propositional Knowledge Base Revision and Minimal Change. Artif. Intell. 52(3): 263-294(1992)

[KN88]

Ravi Krishnamurthy, Shamim A. Naqvi: Non-Deterministic Choice in Datalog. JCDKB 1988: 416-424

[Kni89]

Kevin Knight: Unification: A Multidisciplinary Survey. ACM Comput. Surv. 21(1): 93-124(1989)

[Kol83]

...

[Kol91]

Phokion G. Kolaitis: The Expressive Power of Stratified Programs. Inf. Comput. 90(1): 50-66(1991)

[Kon88]

Kurt Konolige: On the Relation Between Default and Autoepistemic Logic. Artif. Intell. 35(3): 343-382(1988)

[Kow74]

Robert A. Kowalski: Predicate Logic as Programming Language. IFIP Congress 1974: 569-574

[Kow75]

Robert A. Kowalski: A Proof Procedure Using Connection Graphs. J. ACM 22(4): 572-595(1975)

[Kow81]

Robert A. Kowalski: Logic as a Database Language. BNCOD 1984: 103-132

[KP81]

Shaye Koenig, Robert Paige: A Transformational Framework for the Automatic Control of Derived Data. VLDB 1981: 306-318

[KP82]

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

[KP86]

...

[KP88]

Phokion G. Kolaitis, Christos H. Papadimitriou: Why Not Negation by Fixpoint? PODS 1988: 231-239

[KRS88a]

Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz: An Axiomatic Approach to Deciding Query Safety in Deductive Databases. PODS 1988: 52-60

[KRS88b]

Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli: A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract). SIGMOD Conference 1988: 154-163

[KS91]

Abraham Silberschatz, Henry F. Korth: Database System Concepts, 2nd Edition. McGraw-Hill Book Company 1991

[KT88]

David B. Kemp, Rodney W. Topor: Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. ICLP/SLP 1988: 178-194

[KU84]

Arthur M. Keller, Jeffrey D. Ullman: On Complementary and Independent Mappings on Databases. SIGMOD Conference 1984: 143-148

[Küc91]

Volker Küchenhoff: On the Efficient Computation of the Difference Between Concecutive Database States. DOOD 1991: 478-502

[Kuh67]

...

[Kun87]

Kenneth Kunen: Negation in Logic Programming. J. Log. Program. 4(4): 289-308(1987)

[Kun88]

Kenneth Kunen: Some Remarks on the Completed Database. ICLP/SLP 1988: 978-992

[Kup87]

Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20

[Kup88]

Gabriel M. Kuper: On the Expressive Power of Logic Programming Languages with Sets. PODS 1988: 10-14

[Kup93]

Gabriel M. Kuper: Aggregation in Constraint Databases. PPCP 1993: 166-173

[KV84]

Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96

[KV87]

Phokion G. Kolaitis, Moshe Y. Vardi: The Decision Problem for the Probabilities of Higher-Order Properties. STOC 1987: 425-435

[KV90a]

Dino Karabeg, Victor Vianu: Parallel Update Transactions. Theor. Comput. Sci. 76(1): 93-114(1990)

[KV90b]

Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic. Inf. Comput. 87(1/2): 301-337(1990)

[KV90c]

Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990: 61-71

[KV91]

Dino Karabeg, Victor Vianu: Simplification Rules and Complete Axiomatization for Relational Update Transactions. ACM Trans. Database Syst. 16(3): 439-475(1991)

[KV92]

Phokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logics and 0-1 Laws. Inf. Comput. 98(2): 258-294(1992)

[KV93a]

Gabriel M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model. Theor. Comput. Sci. 116(1&2): 33-57(1993)

[KV93b]

Gabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413(1993)

[KW85]

Arthur M. Keller, Marianne Winslett: On the Use of an Extended Relational Model to Handle Changing Incomplete Information. IEEE Trans. Software Eng. 11(7): 620-633(1985)

[KW89]

Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393

[Lan88]

Bernard Lang: Datalog Automata. JCDKB 1988: 389-404

[Lee91]

Jan van Leeuwen (Ed.): Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity. Elsevier and MIT Press 1990, ISBN 0-444-88071-2,0-262-22038-5
Contents

[Lei69]

...

[Lei89a]

Daniel Leivant: Descriptive Characterizations of Computational Complexity. J. Comput. Syst. Sci. 39(1): 51-83(1989)

[Lei89b]

...

[Lei90]

Daniel Leivant: Inductive Definitions Over Finite Structures. Inf. Comput. 89(2): 95-108(1990)

[Lel87]

...

[Lev84a]

Hector J. Levesque: The Logic of Incomplete Knowledge Bases. On Conceptual Modelling (Intervale) 1982: 165-189

[Lev84b]

Hector J. Levesque: Foundations of a Functional Approach to Knowledge Representation. Artif. Intell. 23(2): 155-212(1984)

[Lib91]

Leonid Libkin: A Relational Algebra for Complex Objects Based on Partial Information. MFDBS 1991: 29-43

[Lie80]

Y. Edmund Lien: On the Semantics of the Entity-Relationship Data Model. ER 1979: 155-168

[Lie82]

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

[Lif88]

Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. 1988: 177-192

[Lin90]

...

[Lin91]

Steven Lindell: An Analysis of Fixed-Point Queries on Binary Trees. Theor. Comput. Sci. 85(1): 75-95(1991)

[Lip79]

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

[Lip81]

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

[LL86]

Nadine Lerat, Witold Lipski Jr.: Nonapplicable Nulls. Theor. Comput. Sci. 46(3): 67-82(1986)

[LL90]

Mark Levene, George Loizou: The Nested Relation Type Model: An Application of Domain Theory to Databases. Comput. J. 33(1): 19-30(1990)

[Llo87]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7

[LM89]

V. S. Lakshmanan, Alberto O. Mendelzon: Inductive Pebble Games and the Expressive Power of Datalog. PODS 1989: 301-310

[LM93]

Daniel Leivant, Jean-Yves Marion: Lambda calculus characterizations of poly-time. TLCA 1993: 274-288

[LMG83]

Kent Laver, Alberto O. Mendelzon, Marc H. Graham: Functional Dependencies on Cyclic Database Schemes. SIGMOD Conference 1983: 79-91

[LN90]

Richard J. Lipton, Jeffrey F. Naughton: Query Size Estimation by Adaptive Sampling. PODS 1990: 40-46

[LO78]

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

[Loh88]

Guy M. Lohman: Grammar-like Functional Rules for Representing Query Optimization Alternatives. SIGMOD Conference 1988: 18-27

[Low15]

...

[Loz85]

Eliezer L. Lozinskii: Evaluating Queries in Deductive Databases by Generating. IJCAI 1985: 173-177

[Lp81]

Harry R. Lewis, Christos H. Papadimitriou: Elements of the Theory of Computation. Prentice-Hall 1981, ISBN 0-13-273417-6

[LMR92]

...

[LRV88]

Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433

[LS87]

Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987)

[LST87]

John W. Lloyd, Liz Sonenberg, Rodney W. Topor: Integrity Constraint Checking in Stratified Databases. J. Log. Program. 4(4): 331-343(1987)

[LTK81]

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)

[LV87]

Peter Lyngbæk, Victor Vianu: Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference 1987: 132-142

[LV89]

Alexandre Lefebvre, Laurent Vieille: On Deductive Query Evaluation in the DedGin* System. DOOD 1989: 123-144

[LW93a]

Leonid Libkin, Limsoon Wong: Semantic Representations and Query Languages for Or-sets. PODS 1993: 37-48

[LW93b]

Leonid Libkin, Limsoon Wong: Some Properties of Query Languages for Bags. DBPL 1993: 97-114

[Mai80]

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

[Mai83]

David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents

[Mai86]

...

[Mak77]

Akifumi Makinouchi: A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model. VLDB 1977: 447-453

[Mak81]

Johann A. Makowsky: Characterizing Data Base Dependencies. ICALP 1981: 86-97

[Mak85]

...

[Mal86]

Francesco M. Malvestuto: Modelling Large Bases of Categorial Data With Acyclic Schemes. ICDT 1986: 323-340

[MB92]

Robert M. MacGregor, David Brill: Recognition Algorithms for the Loom Classifier. AAAI 1992: 774-779

[MBW80]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980)

[MD89]

Dennis R. McCarthy, Umeshwar Dayal: The Architecture Of An Active Data Base Management System. SIGMOD Conference 1989: 215-224