ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Foundations of Databases

Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0 BibTeX 
@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

This database theory book provides a focused presentation of the core material on relational databases, and presents a number of advanced topics in a unified framework. Some of the advanced material has never before been presented in book form. The style is rigorous, with detailed proofs and many exercises. The text and numerous examples highlight the intuition underlying the development. As a textbook, the book is aimed at graduate students and seniors who would use it as the main text in a database theory course, or as complementary material in a database systems course. It can also serve as a reference for database researchers and for other computer scientists interested in databases.

Home Page of this Book

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

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) BibTeX
[AA93]
Paolo Atzeni, Valeria De Antonellis: Relational Database Theory. Benjamin/Cummings 1993, ISBN 0-8053-0249-2
BibTeX
[AABM82]
Paolo Atzeni, Giorgio Ausiello, Carlo Batini, Marina Moscarini: Inclusion and Equivalence between Relational Database Schemata. Theor. Comput. Sci. 19: 267-285(1982) BibTeX
[AB86]
Serge Abiteboul, Nicole Bidoit: Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. Comput. Syst. Sci. 33(3): 361-393(1986) BibTeX
[AB87a]
Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) BibTeX
[AB87b]
Paolo Atzeni, Maria Cristina De Bernardis: A New Basis for the Weak Instance Model. PODS 1987: 79-86 BibTeX
[AB88]
Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995) BibTeX
[AB91]
Serge Abiteboul, Anthony J. Bonner: Objects and Views. SIGMOD Conference 1991: 238-247 BibTeX
[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 BibTeX
[ABGO93]
Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini: An Object Data Model with Roles. VLDB 1993: 39-51 BibTeX
[Abi83]
...
[Abi88]
Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 BibTeX
[Abi89]
Serge Abiteboul: Boundedness is Undecidable for Datalog Programs with a Single Recursive Rule. Inf. Process. Lett. 32(6): 281-287(1989) BibTeX
[Abr74]
Jean-Raymond Abrial: Data Semantics. IFIP Working Conference Data Base Management 1974: 1-60 BibTeX
[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) BibTeX
[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 BibTeX
[AC78]
Adarsh K. Arora, C. Robert Carlson: The Information Preserving Properties of Relational Database Transformations. VLDB 1978: 352-359 BibTeX
[AC89]
Foto N. Afrati, Stavros S. Cosmadakis: Expressiveness of Restricted Recursive Queries (Extended Abstract). STOC 1989: 113-126 BibTeX
[ACO85]
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
[ACY91]
Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis: On Datalog vs. Polynomial Time. PODS 1991: 13-25 BibTeX
[ADM85]
Giorgio Ausiello, Alessandro D'Atri, Marina Moscarini: Chordality Properties on Graphs and Minimal Conceptual Connections in Semantic Data Models. PODS 1985: 164-170 BibTeX
[AG85]
Serge Abiteboul, Gösta Grahne: Update Semantics for Incomplete Databases. VLDB 1985: 1-12 BibTeX
[AG87]
Miklós Ajtai, Yuri Gurevich: Monotone versus positive. J. ACM 34(4): 1004-1015(1987) BibTeX
[AG89]
Miklós Ajtai, Yuri Gurevich: Datalog vs. First-Order Logic. FOCS 1989: 142-147 BibTeX
[AG91]
Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30(1991) BibTeX
[AGM85]
...
[AGSS86]
...
[AH87]
Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX
[AH88]
Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153 BibTeX
[AH91]
...
[AK89]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX
[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) BibTeX
[AKRW92]
Serge Abiteboul, Paris C. Kanellakis, Sridhar Ramaswamy, Emmanuel Waller: Method Schemas. J. Comput. Syst. Sci. 51(3): 433-455(1995) BibTeX
[ALUW93]
Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41 BibTeX
[AP82]
Paolo Atzeni, Douglas Stott Parker Jr.: Assumptions in Relational Database Theory. PODS 1982: 1-9 BibTeX
[AP87a]
Foto N. Afrati, Christos H. Papadimitriou: The Parallel Complexity of Simple Chain Queries. PODS 1987: 210-213 BibTeX
[AP87b]
Krzysztof R. Apt, Jean-Marc Pugin: Maintenance of Stratified Databases Viewed as a Belief Revision System. PODS 1987: 136-145 BibTeX
[AP92]
Marc Andries, Jan Paredaens: A Language for Generic Graph-Transformations. WG 1991: 63-74 BibTeX
[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 BibTeX
[Apt91]
Krzysztof R. Apt: Logic Programming. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 493-574 BibTeX
[Arm74]
William Ward Armstrong: Dependency Structures of Data Base Relationships. IFIP Congress 1974: 580-583 BibTeX
[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) BibTeX
[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) BibTeX
[ASU79b]
Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalences Among Relational Expressions. SIAM J. Comput. 8(2): 218-246(1979) BibTeX
[ASV90]
Serge Abiteboul, Eric Simon, Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990: 218-229 BibTeX
[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) BibTeX
[AU79]
Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX
[AV87]
Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268 BibTeX
[AV88a]
Serge Abiteboul, Victor Vianu: The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB 1988: 324-334 BibTeX
[AV88b]
Serge Abiteboul, Victor Vianu: Equivalence and optimization of relational transactions. J. ACM 35(1): 70-120(1988) BibTeX
[AV88c]
Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250 BibTeX
[AV89]
Serge Abiteboul, Victor Vianu: A transaction-based approach to relational database specification. J. ACM 36(4): 758-789(1989) BibTeX
[AV90]
Serge Abiteboul, Victor Vianu: Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41(2): 181-229(1990) BibTeX
[AV91a]
Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) BibTeX
[AV91b]
Serge Abiteboul, Victor Vianu: Generic Computation and Its Complexity. STOC 1991: 209-219 BibTeX
[AV91c]
Serge Abiteboul, Victor Vianu: Non-Determinism in Logic-Based Languages. Ann. Math. Artif. Intell. 3(2-4): 151-186(1991) BibTeX
[AV94]
Serge Abiteboul, Victor Vianu: Computing with First-Order Logic. J. Comput. Syst. Sci. 50(2): 309-335(1995) BibTeX
[AvE82]
Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) BibTeX
[AVV92]
Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992: 156-168 BibTeX
[AW88]
Krzysztof R. Apt, Howard A. Blair: Arithmetic Classification of Perfect Models of Stratified Programs. ICLP/SLP 1988: 765-779 BibTeX
[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 BibTeX
[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) BibTeX
[Ban78]
François Bancilhon: On the Completeness of Query Languages for Relational Data Bases. MFCS 1978: 112-123 BibTeX
[Ban85]
...
[Ban86]
François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178 BibTeX
[Bar63]
Hendrik Pieter Barendregt: Functional Programming and Lambda Calculus. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 321-363 BibTeX
[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) BibTeX
[BB91]
Jean Berstel, Luc Boasson: Context-Free Languages. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 59-102 BibTeX
[BB92]
Domenico Beneventano, Sonia Bergamaschi: Subsumption for Complex Object Data Models. ICDT 1992: 357-375 BibTeX
[BBC80]
Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136 BibTeX
[BBG78]
Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Sophisticate's Introduction to Database Normalization Theory. VLDB 1978: 113-124 BibTeX
[BBMR89]
Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX
[BC79]
Peter Buneman, Eric K. Clemons: Efficient Monitoring Relational Databases. ACM Trans. Database Syst. 4(3): 368-382(1979) BibTeX
[BC81]
Philip A. Bernstein, Dah-Ming W. Chiu: Using Semi-Joins to Solve Relational Queries. J. ACM 28(1): 25-40(1981) BibTeX
[BCD89]
François Bancilhon, Sophie Cluet, Claude Delobel: A Query Language for the O2 Object-Oriented Database System. DBPL 1989: 122-138 BibTeX
[BCW93]
Marianne Baudinet, Jan Chomicki, Pierre Wolper: Temporal Deductive Databases. Temporal Databases 1993: 294-320 BibTeX
[BDB79]
Joachim Biskup, Umeshwar Dayal, Philip A. Bernstein: Synthesizing Independent Database Schemas. SIGMOD Conference 1979: 143-151 BibTeX
[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) BibTeX
[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 BibTeX
[BDM88]
François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 BibTeX
[BDW88]
Peter Buneman, Susan B. Davidson, Aaron Watters: A Semantics for Complex Objects and Approximate Queries. PODS 1988: 305-314 BibTeX
[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) BibTeX
[Bee80]
Catriel Beeri: On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. ACM Trans. Database Syst. 5(3): 241-259(1980) BibTeX
[Bee90]
Catriel Beeri: A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5: 353-382(1990) BibTeX
[Ber76a]
...
[Ber76b]
Philip A. Bernstein: Synthesizing Third Normal Form Relations from Functional Dependencies. ACM Trans. Database Syst. 1(4): 277-298(1976) BibTeX
[BF87]
Nicole Bidoit, Christine Froidevaux: Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming. LICS 1987: 89-97 BibTeX
[BF88]
Nicole Bidoit, Christine Froidevaux: General Logical Databases and Programs: Default Logic Semantics and Stratification. Inf. Comput. 91(1): 15-54(1991) BibTeX
[BFH77]
Catriel Beeri, Ronald Fagin, John H. Howard: A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. SIGMOD Conference 1977: 47-61 BibTeX
[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 BibTeX
[BFMY83]
Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis: On the Desirability of Acyclic Database Schemes. J. ACM 30(3): 479-513(1983) BibTeX
[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) BibTeX
[BG81]
Philip A. Bernstein, Nathan Goodman: Power of Natural Semijoins. SIAM J. Comput. 10(4): 751-771(1981) BibTeX
[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) BibTeX
[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 BibTeX
[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) BibTeX
[BHG87]
Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX
[Bid91a]
...
[Bid91b]
Nicole Bidoit: Negation in Rule-Based Database Languages: A Survey. Theor. Comput. Sci. 78(1): 3-83(1991) BibTeX
[Bis80]
Joachim Biskup: Inferences of Multivalued Dependencies in Fixed and Undetermined Universes. Theor. Comput. Sci. 10: 93-105(1980) BibTeX
[Bis81]
Joachim Biskup: A Formal Approach to Null Values in Database Relations. Advances in Data Base Theory 1979: 299-341 BibTeX
[Bis83]
Joachim Biskup: A Foundation of Codd's Relational Maybe-Operations. ACM Trans. Database Syst. 8(4): 608-636(1983) BibTeX
[BJO91]
Peter Buneman, Achim Jung, Atsushi Ohori: Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. 91(1): 23-55(1991) BibTeX
[BK86]
Catriel Beeri, Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158(1986) BibTeX
[BKBR87]
Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan: Bounds on the Propagation of Selection into Logic Programs. PODS 1987: 214-226 BibTeX
[BL90]
Nicole Bidoit, P. Legay: WELL!: An Evaluation Procedure for All Logic Programs. ICDT 1990: 335-348 BibTeX
[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) BibTeX
[BLT86]
José A. Blakeley, Per-Åke Larson, Frank Wm. Tompa: Efficiently Updating Materialized Views. SIGMOD Conference 1986: 61-71 BibTeX
[BM91]
Catriel Beeri, Tova Milo: A Model for Active Object Oriented Databases. VLDB 1991: 337-349 BibTeX
[BMG93]
José A. Blakeley, William J. McKenna, Goetz Graefe: Experiences Building the Open OODB Query Optimizer. SIGMOD Conference 1993: 287-296 BibTeX
[BMSU81]
Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalence of Relational Database Schemes. SIAM J. Comput. 10(2): 352-370(1981) BibTeX
[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 BibTeX
[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 BibTeX
[Bor85]
Alexander Borgida: Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software 2(1): 63-72(1985) BibTeX
[BP83]
Paul De Bra, Jan Paredaens: Conditional Dependencies for Horizontal Decompositions. ICALP 1983: 67-82 BibTeX
[BPR87]
Isaac Balbin, Krishnamurthy Meenakshi, Kotagiri Ramamohanarao: A Query Independent Method for Magic Set Computation on Stratified Databases. FGCS 1988: 711-718 BibTeX
[BR80]
...
[BR87a]
Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 BibTeX
[BR87b]
Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987) BibTeX
[BR88a]
François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 BibTeX
[BR88b]
François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 439-517 BibTeX
[BR91]
Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. J. Log. Program. 10(1/2/3&4): 255-299(1991) BibTeX
[BRS82]
François Bancilhon, Philippe Richard, Michel Scholl: On Line Processing of Compacted Relations. VLDB 1982: 263-269 BibTeX
[BRSS92]
Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: The Valid Model Semantics for Logic Programs. PODS 1992: 91-104 BibTeX
[Bry89]
François Bry: Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. DOOD 1989: 25-44 BibTeX
[BS81]
François Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575(1981) BibTeX
[BS85]
Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) BibTeX
[BS93]
Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992) BibTeX
[BST75]
Philip A. Bernstein, J. Richard Swenson, Dennis Tsichritzis: A Unified Approach to Functional Dependencies and Relations. SIGMOD Conference 1975: 237-245 BibTeX
[BTBN92]
Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19 BibTeX
[BTBW92]
Val Tannen, Peter Buneman, Limsoon Wong: Naturally Embedded Query Languages. ICDT 1992: 140-154 BibTeX
[BV80a]
...
[BV80b]
Catriel Beeri, Moshe Y. Vardi: A Proof Procedure for Data Dependencies. J. ACM 31(4): 718-741(1984) BibTeX
[BV81a]
Catriel Beeri, Moshe Y. Vardi: The Implication Problem for Data Dependencies. ICALP 1981: 73-85 BibTeX
[BV81b]
Catriel Beeri, Moshe Y. Vardi: On the Properties of Join Dependencies. Advances in Data Base Theory 1979: 25-71 BibTeX
[BV84a]
Catriel Beeri, Moshe Y. Vardi: Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13(1): 76-98(1984) BibTeX
[BV84b]
Catriel Beeri, Moshe Y. Vardi: On Acyclic Database Decompositions. Information and Control 61(2): 75-84(1984) BibTeX
[BV84c]
Catriel Beeri, Moshe Y. Vardi: A Proof Procedure for Data Dependencies. J. ACM 31(4): 718-741(1984) BibTeX
[BV85]
Catriel Beeri, Moshe Y. Vardi: Formal Systems for Join Dependencies. Theor. Comput. Sci. 38: 99-116(1985) BibTeX
[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) BibTeX
[Cam92]
...
[Car88]
Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988) BibTeX
[Cat94]
R. G. G. Cattell: The Object Database Standard: ODMG-93 (Release 1.1). Morgan Kaufmann 1994
BibTeX
[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 BibTeX
[CCF82]
José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX
[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 BibTeX
[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 BibTeX
[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) BibTeX
[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 BibTeX
[CGP93]
Luca Corciulo, Fosca Giannotti, Dino Pedreschi: Datalog with Non-Deterministic Choice Computes NDB-PTIME. DOOD 1993: 49-66 BibTeX
[CGT90]
Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX
[CH80a]
Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. FOCS 1980: 333-347 BibTeX
[CH80b]
Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX
[CH82]
Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128(1982) BibTeX
[CH85]
Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985) BibTeX
[Cha81a]
Ashok K. Chandra: Programming Primitives for Database Languages. POPL 1981: 50-62 BibTeX
[Cha81b]
Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260 BibTeX
[Cha88]
Ashok K. Chandra: Theory of Database Queries. PODS 1988: 1-9 BibTeX
[Cha94]
...
[Che76]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
[CHM94]
I-Min A. Chen, Richard Hull, Dennis McLeod: Local Ambiguity and Derived Data Update. RIDE-ADS 1994: 77-86 BibTeX
[Cho92a]
Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564 BibTeX
[Cho92b]
Jan Chomicki: Real-Time Integrity Constraints. PODS 1992: 274-282 BibTeX
[Cho94]
...
[Chu41]
...
[CK73]
...
[CK85]
Stavros S. Cosmadakis, Paris C. Kanellakis: Equational Theories and Database Constraints. STOC 1985: 273-284 BibTeX
[CK86]
Stavros S. Cosmadakis, Paris C. Kanellakis: Functional and Inclusion Dependencies. Advances in Computing Research 3: 163-184(1986) BibTeX
[CKRP73]
...
[CKS86]
Stavros S. Cosmadakis, Paris C. Kanellakis, Nicolas Spyratos: Partition Semantics for Relations. J. Comput. Syst. Sci. 33(2): 203-233(1986) BibTeX
[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) BibTeX
[CL73]
...
[CL94]
Diego Calvanese, Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994: 243-254 BibTeX
[Cla78]
Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX
[CLM81]
Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky: Embedded Implicational Dependencies and their Inference Problem. STOC 1981: 342-354 BibTeX
[CM77]
Ashok K. Chandra, Philip M. Merlin: Optimal Implementation of Conjunctive Queries in Relational Data Bases. STOC 1977: 77-90 BibTeX
[CM90]
Mariano P. Consens, Alberto O. Mendelzon: GraphLog: a Visual Formalism for Real Life Recursion. PODS 1990: 404-416 BibTeX
[CM93a]
Mariano P. Consens, Alberto O. Mendelzon: Hy+: A Hygraph-based Query and Visualization System. SIGMOD Conference 1993: 511-516 BibTeX
[CM93b]
Mariano P. Consens, Alberto O. Mendelzon: Low Complexity Aggregation in GraphLog and Datalog. ICDT 1990: 379-394 BibTeX
[Cod70]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX
[Cod71]
E. F. Codd: Normalized Data Structure: A Brief Tutorial. SIGFIDET Workshop 1971: 1-17 BibTeX
[Cod72a]
E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971) BibTeX
[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) BibTeX
[Cod74]
E. F. Codd: Recent Investigations in Relational Data Base Systems. IFIP Congress 1974: 1017-1021 BibTeX
[Cod75]
...
[Cod79]
E. F. Codd: Extending the Data Base Relational Model to Capture More Meaning (Abstract). SIGMOD Conference 1979: 161 BibTeX
[Cod82]
E. F. Codd: Relational Database: A Practical Foundation for Productivity. Commun. ACM 25(2): 109-117(1982) BibTeX
[Coh86]
...
[Coh89]
Donald Cohen: Compiling Complex Database Transition Triggers. SIGMOD Conference 1989: 225-234 BibTeX
[Coh90]
Jacques Cohen: Constraint Logic Programming Languages. Commun. ACM 33(7): 52-68(1990) BibTeX
[Com88]
...
[Coo74]
Stephen A. Cook: An Observation on Time-Storage Trade Off. J. Comput. Syst. Sci. 9(3): 308-316(1974) BibTeX
[Cos83]
Stavros S. Cosmadakis: The Complexity of Evaluating Relational Queries. PODS 1983: 149-155 BibTeX
[Cos87]
Stavros S. Cosmadakis: Database Theory and Cylindric Lattices (Extended Abstract). FOCS 1987: 411-420 BibTeX
[Cou90]
Bruno Courcelle: Recursive Applicative Program Schemes. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 459-492 BibTeX
[CP84]
Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. J. ACM 31(4): 742-760(1984) BibTeX
[CRG+88]
Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555 BibTeX
[CT48]
...
[CT87]
Stefano Ceri, Letizia Tanca: Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries. VLDB 1987: 31-41 BibTeX
[CTF88]
Marco A. Casanova, Luiz Tucherman, Antonio L. Furtado: Enforcing Inclusion Dependencies and Referencial Integrity. VLDB 1988: 38-49 BibTeX
[CV81]
...
[CV83]
Marco A. Casanova, Vânia Maria Ponte Vidal: Towards a Sound View Integration Methodology. PODS 1983: 36-47 BibTeX
[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) BibTeX
[CV92]
Surajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. PODS 1992: 55-66 BibTeX
[CV93]
Surajit Chaudhuri, Moshe Y. Vardi: Optimization of Real Conjunctive Queries. PODS 1993: 59-70 BibTeX
[CV94]
Surajit Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116 BibTeX
[CW85]
Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
[CW89a]
Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 BibTeX
[CW89b]
Simona Rabinovici-Cohen, Ouri Wolfson: Why a Single Parallelization Strategy in not Enough in Knowledge Bases. PODS 1989: 200-216 BibTeX
[CW90]
Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 BibTeX
[CW91]
Stefano Ceri, Jennifer Widom: Deriving Production Rules for Incremental View Maintenance. VLDB 1991: 577-589 BibTeX
[CW92]
Weidong Chen, David Scott Warren: A Goal-Oriented Approach to Computing Well Founded Semantics. JICSLP 1992: 589-603 BibTeX
[CW93]
Stefano Ceri, Jennifer Widom: Managing Semantic Heterogeneity with Production Rules and Persistent Queues. VLDB 1993: 108-119 BibTeX
[DA83]
...
[Dal87]
Elias Dahlhaus: Skolem Normal Forms Concerning the Least Fixpoint. Computation Theory and Logic 1987: 101-106 BibTeX
[Dat81]
C. J. Date: Referential Integrity. VLDB 1981: 2-12 BibTeX
[Dat86]
C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986
BibTeX
[Daw93]
...
[Day89]
Umeshwar Dayal: Queries and Views in an Object-Oriented Data Model. DBPL 1989: 80-102 BibTeX
[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) BibTeX
[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) BibTeX
[DD89]
Lois M. L. Delcambre, Karen C. Davis: Automatic Validation of Object-Oriented Database Structures. ICDE 1989: 2-9 BibTeX
[Dec86]
...
[Del78]
Claude Delobel: Normalization and Hierarchical Dependencies in the Relational Data Model. ACM Trans. Database Syst. 3(3): 201-222(1978) BibTeX
[Dem82]
Robert Demolombe: Syntactical Characterization of a Subset of Domain-Independent Formulas. J. ACM 39(1): 71-94(1992) BibTeX
[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) BibTeX
[DG79]
...
[DHL91]
Umeshwar Dayal, Meichun Hsu, Rivka Ladin: A Transactional Model for Long-Running Activities. VLDB 1991: 113-122 BibTeX
[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) BibTeX
[DM86a]
Elias Dahlhaus, Johann A. Makowsky: Computable Directory Queries. CAAP 1986: 254-265 BibTeX
[DM86b]
Alessandro D'Atri, Marina Moscarini: Recognition Algorithms and Design Methodologies for Acyclic Database Schemes. Advances in Computing Research 3: 43-67(1986) BibTeX
[DM92]
Elias Dahlhaus, Johann A. Makowsky: Query Languages for Hierarchic Databases. Inf. Comput. 101(1): 1-32(1992) BibTeX
[DMP93]
Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps: Design and Implementation of the Glue-Nail Database System. SIGMOD Conference 1993: 147-156 BibTeX
[dMS88]
Christophe de Maindreville, Eric Simon: Modelling Non Deterministic Queries and Updates in Deductive Databases. VLDB 1988: 395-406 BibTeX
[Don92]
Guozhu Dong: Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations. PODS 1992: 81-90 BibTeX
[DP84]
Paul De Bra, Jan Paredaens: Horizontal Decompositions for Handling Exceptions to Functional Dependencies. Advances in Data Base Theory 1982: 123-141 BibTeX
[dR87]
...
[DS91]
Guozhu Dong, Jianwen Su: Object Behaviors and Scripts. DBPL 1991: 383-398 BibTeX
[DS92]
Guozhu Dong, Jianwen Su: Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries. Inf. Comput. 120(1): 101-106(1995) BibTeX
[DS93]
Guozhu Dong, Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993: 295-308 BibTeX
[DST93]
Guozhu Dong, Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993: 295-308 BibTeX
[DT92]
Guozhu Dong, Rodney W. Topor: Incremental Evaluation of Datalog Queries. ICDT 1992: 282-296 BibTeX
[DV91]
Karl Denninghoff, Victor Vianu: The Power of Methods With Parallel Semantics. VLDB 1991: 221-232 BibTeX
[DV93]
Karl Denninghoff, Victor Vianu: Database Method Schemas and Object Creation. PODS 1993: 265-275 BibTeX
[DW85]
...
[DW87]
...
[DW94]
Umeshwar Dayal, Eric N. Hanson, Jennifer Widom: Active Database Systems. Modern Database Systems 1995: 434-456 BibTeX
[EFT84]
...
[EGM94]
Thomas Eiter, Georg Gottlob, Heikki Mannila: Adding Disjunction to Datalog. PODS 1994: 267-278 BibTeX
[EHJ93]
Martha Escobar-Molano, Richard Hull, Dean Jacobs: Safety and Translation of Calculus Queries with Scalar Functions. PODS 1993: 253-264 BibTeX
[Ehr61]
...
[Eme91]
E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072 BibTeX
[EN89]
Ramez Elmasri, Shamkant B. Navathe: Fundamentals of Database Systems. Benjamin/Cummings 1989
BibTeX
[End72]
...
[Esw76]
Kapali P. Eswaran: Aspects of a Trigger Subsystem in an Integrated Data Base System. ICSE 1976: 243-250 BibTeX
[ESW79]
Robert S. Epstein, Michael Stonebraker, Eugene Wong: Distributed Query Processing in a Relational Data Base System. SIGMOD Conference 1978: 169-180 BibTeX
[Fag72]
...
[Fag76]
...
[Fag77a]
Ronald Fagin: The Decomposition Versus Synthetic Approach to Relational Database Design. VLDB 1977: 441-446 BibTeX
[Fag77b]
Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977) BibTeX
[Fag79]
Ronald Fagin: Normal Forms and Relational Database Operators. SIGMOD Conference 1979: 153-160 BibTeX
[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) BibTeX
[Fag82a]
Ronald Fagin, Moshe Y. Vardi: Armstrong Databases for Functional and Inclusion Dependencies. Inf. Process. Lett. 16(1): 13-19(1983) BibTeX
[Fag82b]
Ronald Fagin: Horn clauses and database dependencies. J. ACM 29(4): 952-985(1982) BibTeX
[Fag83]
Ronald Fagin: Degrees of Acyclicity for Hypergraphs and Relational Database Schemes. J. ACM 30(3): 514-550(1983) BibTeX
[Fag93]
Ronald Fagin: Finite-Model Theory - A Personal Perspective. Theor. Comput. Sci. 116(1&2): 3-31(1993) BibTeX
[FC85]
Antonio L. Furtado, Marco A. Casanova: Updating Relational Views. Query Processing in Database Systems 1985: 127-142 BibTeX
[FHMV94]
...
[Fit85]
Melvin Fitting: A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2(4): 295-312(1985) BibTeX
[FJT83]
Patrick C. Fischer, Jiann H. Jou, Don-Min Tsou: Succinctness in Dependency Systems. Theor. Comput. Sci. 24: 323-329(1983) BibTeX
[FKUV86]
Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18(1986) BibTeX
[FM92]
José Alberto Fernández, Jack Minker: Semantics of Disjunctive Deductive Databases. ICDT 1992: 21-50 BibTeX
[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) BibTeX
[FNS91]
Christos Faloutsos, Raymond T. Ng, Timos K. Sellis: Predictive Load Control for Flexible Buffer Allocation. VLDB 1991: 265-274 BibTeX
[For81]
...
[For82]
Charles Forgy: Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem. Artif. Intell. 19(1): 17-37(1982) BibTeX
[Fra54]
...
[Fre87]
Johann Christoph Freytag: A Rule-Based View of Query Optimization. SIGMOD Conference 1987: 173-180 BibTeX
[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) BibTeX
[FUMY83]
Ronald Fagin, David Maier, Jeffrey D. Ullman, Mihalis Yannakakis: Tools for Template Dependencies. SIAM J. Comput. 12(1): 36-59(1983) BibTeX
[FUV83]
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX
[FV86]
Ronald Fagin, Moshe Y. Vardi: The Theory of Data Dependencies - An Overview. ICALP 1984: 1-22 BibTeX
[Fv89]
...
[Gal87]
...
[Gar70]
...
[Gär88]
...
[GD87]
Goetz Graefe, David J. DeWitt: The EXODUS Optimizer Generator. SIGMOD Conference 1987: 160-172 BibTeX
[GD94]
Stella Gatziu, Klaus R. Dittrich: Detecting Composite Events in Active Database Systems Using Petri Nets. RIDE-ADS 1994: 2-9 BibTeX
[GdM86]
Georges Gardarin, Christophe de Maindreville: Evaluation of Database Recursive Logic Programs as Recurrent Function Series. SIGMOD Conference 1986: 177-186 BibTeX
[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 BibTeX
[GH83]
Seymour Ginsburg, Richard Hull: Characterizations for Functional Dependency and Boyce-CODD Normal Form Families. Theor. Comput. Sci. 26: 243-286(1983) BibTeX
[GH86]
Seymour Ginsburg, Richard Hull: Sort sets in the relational model. J. ACM 33(3): 465-488(1986) BibTeX
[Gin66]
...
[Gin93]
Seymour Ginsburg: Object and Spreadsheet Histories. Temporal Databases 1993: 271-293 BibTeX
[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
BibTeX
[GJ82]
John Grant, Barry E. Jacobs: On the family of generalized dependency constraints. J. ACM 29(4): 986-997(1982) BibTeX
[GJ91]
Narain H. Gehani, H. V. Jagadish: Ode as an Active Database: Constraints and Triggers. VLDB 1991: 327-336 BibTeX
[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 BibTeX
[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) BibTeX
[GJS92a]
Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Composite Event Specification in Active Databases: Model & Implementation. VLDB 1992: 327-338 BibTeX
[GJS92b]
...
[GJS92c]
Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Event Specification in an Active Object-Oriented Database. SIGMOD Conference 1992: 81-90 BibTeX
[GKLT69]
...
[GKM92]
Ashish Gupta, Dinesh Katiyar, Inderpal Singh Mumick: Counting solutions to the View Maintenance Problem. Workshop on Deductive Databases, JICSLP 1992: 185-194 BibTeX
[GL82]
Yuri Gurevich, Harry R. Lewis: The Inference Problem for Template Dependencies. PODS 1982: 221-229 BibTeX
[GL88]
Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX
[GM78]