Ullman: Principles of Database and Knowledge-Base Systems

1. Databases, Object Bases, and Knowledge Bases
2. Data Models for Database Systems
3. Logic as a Data Model
4. Relational Query Languages
5. Object-Oriented Database Languages
6. Physical Data Organization
7. Design Theory for Relational Databases
8. Protecting the Database Against Misuse
9. Transaction Management
10. Distributed Database Management

11. Query Optimization for Database Systems
12. More About Logic
13. Combining Top-Down and Bottom-Up Logic Evaluation
14. Optimization for Conjunctive Queries
15. Optimization of Linear Recursions
16. Some Experimental Knowledge-Base Systems
17. The Universal Relation as a User Interface

Volume 1

Referenced by

1. Jan Van den Bussche: Constraint databases: A tutorial introduction. SIGMOD Record 29(3): 44-51(2000)
2. Moshe Y. Vardi: Constraint Satisfaction and Database Theory: a Tutorial. PODS 2000: 76-85
3. Wenfei Fan, Jérôme Siméon: Integrity Constraints for XML. PODS 2000: 23-34
4. Evgeny Dantsin, Andrei Voronkov: Expressive Power and Data Complexity of Query Languages for Trees and Lists. PODS 2000: 157-165
5. Mehmet M. Dalkilic, Edward L. Robertson: Information Dependencies. PODS 2000: 245-253
6. Jef Wijsen: Temporal FDs on Complex Objects. ACM Trans. Database Syst. 24(1): 127-176(1999)
7. Mark Levene, George Loizou: Database Design for Incomplete Relations. ACM Trans. Database Syst. 24(1): 80-125(1999)
8. Serge Abiteboul: On Views and XML. SIGMOD Record 28(4): 30-38(1999)
9. Kjetil Nørvåg: The Persistent Cache: Improving OID Indexing in Temporal Object-Oriented Database Systems. VLDB 1999: 66-77
10. Yannis Papakonstantinou, Vasilis Vassalos: Query Rewriting for Semistructured Data. SIGMOD Conference 1999: 455-466
11. Stavros S. Cosmadakis: Inherent Complexity of Recursive Queries (Extended Abstract). PODS 1999: 148-154
12. Sara Cohen, Werner Nutt, Alexander Serebrenik: Rewriting Aggregate Queries Using Views. PODS 1999: 155-166
13. Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Consistent Query Answers in Inconsistent Databases. PODS 1999: 68-79
14. Serge Abiteboul: On Views and XML. PODS 1999: 1-9
15. Ramana Yerneni, Chen Li, Jeffrey D. Ullman, Hector Garcia-Molina: Optimizing Large Join Queries in Mediation Systems. ICDT 1999: 348-364
16. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: On the Orthographic Dimension of Constraint Databases. ICDT 1999: 199-216
17. Parke Godfrey, Jarek Gryz: View Disassembly. ICDT 1999: 417-434
18. Foto N. Afrati, Manolis Gergatsoulis, Theodoros G. Kavalieros: Answering Queries Using Materialized Views with Disjunctions. ICDT 1999: 435-452
19. Dominique Laurent, Jens Lechtenbörger, Nicolas Spyratos, Gottfried Vossen: Complements for Data Warehouses. ICDE 1999: 490-499
20. Wilfred Ng: Extending Functional Dependencies in Indefinite Sequence Relations. ER 1999: 399-412
21. Lejla Rovcanin, John Murphy: Formal Specification of a Safe ALGEBRA - ``A''. ADBIS (Short Papers) 1999: 214-220
22. Tomas Dolezal: Cardinality Constraints for n-ary Relationship Types. ADBIS (Short Papers) 1999: 155-162
23. Gunter Saake, Andreas Heuer: Datenbanken: Implementierungstechniken. MITP-Verlag 1999, ISBN 3-8266-0513-6
    Contents
24. Naci Ishakbeyoglu, Z. Meral Özsoyoglu: Maintenance of Implication Integrity Constraints Under Updates to Constraints. VLDB J. 7(2): 67-78(1998)
25. Jia Liang Han: Optimizing Relational Queries in Connection Hypergraphs: Nested Queries, Views, and Binding Propagations. VLDB J. 7(1): 1-11(1998)
26. Serge Abiteboul, Sophie Cluet, Tova Milo: A Logical View of Structured Files. VLDB J. 7(2): 96-114(1998)
27. Qing Li, Frederick H. Lochovsky: ADOME: An Advanced Object Modeling Environment. IEEE Trans. Knowl. Data Eng. 10(2): 255-276(1998)
28. David B. Kemp, Kotagiri Ramamohanarao: Efficient Recursive Aggregation and Negation in Deductive Databases. IEEE Trans. Knowl. Data Eng. 10(5): 727-745(1998)
29. Dieter Fensel, Jürgen Angele, Rudi Studer: The Knowledge Acquisition and Representation Language KARL. IEEE Trans. Knowl. Data Eng. 10(4): 527-550(1998)
30. Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia: Temporal Semantic Assumptions and Their Use in Databases. IEEE Trans. Knowl. Data Eng. 10(2): 277-296(1998)
31. Bradley F. Burton, V. Wiktor Marek: Applications of the JAVA Programming Language to Database Management. SIGMOD Record 27(1): 27-34(1998)
32. Roger Weber, Hans-Jörg Schek, Stephen Blott: A Quantitative Analysis and Performance Study for Similarity-Search Methods in High-Dimensional Spaces. VLDB 1998: 194-205
33. Narayanan Shivakumar, Hector Garcia-Molina, Chandra Chekuri: Filtering with Approximate Predicates. VLDB 1998: 263-274
34. Min Fang, Narayanan Shivakumar, Hector Garcia-Molina, Rajeev Motwani, Jeffrey D. Ullman: Computing Iceberg Queries Efficiently. VLDB 1998: 299-310
35. Sihem Amer-Yahia, Sophie Cluet, Claude Delobel: Bulk-Loading Techniques for Object Databases and an Application to Relational Data. VLDB 1998: 534-545
36. Shalom Tsur, Jeffrey D. Ullman, Serge Abiteboul, Chris Clifton, Rajeev Motwani, Svetlozar Nestorov, Arnon Rosenthal: Query Flocks: A Generalization of Association-Rule Mining. SIGMOD Conference 1998: 1-12
37. Svetlozar Nestorov, Serge Abiteboul, Rajeev Motwani: Extracting Schema from Semistructured Data. SIGMOD Conference 1998: 295-306
38. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: The DEDALE System for Complex Spatial Queries. SIGMOD Conference 1998: 213-224
39. Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen: Typed Query Languages for Databases Containing Queries. PODS 1998: 189-196
40. Phokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998: 205-213
41. Phokion G. Kolaitis, David L. Martin, Madhukar N. Thakur: On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates. PODS 1998: 197-204
42. Serge Abiteboul, Oliver M. Duschka: Complexity of Answering Queries Using Materialized Views. PODS 1998: 254-263
43. Nieves R. Brisaboa, Héctor J. Hernández, José R. Paramá, Miguel R. Penabad: Containment of Conjunctive Queries with Built-in Predicates with Variables and Constants over any Ordered Domain. ADBIS 1998: 46-57
44. Gustav Fahl, Tore Risch: Query Processing Over Object Views of Relational Data. VLDB J. 6(4): 261-281(1997)
45. Tiziana Catarci, Giuseppe Santucci, John Cardiff: Graphical Interaction with Heterogeneous Databases. VLDB J. 6(2): 97-120(1997)
46. Xiaoyang Sean Wang, Claudio Bettini, Alexander Brodsky, Sushil Jajodia: Logical Design for Temporal Databases with Multiple Granularities. ACM Trans. Database Syst. 22(2): 115-170(1997)
47. Xubo Zhang, Z. Meral Özsoyoglu: Implication and Referential Constraints: A New Formal Reasoning. IEEE Trans. Knowl. Data Eng. 9(6): 894-910(1997)
48. Abdullah Uz Tansel, Erkan Tin: The Expressive Power of Temporal Relational Query Languages. IEEE Trans. Knowl. Data Eng. 9(1): 120-134(1997)
49. Abdullah Uz Tansel: Temporal Relational Data Model. IEEE Trans. Knowl. Data Eng. 9(3): 464-479(1997)
50. Xiaolei Qian, Teresa F. Lunt: A Semantic Framework of the Multilevel Secure Relational Model. IEEE Trans. Knowl. Data Eng. 9(2): 292-301(1997)
51. Luigi Palopoli, Riccardo Torlone: Generalized Production Rules as a Basis for Integrating Active and Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(6): 848-862(1997)
52. Nicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi: A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 539-558(1997)
53. Marco Cadoli, Thomas Eiter, Georg Gottlob: Default Logic as a Query Language. IEEE Trans. Knowl. Data Eng. 9(3): 448-463(1997)
54. Lars Bækgaard, Leo Mark: Incremental Computation of Set Difference Views. IEEE Trans. Knowl. Data Eng. 9(2): 251-261(1997)
55. Nam Huyn: Multiple-View Self-Maintenance in Data Warehousing Environments. VLDB 1997: 26-35
56. Timothy Griffin, Richard Hull: A Framework for Implementing Hypothetical Queries. SIGMOD Conference 1997: 231-242
57. Christos H. Papadimitriou, Mihalis Yannakakis: On the Complexity of Database Queries. PODS 1997: 12-19
58. Oscar H. Ibarra, Jianwen Su: On the Containment and Equivalence of Database Queries with Linear Constraints. PODS 1997: 32-43
59. Richard Hull: Managing Semantic Heterogeneity in Databases: A Theoretical Perspective. PODS 1997: 51-61
60. Michael Benedikt, Leonid Libkin: Languages for Relational Databases over Interpreted Structures. PODS 1997: 87-98
61. Jeffrey D. Ullman: Information Integration Using Logical Views. ICDT 1997: 19-40
62. Nam Huyn: Efficient Complete Local Tests for Conjunctive Query Constraints with Negation. ICDT 1997: 82-97
63. Dimitrios Gunopulos, Heikki Mannila, Sanjeev Saluja: Discovering All Most Specific Sentences by Randomized Algorithms. ICDT 1997: 215-229
64. Serge Abiteboul: Querying Semi-Structured Data. ICDT 1997: 1-18
65. Meike Albrecht, Margita Altus, Martin Steeg: Application-Oriented Design of Behavior: A Transformational Approach Using RADD. ER 1997: 323-332
66. Robert M. Colomb, Anne-Grethe Eilertsen: Use of a Persistent Graph Abstract Data Type for Representing CASE Tools Repositories. DASFAA 1997: 155-164
67. Gösta Grahne, Matti Nykänen: Safety, Translation and Evaluation of Alignment Calculus. ADBIS 1997: 295-304
68. Stanislas Brysgalov: Higher Level Query System Based on Supercombinators. ADBIS 1997: 149-151
69. Odysseas G. Tsatalos, Marvin H. Solomon, Yannis E. Ioannidis: The GMAP: A Versatile Tool for Physical Data Independence. VLDB J. 5(2): 101-118(1996)
70. John Mylopoulos, Vinay K. Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou: Building Knowledge Base Management Systems. VLDB J. 5(4): 238-263(1996)
71. Debabrata Dey, Terence M. Barron, Veda C. Storey: A Complete Temporal Relational Algebra. VLDB J. 5(3): 167-180(1996)
72. Kenneth A. Ross: Tail Recursion Elimination in Deductive Databases. ACM Trans. Database Syst. 21(2): 208-237(1996)
73. Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan: Magic Conditions. ACM Trans. Database Syst. 21(1): 107-155(1996)
74. Sha Guo, Wei Sun, Mark Allen Weiss: Solving Satisfiability and Implication Problems in Database Systems. ACM Trans. Database Syst. 21(2): 270-293(1996)
75. Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Implementing Deductive Databases by Mixed Integer Programming. ACM Trans. Database Syst. 21(2): 238-269(1996)
76. Elena Baralis, Stefano Ceri, Stefano Paraboschi: Modularization Techniques for Active Rules Design. ACM Trans. Database Syst. 21(1): 1-29(1996)
77. Abraham Silberschatz, Alexander Tuzhilin: What Makes Patterns Interesting in Knowledge Discovery Systems. IEEE Trans. Knowl. Data Eng. 8(6): 970-974(1996)
78. Xiaolei Qian, Teresa F. Lunt: A MAC Policy Framework for Multilevel Relational Databases. IEEE Trans. Knowl. Data Eng. 8(1): 3-15(1996)
79. Donald G. Marks: Inference in MLS Database Systems. IEEE Trans. Knowl. Data Eng. 8(1): 46-55(1996)
80. Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo: Extending Existing Dependency Theory to Temporal Databases. IEEE Trans. Knowl. Data Eng. 8(4): 563-582(1996)
81. Sha Guo, Wei Sun, Mark Allen Weiss: On Satisfiability, Equivalence, and Impication Problems Involving Conjunctive Queries in Database Systems. IEEE Trans. Knowl. Data Eng. 8(4): 604-616(1996)
82. Harry S. Delugach, Thomas H. Hinke: Wizard: A Database Inference Analysis and Detection System. IEEE Trans. Knowl. Data Eng. 8(1): 56-66(1996)
83. David Wai-Lok Cheung, Vincent T. Y. Ng, Ada Wai-Chee Fu, Yongjian Fu: Efficient Mining of Association Rules in Distributed Databases. IEEE Trans. Knowl. Data Eng. 8(6): 911-922(1996)
84. Kevin Chen-Chuan Chang, Hector Garcia-Molina, Andreas Paepcke: Boolean Query Mapping Across Heterogeneous Information Sources. IEEE Trans. Knowl. Data Eng. 8(4): 515-521(1996)
85. Tiziana Catarci, Shi-Kuo Chang, Maria Francesca Costabile, Stefano Levialdi, Giuseppe Santucci: A Graph-Based Framework for Multiparadigmatic Visual Access to Databases. IEEE Trans. Knowl. Data Eng. 8(3): 455-475(1996)
86. Norbert Fuhr: Models for Integrated Information Retrieval and Database Systems. IEEE Data Eng. Bull. 19(1): 3-13(1996)
87. Abraham Silberschatz, Henry F. Korth, S. Sudarshan: Data Models. ACM Comput. Surv. 28(1): 105-108(1996)
88. Martin Staudt, Matthias Jarke: Incremental Maintenance of Externally Materialized Views. VLDB 1996: 75-86
89. Rosa Meo, Giuseppe Psaila, Stefano Ceri: A New SQL-like Operator for Mining Association Rules. VLDB 1996: 122-133
90. Alon Y. Levy: Obtaining Complete Answers from Incomplete Databases. VLDB 1996: 402-412
91. Sin Yeung Lee, Tok Wang Ling: Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases. VLDB 1996: 495-505
92. Michael H. Böhlen, Richard T. Snodgrass, Michael D. Soo: Coalescing in Temporal Databases. VLDB 1996: 180-191
93. Nasser Yazdani, Z. Meral Özsoyoglu: Sequence Matching of Images. SSDBM 1996: 53-62
94. Chang Li, Xiaoyang Sean Wang: Optimizing Statistical Queries by Exploiting Orthogonality and Interval Properties of Grouping Relations. SSDBM 1996: 118-127
95. David Toman: Point vs. Interval-based Query Languages for Temporal Databases. PODS 1996: 58-67
96. Yannis Papakonstantinou, Hector Garcia-Molina, Jeffrey D. Ullman: MedMaker: A Mediation System Based on Declarative Specifications. ICDE 1996: 132-141
97. Gultekin Özsoyoglu, Veli Hakkoymaz, Joel Kraft: Automating the Assembly of Presentations from Multimedia Databases. ICDE 1996: 593-601
98. Ehud Gudes: A Uniform Indexing Scheme for Object-Oriented Databases. ICDE 1996: 238-246
99. Nevzat Hurkan Balkir, Eser Sükan, Gultekin Özsoyoglu, Z. Meral Özsoyoglu: VISUAL: A Graphical Icon-Based Query Language. ICDE 1996: 524-533
100. Petia Assenova, Paul Johannesson: Improving Quality in Conceptual Modelling by the Use of Schema Transformations. ER 1996: 277-291
101. Xiaolei Qian: Correct Schema Transformations. EDBT 1996: 114-128
102. Alon Y. Levy, Inderpal Singh Mumick: Reasoning with Aggregation Constraints. EDBT 1996: 514-534
103. Hendrik Decker, Ernest Teniente, Toni Urpí: How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549
104. Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Semantic Workflow Interoperability. EDBT 1996: 443-462
105. Estrella Pulido: STARBASE: A Deductive System Based on Chart Parsing. ADBIS 1996: 153-159
106. David W. Embley, Stephen W. Liddle, Yiu-Kai Ng: On Harmonically Combining Active, Object-Oriented, and Deductive Databases. ADBIS 1996: 21-30
107. Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
     Contents
108. Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995)
109. Divesh Srivastava, S. Sudarshan, Raghu Ramakrishnan, Jeffrey F. Naughton: Space Optimization in Deductive Databases. ACM Trans. Database Syst. 20(4): 472-516(1995)
110. Lars Bækgaard, Leo Mark: Incremental Computation of Nested Relational Query Expressions. ACM Trans. Database Syst. 20(2): 111-148(1995)
111. Weining Zhang, Ke Wang, Siu-Cheung Chau: Data Partition and Parallel Evaluation of Datalog Programs. IEEE Trans. Knowl. Data Eng. 7(1): 163-176(1995)
112. Kumar V. Vadaparty, Shamim A. Naqvi: Using Constraints for Efficient Query Processing in Nondeterministic Databases. IEEE Trans. Knowl. Data Eng. 7(6): 850-864(1995)
113. A. Prasad Sistla, Ouri Wolfson: Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7(3): 471-486(1995)
114. Linda Sirounian, William I. Grosky: A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases. IEEE Trans. Knowl. Data Eng. 7(1): 82-105(1995)
115. Fereidoon Sadri: Integrity Constraints in the Information Source Tracking Method. IEEE Trans. Knowl. Data Eng. 7(1): 106-119(1995)
116. Jan Paredaens, Peter Peelman, Letizia Tanca: G-Log: A Graph-Based Query Language. IEEE Trans. Knowl. Data Eng. 7(3): 436-453(1995)
117. Mark Levene, George Loizou: A Graph-Based Data Model and its Ramifications. IEEE Trans. Knowl. Data Eng. 7(5): 809-823(1995)
118. Sang Ho Lee, Lawrence J. Henschen: Evaluation of Recursive Queries with Extended Rules in Deductive Databases. IEEE Trans. Knowl. Data Eng. 7(2): 328-331(1995)
119. Jiawei Han: Chain-Split Evaluation in Deductive Databases. IEEE Trans. Knowl. Data Eng. 7(2): 261-273(1995)
120. Lars Bækgaard, Leo Mark: Incremental Computation of Time-Varying Query Expressions. IEEE Trans. Knowl. Data Eng. 7(4): 583-590(1995)
121. Sudha Ram: Deriving Functional Dependencies from the Entity-Relationship Model. Commun. ACM 38(9): 95-107(1995)
122. A. Prasad Sistla, Ouri Wolfson: Temporal Conditions and Integrity Constraints in Active Database Systems. SIGMOD Conference 1995: 269-280
123. Timothy Griffin, Leonid Libkin: Incremental Maintenance of Views with Duplicates. SIGMOD Conference 1995: 328-339
124. Claudio Bettini, Xiaoyang Sean Wang, Elisa Bertino, Sushil Jajodia: Semantic Assumptions and Query Evaluation in Temporal Databases. SIGMOD Conference 1995: 257-268
125. Serge Abiteboul, Sophie Cluet, Tova Milo: A Database Interface for File Updates. SIGMOD Conference 1995: 386-397
126. Moshe Y. Vardi: On the Complexity of Bounded-Variable Queries. PODS 1995: 266-276
127. Alexei P. Stolboushkin, Michael A. Taitslin: Finite Queries do not Have Effective Syntax. PODS 1995: 277-285
128. Kenneth A. Ross: Structural Totality and Constraint Stratification. PODS 1995: 184-195
129. Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman: Answering Queries Using Templates with Binding Patterns. PODS 1995: 105-112
130. Philippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995: 126-138
131. Alon Y. Levy, Yehoshua Sagiv: Semantic Query Optimization in Datalog Programs. PODS 1995: 163-173
132. H. V. Jagadish, Alberto O. Mendelzon, Tova Milo: Similarity-Based Queries. PODS 1995: 36-45
133. Guozhu Dong, Jianwen Su: Space-Bounded FOIES. PODS 1995: 139-150
134. Mariano P. Consens, Tova Milo: Algebras for Querying Text Regions. PODS 1995: 11-22
135. Domenico Saccà: Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries. ICDT 1995: 353-367
136. V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming, Database Updates and Integrity Constraints. ICDT 1995: 368-382
137. Sérgio Lifschitz, Victor Vianu: A Probabilistic View of Datalog Parallelization. ICDT 1995: 294-307
138. Stéphane Grumbach, Tova Milo: An Algebra for Pomsets. ICDT 1995: 191-207
139. Sergio Greco, Domenico Saccà, Carlo Zaniolo: DATALOG Queries with Stratified Negation and Choice: from P to D^P. ICDT 1995: 82-96
140. Guozhu Dong, Jianwen Su: Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. ICDT 1995: 397-410
141. Weidong Chen, Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995: 252-265
142. Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE 1995: 173-182
143. Joonyeoub Sung, Lawrence J. Henschen: A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. ICDE 1995: 475-484
144. Laks V. S. Lakshmanan, Rokia Missaoui: Pushing Semantics Inside Recursion: A General Framework for Semantic Optimization of Recursive Queries. ICDE 1995: 211-220
145. Ravi Krishnamurthy, Moshé M. Zloof: RBE: Rendering By Example. ICDE 1995: 288-297
146. Christian Kalus, Peter Dadam: Record Subtyping in Flexible Relations by Means of Attribute Dependencies. ICDE 1995: 383-390
147. Janusz R. Getta, Leszek A. Maciaszek: Management of Inconsistent Information in Federated Systems. OOER 1995: 412-423
148. Stéphane Grumbach, Zoé Lacroix: Computing Queries on Linear Constraint Databases. DBPL 1995: 11
149. Slimane Hammoudi: Hyper-Agenda: A System to Organize and Realize Tasks. DASFAA 1995: 61-70
150. Sergio Greco, Luigi Palopoli, Eugenio Spadafora: Datalog^A: Array Manipulations in a Deductive Database Language. DASFAA 1995: 180-188
151. Gregory Butler: Intelligent Mathematical Databases. DASFAA 1995: 326-332
152. Suk-Chung Yoon, Il-Yeol Song, E. K. Park: Semantic Query Processing in Object-Oriented Databases Using Deductive Approach. CIKM 1995: 150-157
153. Tatjana L. Plotkin: Relational Database Equivalence Problem. ADBIS 1995: 391-404
154. David A. Nelson, B. Nick Rossiter: Prototyping a Categorial Database in P/FDM. ADBIS 1995: 432-456
155. Jaroslaw A. Chudziak, Janusz R. Getta: On Efficient Query Evaluation in Multidatabase Systems. ADBIS 1995: 73-89
156. Stefan Brass: Magic Sets vs. SLD-Resolution. ADBIS 1995: 185-203
157. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
     Contents
158. Dimitris Papadias, Timos K. Sellis: Qualitative Representation of Spatial Knowledge in Two-Dimensional Space. VLDB J. 3(4): 479-516(1994)
159. Wesley W. Chu, Ion Tim Ieong, Ricky K. Taira: A Semantic Modeling Approach for Image Retrieval by Content. VLDB J. 3(4): 445-477(1994)
160. Marianne Winslett, Kenneth Smith, Xiaolei Qian: Formal Query Languages for Secure Relational Databases. ACM Trans. Database Syst. 19(4): 626-662(1994)
161. James Clifford, Albert Croker, Alexander Tuzhilin: On Completeness of Historical Relational Query Languages. ACM Trans. Database Syst. 19(1): 64-116(1994)
162. Ke Wang, Li-Yan Yuan: First-Order Logic Characterization of Program Properties. IEEE Trans. Knowl. Data Eng. 6(4): 518-533(1994)
163. Wei Sun, Mark Allen Weiss: An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities. IEEE Trans. Knowl. Data Eng. 6(6): 997-1001(1994)
164. Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin: Set Restrictions for Semantic Groupings. IEEE Trans. Knowl. Data Eng. 6(2): 193-204(1994)
165. Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs. IEEE Trans. Knowl. Data Eng. 6(4): 501-517(1994)
166. Amihai Motro: Intensional Answers to Database Queries. IEEE Trans. Knowl. Data Eng. 6(3): 444-454(1994)
167. Byung Suk Lee, Gio Wiederhold: Outer Joins and Filters for Instantiating Objects from Relational Databases Through Views. IEEE Trans. Knowl. Data Eng. 6(1): 108-119(1994)
168. Arantza Illarramendi, José Miguel Blanco, Alfredo Goñi: Making the Knowledge Base System More Efficient: A Method to Detect Inconsistent Queries. IEEE Trans. Knowl. Data Eng. 6(4): 634-639(1994)
169. George Harhalakis, Chang-Pin Lin, Leo Mark, Pedro R. Muro-Medrano: Implementation of Rule-Based Information Systems for Integrated Manufacturing. IEEE Trans. Knowl. Data Eng. 6(6): 892-908(1994)
170. Jiawei Han: Constraint-Based Query Evaluation in Deductive Databases. IEEE Trans. Knowl. Data Eng. 6(1): 96-107(1994)
171. Keh-Chang Guh, Clement T. Yu: Efficient Query Processing for a Subset of Linear Recursive Binary Rules. IEEE Trans. Knowl. Data Eng. 6(5): 842-849(1994)
172. Martin F. van Bommel, Grant E. Weddell: Reasoning About Equations and Functional Dependencies on Complex Objects. IEEE Trans. Knowl. Data Eng. 6(3): 455-469(1994)
173. Ashish Gupta, Sanjai Tiwari: Constraint Management On Distributed Design Databases. IEEE Data Eng. Bull. 17(2): 47-51(1994)
174. Suryanarayana M. Sripada, Beat Wüthrich: Cumulative Updates. VLDB 1994: 534-545
175. Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv: Query Optimization by Predicate Move-Around. VLDB 1994: 96-107
176. Elena Baralis, Jennifer Widom: An Algebraic Approach to Rule Analysis in Expert Database Systems. VLDB 1994: 475-486
177. Nasser Yazdani, Z. Meral Özsoyoglu, Gultekin Özsoyoglu: A Framework for Feature-Based Indexing for Spatial Databases. SSDBM 1994: 259-269
178. Inderpal Singh Mumick, Hamid Pirahesh: Implementation of Magic-sets in a Relational Database System. SIGMOD Conference 1994: 103-114
179. Joseph M. Hellerstein: Practical Predicate Placement. SIGMOD Conference 1994: 325-335
180. Peter J. Stuckey, S. Sudarshan: Compiling Query Constraints. PODS 1994: 56-67
181. Jyrki Kivinen, Heikki Mannila: The Power of Sampling in Knowledge Discovery. PODS 1994: 77-85
182. David Harel: Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). PODS 1994: 1-3
183. Gösta Grahne, Matti Nykänen, Esko Ukkonen: Reasoning about Strings in Databases. PODS 1994: 303-312
184. Foto N. Afrati: Bounded Arity Datalog (!=) Queries on Graphs. PODS 1994: 97-106
185. G. N. Paulley, Per-Åke Larson: Exploiting Uniqueness in Query Optimization. ICDE 1994: 68-79
186. Paul Johannesson: A Method for Transforming Relational Schemas Into Conceptual Schemas. ICDE 1994: 190-201
187. Diego Calvanese, Maurizio Lenzerini: On the Interaction Between ISA and Cardinality Constraints. ICDE 1994: 204-213
188. Robert Winter: Formalised Conceptual Models as a Foundation of Information Systems Development. ER 1994: 437-455
189. Rainer Manthey: Active and Passive Rules in Database Systems: How Do They Relate? (Invited Paper). ADBIS 1994: 104-115
190. Andrea Neufeld, Guido Moerkotte, Peter C. Lockemann: Generating Consistent Test Data for a Variable Set of General Consistency Constraints. VLDB J. 2(2): 173-213(1993)
191. Xiaolei Qian: The Deductive Synthesis of Database Transactions. ACM Trans. Database Syst. 18(4): 626-677(1993)
192. Mark Levene, George Loizou: Semantics for Null Extended Nested Relations. ACM Trans. Database Syst. 18(3): 414-459(1993)
193. Jan Chomicki, Tomasz Imielinski: Finite Representation of Infinite Query Answers. ACM Trans. Database Syst. 18(2): 181-223(1993)
194. Ouri Wolfson, Aya Ozeri: Parallel and Distributed Processing of Rules by Data Reduction. IEEE Trans. Knowl. Data Eng. 5(3): 523-530(1993)
195. Susan V. Vrbsky, Jane W.-S. Liu: APPROXIMATE - A Query Processor that Produces Monotonically Improving Approximate Answers. IEEE Trans. Knowl. Data Eng. 5(6): 1056-1068(1993)
196. Richard T. Snodgrass, Santiago Gomez, L. Edwin McKenzie: Aggregates in the Temporal Query Language TQuel. IEEE Trans. Knowl. Data Eng. 5(5): 826-842(1993)
197. Liwu Li: Fast In-Place Verification of Data Dependencies. IEEE Trans. Knowl. Data Eng. 5(2): 266-281(1993)
198. Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava: Database Concurrency Control in Multilevel Secure Database Management Systems. IEEE Trans. Knowl. Data Eng. 5(6): 1039-1055(1993)
199. Jiawei Han, Yandong Cai, Nick Cercone: Data-Driven Discovery of Quantitative Rules in Relational Databases. IEEE Trans. Knowl. Data Eng. 5(1): 29-40(1993)
200. Saso Dzeroski, Nada Lavrac: Inductive Learning in Deductive Databases. IEEE Trans. Knowl. Data Eng. 5(6): 939-949(1993)
201. Edward P. F. Chan: A Possible World Semantics for Disjunctive Databases. IEEE Trans. Knowl. Data Eng. 5(2): 282-292(1993)
202. Amit Basu: A Knowledge Representation Model for Multiuser Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 5(2): 177-189(1993)
203. Rafiul Ahad, Bing Yao: RQL: A Recursive Query Language. IEEE Trans. Knowl. Data Eng. 5(3): 451-461(1993)
204. Rakesh Agrawal, Tomasz Imielinski, Arun N. Swami: Database Mining: A Performance Perspective. IEEE Trans. Knowl. Data Eng. 5(6): 914-925(1993)
205. Alexandra Poulovassilis, Carol Small: A Domain-theoretic Approach to Integrating Functional and Logic Database Languages. VLDB 1993: 416-428
206. Alon Y. Levy, Yehoshua Sagiv: Queries Independent of Updates. VLDB 1993: 171-181
207. Françoise Fabret, Mireille Régnier, Eric Simon: An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases. VLDB 1993: 455-466
208. Surajit Chaudhuri, Kyuseok Shim: Query Optimization in the Presence of Foreign Functions. VLDB 1993: 529-542
209. Serge Abiteboul, Sophie Cluet, Tova Milo: Querying and Updating the File. VLDB 1993: 73-84
210. Xiaoyang Sean Wang, Sushil Jajodia, V. S. Subrahmanian: Temporal Modules: An Approach Toward Federated Temporal Databases. SIGMOD Conference 1993: 227-236
211. Kumar V. Vadaparty, Y. Alp Aslandogan, Gultekin Özsoyoglu: Towards a Unified Visual Database Access. SIGMOD Conference 1993: 357-366
212. Ashish Gupta, Jennifer Widom: Local Verification of Global Integrity Constraints in Distributed Databases. SIGMOD Conference 1993: 49-58
213. Ashish Gupta, Inderpal Singh Mumick, V. S. Subrahmanian: Maintaining Views Incrementally. SIGMOD Conference 1993: 157-166
214. Catriel Beeri, Tova Milo: On the Power of Algebras with Recursion. SIGMOD Conference 1993: 377-386
215. Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41
216. Mark H. Nodine, Michael T. Goodrich, Jeffrey Scott Vitter: Blocking for External Graph Searching. PODS 1993: 222-232
217. Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli: Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. PODS 1993: 109-122
218. Martha Escobar-Molano, Richard Hull, Dean Jacobs: Safety and Translation of Calculus Queries with Scalar Functions. PODS 1993: 253-264
219. Philippe De Smedt, Stefano Ceri, Marie-Anne Neimat, Ming-Chien Shan, Rafi Ahmed: Recursive Functions in Iris. ICDE 1993: 145-154
220. Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Updating Intensional Predicates in Deductive Databases. ICDE 1993: 14-21
221. Oliver Günther: Efficient Computation of Spatial Joins. ICDE 1993: 50-59
222. Daniel Barbará, Chris Clifton, Fred Douglis, Hector Garcia-Molina, Stephen Johnson, Ben Kao, Sharad Mehrotra, Jens Tellefsen, Rosemary Walsh: The Gold Mailer. ICDE 1993: 92-99
223. Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca: IsaLog: A declarative language for complex objects with hierarchies. ICDE 1993: 219-228
224. Jef Wijsen, Jacques Vandenbulcke, Henke Olivie: Functional Dependencies Generalized for Temporal Databases that Include Object-Identity. ER 1993: 99-109
225. Otto Rauh, Eberhard Stickel: Searching for Compositions in ER Schemes. ER 1993: 74-84
226. Cristina De Castro, Fabio Grandi, Maria Rita Scalas: Semantic Interoperability of Multitemporal Relational Databases. ER 1993: 463-474
227. James B. Behm, Toby J. Teorey: Relative Constraints in ER Data Models. ER 1993: 46-59
228. Dan Suciu: Bounded Fixpoints for Complex Objects. DBPL 1993: 263-281
229. Guozhu Dong, Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993: 295-308
230. Subhasish Mazumdar: Optimizing Distributed Integrity Constraints. DASFAA 1993: 327-334
231. Nabil Kamel, Roger King: Intelligent Database Caching Through the Use of Page-Answers and Page-Traces. ACM Trans. Database Syst. 17(4): 601-646(1992)
232. Witold Litwin, Tore Risch: Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates. IEEE Trans. Knowl. Data Eng. 4(6): 517-528(1992)
233. Sergio Greco, Nicola Leone, Pasquale Rullo: COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359(1992)
234. Amit Basu, Rafiul Ahad: Using a Relational Database System to Support Explanation in a Knowledge-Based System. IEEE Trans. Knowl. Data Eng. 4(6): 572-581(1992)
235. Daniel Barbará, Hector Garcia-Molina, Daryl Porter: The Management of Probabilistic Data. IEEE Trans. Knowl. Data Eng. 4(5): 487-502(1992)
236. Priti Mishra, Margaret H. Eich: Join Processing in Relational Databases. ACM Comput. Surv. 24(1): 63-113(1992)
237. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
238. Jiawei Han, Yandong Cai, Nick Cercone: Knowledge Discovery in Databases: An Attribute-Oriented Approach. VLDB 1992: 547-559
239. Divesh Srivastava, Raghu Ramakrishnan: Pushing Constraint Selections. PODS 1992: 301-315
240. Kenneth A. Ross: Relations with Relation Names as Arguments: Algebra and Calculus. PODS 1992: 346-353
241. Shinichi Morishita: Avoiding Cartesian Products in Programs for Multiple Joins. PODS 1992: 368-379
242. Ashish Gupta, Inderpal Singh Mumick: Magic-sets Transformation in Nonrecursive Systems. PODS 1992: 354-367
243. Seymour Ginsburg, Xiaoyang Sean Wang: Pattern Matching by Rs-Operations: Toward a Unified Approach to Querying Sequenced Data. PODS 1992: 293-300
244. Edward P. F. Chan: Containment and Minimization of Positive Conjunctive Queries in OODB's. PODS 1992: 202-211
245. Serge Abiteboul, Kevin J. Compton, Victor Vianu: Queries Are Easier Than You Thought (Probably). PODS 1992: 23-32
246. Jyrki Kivinen, Heikki Mannila: Approximate Dependency Inference from Relations. ICDT 1992: 86-98
247. José Alberto Fernández, Jack Minker: Semantics of Disjunctive Deductive Databases. ICDT 1992: 21-50
248. Tomás Feder, Yatin P. Saraiya: Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations. ICDT 1992: 297-311
249. Françoise Fabret, Mireille Régnier, Eric Simon: Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics. ICDT 1992: 155-170
250. Marie Duzi: Semantic Information Connected with Data. ICDT 1992: 376-390
251. Natraj Arni, Sergio Greco, Domenico Saccà: Set-Term Matching in Logic Programming. ICDT 1992: 436-449
252. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. ICDT 1992: 113-123
253. Tok Wang Ling, Cheng Hian Goh: Logical Database Design with Inclusion Dependencies. ICDE 1992: 642-649
254. Jui-Tine Lee, Geneva G. Belford: An Efficient Object-based Algorithm for Spatial Searching, Insertion and Deletion. ICDE 1992: 40-47
255. Laks V. S. Lakshmanan, Rokia Missaoui: On Semantic Query Optimization in Deductive Databases. ICDE 1992: 368-375
256. Werner Kießling, Helmut Thöne, Ulrich Güntzer: Database Support for Problematic Knowledge. EDBT 1992: 421-436
257. Sergio Greco, Carlo Zaniolo: Optimization of Linear Logic Programs Using Counting Methods. EDBT 1992: 72-87
258. Peter Buneman, Susan B. Davidson, Anthony Kosky: Theoretical Aspects of Schema Merging. EDBT 1992: 152-167
259. Marc Andries, Marc Gemis, Jan Paredaens, Inge Thyssens, Jan Van den Bussche: Concepts for Graph-Oriented Object Manipulation. EDBT 1992: 21-38
260. Alberto O. Mendelzon, Peter T. Wood: Functional Dependencies in Horn Clause Queries. ACM Trans. Database Syst. 16(1): 31-55(1991)
261. Allen Van Gelder, Rodney W. Topor: Safety and Translation of Relational Calculus Queries. ACM Trans. Database Syst. 16(2): 235-278(1991)
262. Tzong-An Su, Gultekin Özsoyoglu: Controlling FD and MVD Inferences in Multilevel Relational Database Systems. IEEE Trans. Knowl. Data Eng. 3(4): 474-485(1991)
263. Sudha Ram, Roy E. Marsten: A Model for Database Allocation Incorporating a Concurrency Control Mechanism. IEEE Trans. Knowl. Data Eng. 3(3): 389-395(1991)
264. Daniel P. Miranker, Bernie J. Lofaso: The Organization and Performance fo a TREAT-Based Production System Compiler. IEEE Trans. Knowl. Data Eng. 3(1): 3-10(1991)
265. Eric Mays, Sitaram Lanka, Robert Dionne, Robert A. Weida: A Persistent Store for Large Shared Knowledge Bases. IEEE Trans. Knowl. Data Eng. 3(1): 33-41(1991)
266. Serge Abiteboul, Paris C. Kanellakis: The Two Facets of Object-Oriented Data Models. IEEE Data Eng. Bull. 14(2): 3-7(1991)
267. L. Edwin McKenzie, Richard T. Snodgrass: Evaluation of Relational Algebras Incorporating the Time Dimension in Databases. ACM Comput. Surv. 23(4): 501-543(1991)
268. Alexandra Poulovassilis, Carol Small: A Functional Programming Approach to Deductive Databases. VLDB 1991: 491-500
269. Dov M. Gabbay, Peter McBrien: Temporal Logic & Historical Databases. VLDB 1991: 423-430
270. Joseph Albert: Algebraic Properties of Bag Data Types. VLDB 1991: 211-219
271. Sitaram Lanka, Eric Mays: Fully Persistent B+-trees. SIGMOD Conference 1991: 426-435
272. Ulrich Güntzer, Werner Kießling, Helmut Thöne: New Directions For Uncertainty Reasoning In Deductive Databases. SIGMOD Conference 1991: 178-187
273. Jürgen Seib, Georg Lausen: Parallelizing Datalog Programs by Generalized Pivoting. PODS 1991: 241-251
274. Inderpal Singh Mumick, Hamid Pirahesh: Overbound and Right-Linear Queries. PODS 1991: 127-141
275. Laks V. S. Lakshmanan, Héctor J. Hernández: Structural Query Optimization - A uniform Framework for Semantic Query Optimization in Deductive Databases. PODS 1991: 102-114
276. Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340
277. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Tools for Datalog Boundedness. PODS 1991: 1-12
278. Surajit Chaudhuri: Detecting Redundant Tuples During Query Evaluation. PODS 1991: 115-126
279. Jan Van den Bussche, Jan Paredaens: The Expressive Power of Structured Values in Pure OODB's. PODS 1991: 291-299
280. Marianne Baudinet, Marc Niézette, Pierre Wolper: On the Representation of Infinite Temporal Data and Queries. PODS 1991: 280-290
281. Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis: On Datalog vs. Polynomial Time. PODS 1991: 13-25
282. Peter Sander: Specifying Operations for Nested Relations by Rules and Partial Orders. MFDBS 1991: 44-58
283. Jan Van den Bussche: Complex Object Multi-Level Fixpoint Queries. MFDBS 1991: 1-13
284. Filippo Cacace, Stefano Ceri, Letizia Tanca: Consistency and Non-determinism in a Database Programming Language. MFDBS 1991: 325-341
285. Paolo Atzeni, Riccardo Torlone: Solving Ambiguities in Updating Deductive Databases. MFDBS 1991: 104-118
286. Luc Albert, Mireille Régnier: Complexity of Recursive Production Rules Execution. MFDBS 1991: 188-200
287. Li Yu, Sylvia L. Osborn: An Evaluation Framework for Algebraic Object-Oriented Query Models. ICDE 1991: 670-677
288. Andreas Heuer, Peter Sander: Preserving and Generating Objects in the LIVING IN A LATTICE Rule Language. ICDE 1991: 562-569
289. Jiawei Han: Constraint-Based Reasoning in Deductive Databases. ICDE 1991: 257-265
290. Sumit Ganguly, Ravi Krishnamurthy, Abraham Silberschatz: An Analysis Technique for Transitive Closure Algorithms: A Statistical Approach. ICDE 1991: 728-735
291. Béatrice Finance, Georges Gardarin: A Rule-Based Query Rewriter in an Extensible DBMS. ICDE 1991: 248-256
292. Lois M. L. Delcambre, Billy B. L. Lim, Susan Darling Urban: Object-Centered Constraints. ICDE 1991: 368-377
293. Charalampos I. Theodoulidis, Pericles Loucopoulos, Benkt Wangler: The Entity-Relationship Time Model and the Conceptual Rule Language. ER 1991: 181-204
294. Edward Sciore: Abbreviation Techniques in Entity-Relationship Query Languages. ER 1991: 129-145
295. Janani Janakiraman, Chris Warack, Gyan Bhal, Toby J. Teorey: Progessive Fragment Allocation. ER 1991: 543-560
296. Jean-Luc Hainaut: Entity-Generating Schema Transformations for Entity-Relationship Models. ER 1991: 643-670
297. Carol Small, Alexandra Poulovassilis: An Overview of PFL. DBPL 1991: 96-110
298. Dean Jacobs, Richard Hull: Database Programming with Delayed Updates. DBPL 1991: 416-428
299. Haiyan Xu: A Cooperative Transaction Model Handling Multiple Correctness Levels. DASFAA 1991: 517-526
300. Sang Ho Lee, Lawrence J. Henschen: Evaluation of Extended Recursive Queries in Deductive Databases. DASFAA 1991: 209-215
301. Soochan Hwang, Sukho Lee: The Object-Oriented Relationship System for Managing Complex Relationships. DASFAA 1991: 391-400
302. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990)
303. Alexander Tuzhilin, James Clifford: A Temporal Relational Algebra as Basis for Temporal Relational Completeness. VLDB 1990: 13-23
304. Xiaolei Qian: Synthesizing Database Transactions. VLDB 1990: 552-565
305. Inderpal Singh Mumick, Hamid Pirahesh, Raghu Ramakrishnan: The Magic of Duplicates and Aggregates. VLDB 1990: 264-277
306. Juhani Kuittinen, Otto Nurmi, Seppo Sippu, Eljas Soisalon-Soininen: Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries. VLDB 1990: 372-379
307. Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468
308. Gultekin Özsoyoglu, Wen-Chi Hou, Adegbemiga Ola: Database Systems for Programmable Logic Controllers. SSDBM 1990: 183-199
309. Ouri Wolfson, Aya Ozeri: A New Paradigm for Parallel and Distributed Rule-Processing. SIGMOD Conference 1990: 133-142
310. Jeffrey D. Ullman, Mihalis Yannakakis: The Input/Output Complexity of Transitive Closure. SIGMOD Conference 1990: 44-53
311. Amihai Motro, Qiuhui Yuan: Querying Database Knowledge. SIGMOD Conference 1990: 173-183
312. Els Laenens, Domenico Saccà, Dirk Vermeir: Extending Logic Programming. SIGMOD Conference 1990: 184-193
313. Gerald Kiernan, Christophe de Maindreville, Eric Simon: Making Deductive Databases a Practical Technology: A Step Forward. SIGMOD Conference 1990: 237-246
314. 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
315. Mihalis Yannakakis: Graph-Theoretic Methods in Database Theory. PODS 1990: 230-242
316. Y. C. Tay: On the Optimality of Strategies for Multiple Joins. PODS 1990: 124-131
317. Domenico Saccà, Carlo Zaniolo: Stable Models and Non-Determinism in Logic Programs with Negation. PODS 1990: 205-217
318. Kenneth A. Ross: Modular Stratification and Magic Sets for DATALOG Programs with Negation. PODS 1990: 161-171
319. Thane E. Plambeck: Semigroup Techniques in Recursive Query Optimization. PODS 1990: 145-153
320. Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan: Magic Conditions. PODS 1990: 314-330
321. Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990: 61-71
322. Marc Gyssens, Jan Paredaens, Dirk Van Gucht: A Graph-Oriented Object Database Model. PODS 1990: 417-424
323. Charles Elkan: Independence of Logic Database Queries and Updates. PODS 1990: 154-160
324. Jan Chomicki: Polynomial Time Query Processing in Temporal Deductive Databases. PODS 1990: 379-391
325. Serge Abiteboul, Eric Simon, Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990: 218-229
326. Seppo Sippu, Eljas Soisalon-Soininen: Multiple SIP Strategies and Bottom-Up Adorning in Logic Query Optimization. ICDT 1990: 485-498
327. Irène Guessarian: Deciding Boundedness for Uniformly Connected Datalog Programs. ICDT 1990: 395-405
328. Ronald Fagin: Finite-Model Theory - a Personal Perspective. ICDT 1990: 3-24
329. Mariano P. Consens, Alberto O. Mendelzon: Low Complexity Aggregation in GraphLog and Datalog. ICDT 1990: 379-394
330. Paul De Bra, Jan Paredaens: Removing Redundancy and Updating Databases. ICDT 1990: 245-256
331. Catriel Beeri, Yoram Kornatzky: Algebraic Optimization of Object-Oriented Query Languages. ICDT 1990: 72-88
332. Neal R. Wagner, Robert L. Fountain, Robert J. Hazy: The Fingerprinted Database. ICDE 1990: 330-336
333. C. Wieland: Two Explanation Facilities for the Deductive Database Management System DeDEx. ER 1990: 189-203
334. Andreas Heuer, Jürgen Fuchs, U. Wiebking: OSCAR: An Object-Oriented Database System with a Nested Relational Kernel. ER 1990: 95-110
335. Carlo Zaniolo: Deductive Databases - Theory Meets Practice. EDBT 1990: 1-15
336. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Abstract Machine for LDL. EDBT 1990: 153-168
337. Catriel Beeri, Yoram Kornatzky: The Many Faces of Query Monotonicity. EDBT 1990: 120-135
338. Daniel Barbará, Hector Garcia-Molina, Daryl Porter: A Probalilistic Relational Data Model. EDBT 1990: 60-74
339. Clement T. Yu, Wei Sun: Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization. IEEE Trans. Knowl. Data Eng. 1(3): 362-375(1989)
340. Jiawei Han, Wenyu Lu: Asynchronous Chain Recursions. IEEE Trans. Knowl. Data Eng. 1(2): 185-195(1989)
341. Stefano Ceri, Georg Gottlob, Letizia Tanca: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1): 146-166(1989)
342. Olga De Troyer: RIDL*: A Tool for the Computer-Assisted Engineering of Large Databases in the Presence of Integrity Constraints. SIGMOD Conference 1989: 418-429
343. Richard Hull, Jianwen Su: On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). SIGMOD Conference 1989: 147-158
344. Marc Gyssens, Jan Paredaens, Dirk Van Gucht: A Grammar-Based Approach Towards Unifying Hierarchical Data Models (Extended Abstract). SIGMOD Conference 1989: 263-272
345. Jan Chomicki, Tomasz Imielinski: Relational Specifications of Infinite Query Answers. SIGMOD Conference 1989: 174-183
346. Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173
347. Jeffrey D. Ullman: Bottom-Up Beats Top-Down for Datalog. PODS 1989: 140-149
348. Yehoshua Sagiv, Moshe Y. Vardi: Safety of Datalog Queries over Infinite Databases. PODS 1989: 160-171
349. Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi: Proof-Tree Transformation Theorems and Their Applications. PODS 1989: 172-181
350. Sanjay Manchanda: Declarative Expression of Deductive Database Updates. PODS 1989: 93-100
351. V. S. Lakshmanan, Alberto O. Mendelzon: Inductive Pebble Games and the Expressive Power of Datalog. PODS 1989: 301-310
352. Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393
353. Zvi M. Kedem, Alexander Tuzhilin: Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models. PODS 1989: 336-346
354. Erik Lambrichts, Peter Nees, Jan Paredaens, Peter Peelman, Letizia Tanca: Integration of Functions in the Fixpoint Semantics of Rule-Based Systems. MFDBS 1989: 301-316
355. Joachim Biskup, Bernhard Convent: Towards a Schema Design Methodology for Deductive Databases. MFDBS 1989: 37-52
356. Alexander Tuzhilin, Zvi M. Kedem: Querying and Controlling the Future Behaviour of Complex Objects. ICDE 1989: 434-442
357. Xiaolei Qian: On the Expressive Power of the Bounded Iteration Construct. DBPL 1989: 411-421
358. Shamim A. Naqvi: Stratification as a Design Principle in Logical Query Langugages. DBPL 1989: 342-356
359. Sanjay Manchanda: "Higher-Order" Logic As a Data Model. DBPL 1989: 330-341
360. Richard Hull, Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989: 396-410
361. Shojiro Nishio, Masatsugu Nakahata, Eric G. Manning: A New Recursive Query Evaluation Strategy Using Search History Information. DASFAA 1989: 310-319
362. Jiawei Han, Wenyu Lu: Asynchronous Chain Recursions. DASFAA 1989: 285-292
363. Alessandro D'Atri, Fabrizio L. Ricci: Interpretation of Statistical Queries to Relational Databases. SSDBM 1988: 246-258
364. Jeffrey F. Naughton: Compiling Separable Recursions. SIGMOD Conference 1988: 312-319
365. Michael Kifer, Ai Li: On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988: 102-117
366. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18

Bibliography for Volumes 1 and 2 / "References by" for Volume 2

References

[Abiteboul and Grumbach 1987]

...

[Abiteboul and Hull 1987]

Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. PODS 1984: 119-132

[Abiteboul and Vianu 1988]

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

[Addis 1982]

Thomas R. Addis: A Relation-Based Language Interpreter for Content Addressable File Store. ACM Trans. Database Syst. 7(2): 125-163(1982)

[Afrati et al. 1986]

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

[Aghili and Severance 1982]

Houtan Aghili, Dennis G. Severance: A Practical Guide to the Design of Differential Files for Recovery of On-Line Databases. ACM Trans. Database Syst. 7(4): 540-565(1982)

[Agrawal et al. 1985]

Rakesh Agrawal, Michael J. Carey, Miron Livny: Models for Studying Concurrency Control Performance: Alternatives and Implications. SIGMOD Conference 1985: 108-121

[Agrawal and de Witt 1985]

Rakesh Agrawal, David J. DeWitt: Integrated Concurrency Control and Recovery Mechanisms: Design and Performance Evaluation. ACM Trans. Database Syst. 10(4): 529-564(1985)

[Agrawal and Jagadish 1987]

Rakesh Agrawal, H. V. Jagadish: Direct Algorithms for Computing the Transitive Closure of Database Relations. VLDB 1987: 255-266

[Aho et al. 1979]

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

[Aho et al. 1974]

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

[Aho et al. 1983]

Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman: Data Structures and Algorithms. Addison-Wesley 1983, ISBN 0-201-00023-7

[Aho et al. 1979a]

Alfred V. Aho, Brian W. Kernighan, Peter J. Weinberger: Awk-A Pattern Scanning and Processing Language. Softw., Pract. Exper. 9(4): 267-279(1979)

[Aho et al. 1988]

Alfred V. Aho, Brian W. Kernighan, Peter J. Weinberger: The AWK Programming Language. Addison-Wesley 1988

[Aho et al. 1986]

Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman: Compilers: Princiles, Techniques, and Tools. Addison-Wesley 1986, ISBN 0-201-10088-6

[Aho et al. 1979b]

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

[Aho et al. 1979c]

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

[Aho and Ullman 1979a]

Alfred V. Aho, Jeffrey D. Ullman: Optimal Partial-Match Retrieval When Fields Are Independently Specified. ACM Trans. Database Syst. 4(2): 168-179(1979)

[Aho and Ullman 1979b]

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

[ANSI 1975]

...

[Apers et al. 1983]

Peter M. G. Apers, Alan R. Hevner, S. Bing Yao: Optimization Algorithms for Distributed Queries. IEEE Trans. Software Eng. 9(1): 57-68(1983)

[Apt 1987]

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

[Apt et al. 1985]

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

[Apt and Pugin 1987]

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

[Apt and van Emden 1982]

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

[Armstrong 1974]

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

[Arora and Carlson 1978]

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

[Astrahan and Chamberlin 1975]

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

[Astrahan et al. 1976]

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

[Astrahan et al. 1979]

Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Mario Schkolnick, Patricia G. Selinger, Donald R. Slutz, H. Raymond Strong, Paolo Tiberio, Irving L. Traiger, Bradford W. Wade, Robert A. Yost: System R: A Relational Data Base Management System. IEEE Computer 12(5): 42-48(1979)

[Astrahan et al. 1980]

Morton M. Astrahan, Mario Schkolnick, Won Kim: Performance of the System R Access Path Selection Mechanism. IFIP Congress 1980: 487-491

[Atzeni and Chan 1985]

Paolo Atzeni, Edward P. F. Chan: Efficient Query Answering in the Representative Instance Approach. PODS 1985: 181-188

[Atzeni and DeBernardis 1987]

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

[Atzeni and Parker 1982]

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

[Bachman 1969]

...

[Badal 1980]

Dushan Z. Badal: The Analysis of the Effects of Concurrency Control on Distributed Database System Performance. VLDB 1980: 376-383

[Balbin et al. 1988]

...

[Balbin et al. 1987]

...

[Balbin and Ramamohanarao 1986]

...

[Bancilhon 1986a]

François Bancilhon: A Logic-Programming/Object-Oriented Cocktail. SIGMOD Record 15(3): 11-21(1986)

[Bancilhon 1986b]

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

[Bancilhon and Khoshafian 1986]

François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60

[Bancilhon et al. 1986]

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

[Bancilhon and Ramakrishnan 1986]

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

[Baroody and DeWitt 1981]

A. James Baroody Jr., David J. DeWitt: An Object-Oriented Approach to Database System Implementation. ACM Trans. Database Syst. 6(4): 576-601(1981)

[Batory 1988]

Don S. Batory: Concepts for a Database System Compiler. PODS 1988: 184-192

[Batory et al. 1988]

Don S. Batory, T. Y. Leung, T. E. Wise: Implementation Concepts for an Extensible Data Model and Data Language. ACM Trans. Database Syst. 13(3): 231-262(1988)

[Bayer 1985]

...

[Bayer et al. 1980]

Rudolf Bayer, Klaus Elhardt, Hans Heller, Angelika Reiser: Distributed Concurrency Control in Database Systems. VLDB 1980: 275-284

[Bayer and McCreight 1972]

Rudolf Bayer, Edward M. McCreight: Organization and Maintenance of Large Ordered Indices. Acta Inf. 1: 173-189(1972)

[Bayer and Schkolnick 1977]

Rudolf Bayer, Mario Schkolnick: Concurrency of Operations on B-Trees. Acta Inf. 9: 1-21(1977)

[Beck 1978]

...

[Beech 1987]

...

[Beeri 1980]

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

[Beeri and Bernstein 1979]

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

[Beeri et al. 1978]

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

[Beeri et al. 1983]

Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Concurrency Control Theory for Nested Transactions. PODC 1983: 45-62

[Beeri et al. 1977]

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

[Beeri et al. 1983]

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

[Beeri and Honeyman 1981]

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

[Beeri et al. 1987]

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

[Beeri et al. 1981]

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

[Beeri et al. 1987]

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

[Beeri and Ramakrishnan 1987]

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

[Beeri and Vardi 1981]

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

[Beeri and Vardi 1984a]

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

[Beeri and Vardi 1984b]

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

[Bentley 1975]

Jon Louis Bentley: Multidimensional Binary Search Trees Used for Associative Searching. Commun. ACM 18(9): 509-517(1975)

[Bentley and Friedman 1979]

Jon Louis Bentley, Jerome H. Friedman: Data Structures for Range Searching. ACM Comput. Surv. 11(4): 397-409(1979)

[Bentley and Stanat 1975]

Jon Louis Bentley, Donald F. Stanat: Analysis of Range Searches in Quad Trees. Inf. Process. Lett. 3(6): 170-173(1975)

[Bernstein 1976]

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

[Bernstein and Chiu 1981]

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

[Bernstein and Goodman 1980a]

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

[Bernstein and Goodman 1980b]

Philip A. Bernstein, Nathan Goodman: Timestamp-Based Algorithms for Concurrency Control in Distributed Database Systems. VLDB 1980: 285-300

[Bernstein and Goodman 1981a]

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

[Bernstein and Goodman 1981b]

Philip A. Bernstein, Nathan Goodman: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2): 185-221(1981)

[Bernstein and Goodman 1983]

Philip A. Bernstein, Nathan Goodman: Multiversion Concurrency Control - Theory and Algorithms. ACM Trans. Database Syst. 8(4): 465-483(1983)

[Bernstein and Goodman 1984]

Philip A. Bernstein, Nathan Goodman: An Algorithm for Concurrency Control and Recovery in Replicated Distributed Databases. ACM Trans. Database Syst. 9(4): 596-615(1984)

[Bernstein et al. 1983]

Philip A. Bernstein, Nathan Goodman, Vassos Hadzilacos: Recovery Algorithms for Database Systems. IFIP Congress 1983: 799-807

[Bernstein et al. 1978]

Philip A. Bernstein, James B. Rothnie Jr., Nathan Goodman, Christos H. Papadimitriou: The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case). IEEE Trans. Software Eng. 4(3): 154-168(1978)

[Bernstein et al. 1981]

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)

[Bernstein et al. 1987]

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

[Bernstein and Shipman 1980]

Philip A. Bernstein, David W. Shipman: The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 52-68(1980)

[Bernstein et al. 1980]

Philip A. Bernstein, David W. Shipman, James B. Rothnie Jr.: Concurrency Control in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 18-51(1980)

[Bidoit and Hull 1986]

Nicole Bidoit, Richard Hull: Positivism vs. Minimalism in Deductive Databases. PODS 1986: 123-132

[Biliris 1987]

Alexandros Biliris: Operation Specific Locking in B-Trees. PODS 1987: 159-169

[Biskup 1980]

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

[Biskup and Brüggemann 1983]

Joachim Biskup, Hans Hermann Brüggemann: Universal Relation Views: A Pragmatic Approach. VLDB 1983: 172-185

[Biskup et al. 1986]

Joachim Biskup, Hans Hermann Brüggemann, L. Schnetgöke, M. Kramer: One Flavor Assumption and Gamma-Acyclicity for Universal Relation Views. PODS 1986: 148-159

[Biskup et al. 1979]

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

[Biskup and Stiefeling 1988]

Joachim Biskup, Holger Stiefeling: Transitive Closure Algorithms for Very Large Databases. WG 1988: 122-147

[Bitton et al. 1983]

Dina Bitton, Haran Boral, David J. DeWitt, W. Kevin Wilkinson: Parallel Algorithms for the Execution of Relational Database Operations. ACM Trans. Database Syst. 8(3): 324-353(1983)

[Blasgen et al. 1981]

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

[Bocca 1986]

Jorge B. Bocca: EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS. SLP 1986: 36-45

[Bolour 1979]

Azad Bolour: Optimality Properties of Multiple-Key Hashing Functions. J. ACM 26(2): 196-210(1979)

[Bosak et al. 1962]

...

[Boyce et al. 1975]

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

[Brodie 1984]

Michael L. Brodie: On the Development of Data Models. On Conceptual Modelling (Intervale) 1982: 19-47

[Brodie and Mylopoulos 1986]

Michael L. Brodie, John Mylopoulos (Eds.): On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, Book resulting from the Islamorada Workshop 1985. Topics in Information Systems Springer 1986, ISBN 3-540-96382-0
Contents

[Brodie et al. 1984]

...

[Brown et al. 1984]

Mark R. Brown, Karen N. Kolling, Edward A. Taft: The Alpine File System. ACM Trans. Comput. Syst. 3(4): 261-293(1985)

[Buckley and Silberschatz 1985]

Gael N. Buckley, Abraham Silberschatz: Beyond Two-Phase Locking. J. ACM 32(2): 314-326(1985)

[Burkhard 1976]

Walter A. Burkhard: Hashing and Trie Algorithms for Partial Match Retrieval. ACM Trans. Database Syst. 1(2): 175-187(1976)

[Burkhard et al. 1981]

Walter A. Burkhard, Michael L. Fredman, Daniel J. Kleitman: Inherent Complexity Trade-Offs for Range Query Problems. Theor. Comput. Sci. 16: 279-290(1981)

[Cardenas 1979]

...

[Carey 1983]

Michael J. Carey: Granularity Hierarchies in Concurrency Control. PODS 1983: 156-165

[Carey et al. 1986]

Michael J. Carey, David J. DeWitt, Daniel Frank, Goetz Graefe, M. Muralikrishna, Joel E. Richardson, Eugene J. Shekita: The Architecture of the EXODUS Extensible DBMS. OODBS 1986: 52-65

[Carlson and Kaplan 1976]

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

[Casanova et al. 1984]

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)

[Ceri et al. 1987]

Stefano Ceri, Georg Gottlob, Gio Wiederhold: Interfacing Relational Databases and Prolog Efficiently. Expert Database Conf. 1986: 207-223

[Ceri and Pelkagatti 1980]

...

[Ceri and Pelagatti 1984]

Stefano Ceri, Giuseppe Pelagatti: Distributed Databases: Principles and Systems. McGraw-Hill Book Company 1984, ISBN 0-07-010829-3

[Chakravarthy and Minker 1986]

Upen S. Chakravarthy, Jack Minker: Multiple Query Processing in Deductive Databases using Query Graphs. VLDB 1986: 384-391

[Chamberlin et al. 1976]

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

[Chamberlin et al. 1981a]

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

[Chamberlin et al. 1981b]

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

[Chandra 1988]

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

[Chandra and Harel 1980]

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

[Chandra and Harel 1982]

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

[Chandra and Harel 1985]

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

[Chandra et al. 1981]

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

[Chandra and Merlin 1977]

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

[Chandy et al. 1975]

K. Mani Chandy, James C. Browne, Charles W. Dissly, Werner R. Uhrig: Analytic Models for Rollback and Recovery Strategies in Data Base Systems. IEEE Trans. Software Eng. 1(1): 100-110(1975)

[Chan 1984]

Edward P. F. Chan: Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions. SIGMOD Conference 1984: 149-163

[Chang 1980]

...

[Chang 1981]

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

[Chen 1976]

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

[Childs 1968]

...

[Chimenti et al. 1987]

Danette Chimenti, Anthony B. O'Hare, Ravi Krishnamurthy, Shalom Tsur, Carolyn West, Carlo Zaniolo: An Overview of the LDL System. IEEE Data Eng. Bull. 10(4): 52-62(1987)

[Chiu et al. 1981]

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

[Cincom 1978]

...

[Clark 1978]

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

[Clocksin and Mellish 1981]

W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981

[CODASYL 1971]

...

[CODASYL 1978]

...

[Codd 1970]

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

[Codd 1972a]

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

[Codd 1972b]

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

[Codd 1975]

...

[Codd 1979]

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

[Codd 1988]

E. F. Codd: `Universal' Relation Fails to Replace Relational Model (letter to the editor). IEEE Software 5(4): 4-6(1988)

[Comer 1978]

Douglas Comer: The Difficulty of Optimum Index Selection. ACM Trans. Database Syst. 3(4): 440-445(1978)

[Comer 1979]

Douglas Comer: The Ubiquitous B-Tree. ACM Comput. Surv. 11(2): 121-137(1979)

[Cooper 1980]

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

[Cosmadakis and Afrati 1988]

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

[Cosmadakis et al. 1988]

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

[Cosmadakis and Kanellakis 1986]

Stavros S. Cosmadakis, Paris C. Kanellakis: Parallel Evaluation of Recursive Rule Queries. PODS 1986: 280-293

[Cruz and Norvell 1988]

Isabel F. Cruz, Theodore S. Norvell: Aggregative Closure: An Extension of Transitive Closure. ICDE 1989: 384-391

[Culik et al. 1981]

Karel Culik II, Thomas Ottmann, Derick Wood: Dense Multiway Trees. ACM Trans. Database Syst. 6(3): 486-512(1981)

[Cullinane 1978]

...

[Danforth et al. 1988]

...

[Daniels 1982]

Dean Daniels, Patricia G. Selinger, Laura M. Haas, Bruce G. Lindsay, C. Mohan, Adrian Walker, Paul F. Wilms: An Introduction to Distributed Query Compilation in R*. DDB 1982: 291-309

[Date 1986]

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

[D`Atri and Moscarini 1986]

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

[Davidson 1984]

Susan B. Davidson: Optimism and Consistency In Partitioned Distributed Database Systems. ACM Trans. Database Syst. 9(3): 456-481(1984)

[Dayal and Bernstein 1978]

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

[Dayal and Bernstein 1982]

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

[Dayal and Smith 1986]

Umeshwar Dayal, John Miles Smith: PROBE: A Knowledge-Oriented Database Management System. On Knowledge Base Management Systems (Islamorada) 1985: 227-257

[Debray and Warren 1986]

Saumya K. Debray, David Scott Warren: Automatic Mode Inference for Prolog Programs. SLP 1986: 78-88

[Delobel 1978]

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

[Delobel and Casey 1972]

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)

[DeWitt and Gerber 1985]

David J. DeWitt, Robert H. Gerber: Multiprocessor Hash-Based Join Algorithms. VLDB 1985: 151-164

[Dietrich 1987]

Suzanne W. Dietrich: Extension Tables: Memo Relations in Logic Programming. SLP 1987: 264-272

[Dietrich and Warren 1985]

...

[DiPaola 1969]

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

[Dwork and Skeen 1983]

Cynthia Dwork, Dale Skeen: The Inherent Cost of Nonblocking Commitment. PODC 1983: 1-11

[Eager and Sevcik 1983]

Derek L. Eager, Kenneth C. Sevcik: Achieving Robustness in Distributed Database Systems. ACM Trans. Database Syst. 8(3): 354-381(1983)

[Earley 1970]

Jay Earley: An Efficient Context-Free Parsing Algorithm. Commun. ACM 13(2): 94-102(1970)

[El Abadi and Toueg 1986]

Amr El Abbadi, Sam Toueg: Availability in Partitioned Replicated Databases. PODS 1986: 240-251

[Ellis 1980]

Carla Schlatter Ellis: Concurrent Search and Insertion in 2-3 Trees. Acta Inf. 14: 63-86,(1980)

[Ellis 1987]

Carla Schlatter Ellis: Concurrency in Linear Hashing. ACM Trans. Database Syst. 12(2): 195-217(1987)

[El Masri and Wiederhold 1979]

Ramez Elmasri, Gio Wiederhold: Data Model Integration Using the Structural Model. SIGMOD Conference 1979: 191-202

[Epstein et al. 1979]

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

[Eswaran et al. 1976]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976)

[Fagin 1977]

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

[Fagin 1978]

Ronald Fagin: On an Authorization Mechanism. ACM Trans. Database Syst. 3(3): 310-319(1978)

[Fagin 1981]

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

[Fagin 1982]

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

[Fagin 1983]

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

[Fagin et al. 1982]

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)

[Fagin et al. 1979]

Ronald Fagin, Jürg Nievergelt, Nicholas Pippenger, H. Raymond Strong: Extendible Hashing - A Fast Access Method for Dynamic Files. ACM Trans. Database Syst. 4(3): 315-344(1979)

[Fagin and Vardi 1986]

...

[Fekete et al. 1987]

Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl: Nested Transactions and Read/Write Locking. PODS 1987: 97-111

[Fernandez et al. 1980]

...

[Filat and Kraning 1970]

...

[Finkel and Bentley 1974]

Raphael A. Finkel, Jon Louis Bentley: Quad Trees: A Data Structure for Retrieval on Composite Keys. Acta Inf. 4: 1-9(1974)

[Fischer and Tsou 1983]

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)

[Fischer and van Gucht 1984]

Patrick C. Fischer, Dirk Van Gucht: Weak Multivalued Dependencies. PODS 1984: 266-274

[Fishman et al. 1986]

Daniel H. Fishman, David Beech, H. P. Cate, E. C. Chow, Tim Connors, J. W. Davis, Nigel Derrett, C. G. Hoch, William Kent, Peter Lyngbæk, Brom Mahbod, Marie-Anne Neimat, T. A. Ryan, Ming-Chien Shan: Iris: An Object-Oriented Database Management System. ACM Trans. Inf. Syst. 5(1): 48-69(1987)

[Fong and Ullman 1976]

Amelia C. Fong, Jeffrey D. Ullman: Induction Variables in Very High Level Languages. POPL 1976: 104-112

[Franaszek and Robinson 1985]

Peter A. Franaszek, John T. Robinson: Limitations of Concurrency in Transaction Processing. ACM Trans. Database Syst. 10(1): 1-28(1985)

[Fredman 1981]

Michael L. Fredman: A Lower Bound on the Complexity of Orthogonal Range Queries. J. ACM 28(4): 696-705(1981)

[Freytag 1987]

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

[Frost 1986]

Richard A. Frost: Introduction to Knowledge Base Systems. Collins 1986, ISBN 0-00-383114-0

[Furtado 1978]

Antonio L. Furtado: Formal aspects of the relational model. Inf. Syst. 3(2): 131-140(1978)

[Gaifman et al. 1987]

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

[Galil 1982]

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

[Gallaire and Minker 1978]

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

[Gallaire et al. 1981]

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

[Gallaire et al. 1983]

Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France. Advances in Data Base Theory Plemum Press 1984, ISBN 0-306-41636-0
Contents

[Gallaire et al. 1984]

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

[Gangopadhyay 1987]

...

[Garcia-Molina 1979]

...

[Garcia-Molina 1982]

Hector Garcia-Molina: Elections in a Distributed Computing System. IEEE Trans. Computers 31(1): 48-59(1982)

[Garcia-Molina and Kent 1985]

Jack Kent, Hector Garcia-Molina, Jae Chung: An Experimental Evaluation of Crash Recovery Mechanisms. PODS 1985: 113-122

[Gardarin and Maindreville 1986]

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

[Garey and Johnson 1979]

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

[Gelenbe and Derochette 1978]

Erol Gelenbe, D. Derochette: Performance of Rollback Recovery Systems under Intermittent Failures. Commun. ACM 21(6): 493-499(1978)

[Gelfond and Lifschitz 1988]

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

[Gelfond eta l. 1986]

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. PODS 1986: 133-139

[Genesereth 1983]

...

[Genesereth and Nilsson 1988]

...

[Ginsberg 1988]

...

[Ginsburg and Zaiddan 1982]

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

[Goldberg and Robson 1980]

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

[Gonzalez-Rubio et al. 1987]

...

[Goodman 1981]

...

[Goodman 1970]

...

[Goodman and Shmueli 1982]

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

[Goodman and Shmueli 1983]

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

[Gotlieb and Tompa 1973]

C. C. Gotlieb, Frank Wm. Tompa: Choosing a Storage Schema. Acta Inf. 3: 297-319(1974)

[Gotlieb 1975]

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

[Gottlob 1987]

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

[Gouda and Dayal 1981]

Mohamed G. Gouda, Umeshwar Dayal: Optimal Semijoin Schedules For Query Processing in Local Distributed Database Systems. SIGMOD Conference 1981: 164-175

[Graefe and DeWitt 1987]

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

[Graham 1979]

...

[Graham et al. 1986]

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

[Graham and Yannakakis 1984]

Marc H. Graham, Mihalis Yannakakis: Independent Database Schemas. J. Comput. Syst. Sci. 28(1): 121-141(1984)

[Grahne and Raiha 1986]

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

[Gray 1978]

Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481

[Gray et al. 1981]

Jim Gray, Paul R. McJones, Mike W. Blasgen, Bruce G. Lindsay, Raymond A. Lorie, Thomas G. Price, Gianfranco R. Putzolu, Irving L. Traiger: The Recovery Manager of the System R Database Manager. ACM Comput. Surv. 13(2): 223-243(1981)

[Gray et al. 1975]

Jim Gray, Raymond A. Lorie, Gianfranco R. Putzolu, Irving L. Traiger: Granularity of Locks in a Large Shared Data Base. VLDB 1975: 428-451

[Gray and Putzolo 1987]

Jim Gray, Gianfranco R. Putzolu: The 5 Minute Rule for Trading Memory for Disk Accesses and The 10 Byte Rule for Trading Memory for CPU Time. SIGMOD Conference 1987: 395-398

[Gray et al. 1976]

Jim Gray, Raymond A. Lorie, Gianfranco R. Putzolu, Irving L. Traiger: Granularity of Locks and Degrees of Consistency in a Shared Data Base. IFIP Working Conference on Modelling in Data Base Management Systems 1976: 365-394

[Greenblatt and Waxman 1978]

David Greenblatt, Jerry Waxman: A Study of Three Database Query Languages. JCDKB 1978: 77-97

[Griffiths eta l. 1979]

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

[Griffiths and Wade 1976]

Patricia P. Griffiths, Bradford W. Wade: An Authorization Mechanism for a Relational Database System. ACM Trans. Database Syst. 1(3): 242-255(1976)

[Gudes and Tsur 1980]

Ehud Gudes, Shalom Tsur: Experiments with B-Tree Reorganization. SIGMOD Conference 1980: 200-206

[Gruevich and Lewis 1982]

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

[Haas et al. 1988]

...

[Haberman 1970]

...

[Haddad and Naughton 1988]

Ramsey W. Haddad, Jeffrey F. Naughton: Counting Methods for Cyclic Relations. PODS 1988: 333-340

[Hadzilacos and Papadimitriou 1985]

Thanasis Hadzilacos, Christos H. Papadimitriou: Algorithmic Aspects of Multiversion Concurrency Control. PODS 1985: 96-104

[Hadzilacos and Yannakakis 1986]

Thanasis Hadzilacos, Mihalis Yannakakis: Deleting Completed Transactions. PODS 1986: 43-46

[Hadzilacos 1982]

Vassos Hadzilacos: An Algorithm for Minimizing Roll Back Cost. PODS 1982: 93-97

[Hadzilacos 1987]

Vassos Hadzilacos: A Knowledge Theoretic Analysis of Atomic Commitment Protocols. PODS 1987: 129-134

[Haerder and Reuter 1983]

Theo Härder, Andreas Reuter: Principles of Transaction-Oriented Database Recovery. ACM Comput. Surv. 15(4): 287-317(1983)

[Hagihara et al. 1979]

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

[Hall 1976]

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

[Hammer and McLeod1981]

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

[Hammer and Shipman 1980]

Michael Hammer, David W. Shipman: Reliability Mechanisms for SDD-1: A System for Distributed Databases. ACM Trans. Database Syst. 5(4): 431-466(1980)

[Han 1988]

Jiawei Han: Selection of Processing Strategies for Different Recursive Queries. JCDKB 1988: 59-68

[Han and Henschen 1987]

Jiawei Han, Lawrence J. Henschen: Handling Redundancy in the Processing of Recursive Database Queries. SIGMOD Conference 1987: 73-81

[Harel 1986]

...

[Heath 1971]

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

[Heiler and Rosenthal 1985]

Sandra Heiler, Arnon Rosenthal: G-WHIZ, a Visual Interface for the Functional Model with Recursion. VLDB 1985: 209-218

[Held and Stonebraker 1978]

Gerald Held, Michael Stonebraker: B-trees Re-examined. Commun. ACM 21(2): 139-143(1978)

[Henschen and Naqvi 1984]

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

[Hill 1974]

...

[Holt 1972]

Richard C. Holt: Some Deadlock Properties of Computer Systems. ACM Comput. Surv. 4(3): 179-196(1972)

[Honeyman 1980]

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

[Honeyman 1982]

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

[Honeyman et al. 1980]

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

[Hull and King 1987]

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

[Hull and Su 1988]

Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988: 39-51

[Hull and Yap 1984]

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

[Hunt and Rosenkrantz 1979]

Harry B. Hunt III, Daniel J. Rosenkrantz: The Complexity of Testing Predicate Locks. SIGMOD Conference 1979: 127-133

[Ibaraki and Kameda 1984]

Toshihide Ibaraki, Tiko Kameda: On the Optimal Nesting Order for Computing N-Relational Joins. ACM Trans. Database Syst. 9(3): 482-502(1984)

[IBM 1978a]

...

[IBM 1978b]

...

[IBM 1984]

...

[IBM 1985a]

...

[IBM 1985b]

...

[Imielinski 1986]

Tomasz Imielinski: Query Processing in Deductive Databases with Incomplete Information. SIGMOD Conference 1986: 268-280

[Imielinski and Lipski 1984]

Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. J. ACM 31(4): 761-791(1984)

[Imielinski and Naqvi 1988]

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

[Immerman 1982]

Neil Immerman: Relational Queries Computable in Polynomial Time (Extended Abstract). STOC 1982: 147-152

[Ioannidis 1986a]

...

[Ioannidis 1986b]

Yannis E. Ioannidis: On the Computation of the Transitive Closure of Relational Operators. VLDB 1986: 403-411

[Ioannidis et al. 1988]

Yannis E. Ioannidis, Joanna Chen, Mark A. Friedman, Manolis M. Tsangaris: Bermuda - An Architectural Perspective on Interfacing Prolog to a Database Machine. Expert Database Conf. 1988: 229-255

[Ioannidis and Ramakrishnan 1988]

Yannis E. Ioannidis, Raghu Ramakrishnan: Efficient Transitive Closure Algorithms. VLDB 1988: 382-394

[Ioannidis and Wong 1987a]

Yannis E. Ioannidis, Eugene Wong: Query Optimization by Simulated Annealing. SIGMOD Conference 1987: 9-22

[Ioannidis and Wong 1987b]

Yannis E. Ioannidis, Eugene Wong: An Algebraic Approach to Recursive Inference. Expert Database Conf. 1986: 295-309

[Ioannidis and Wong 1988]

Yannis E. Ioannidis, Eugene Wong: Transforming Nonlinear Recursion into Linear Recursion. Expert Database Conf. 1988: 401-421

[Jaeschke and Scheck 1982]

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

[Jagadish et al. 1987]

H. V. Jagadish, Rakesh Agrawal, Linda Ness: A Study of Transitive Closure As a Recursion Mechanism. SIGMOD Conference 1987: 331-344

[Jarke et al. 1984]

Matthias Jarke, James Clifford, Yannis Vassiliou: An Optimizing Prolog Front-End to a Relational Query System. SIGMOD Conference 1984: 296-306

[Jarke and Koch 1984]

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

[Johnson and Klug 1983a]

David S. Johnson, Anthony C. Klug: Optimizing Conjunctive Queries that Contain Untyped Variables. SIAM J. Comput. 12(4): 616-640(1983)

[Johnson and Klug 1983b]

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)

[Jou and Fischer 1983]

Jiann H. Jou, Patrick C. Fischer: The Complexity of Recognizing 3NF Relation Schemes. Inf. Process. Lett. 14(4): 187-190(1982)

[Kambayashi 1978]

...

[Kambayashi 1981]

...

[Kanellakis 1986]

...

[Kanellakis et al. 1983]

Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi: Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract). STOC 1983: 264-277

[Kanellakis and Papadimitriou 1981]

Paris C. Kanellakis, Christos H. Papadimitriou: The Complexity of Distributed Concurrency Control. FOCS 1981: 185-197

[Kanellakis and Papadimitriou 1984]

Paris C. Kanellakis, Christos H. Papadimitriou: Is Distributed Locking Harder? J. Comput. Syst. Sci. 28(1): 103-120(1984)

[Kedem and Silberschatz 1979]

Zvi M. Kedem, Abraham Silberschatz: Controlling Concurrency Using Locking Protocols (Preliminary Report). FOCS 1979: 274-285

[Kedem and Silberschatz 1980]

Zvi M. Kedem, Abraham Silberschatz: Non-Two-Phase Locking Protocols with Shared and Exclusive Locks. VLDB 1980: 309-317

[Keller 1985]

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

[Kellogg et al. 1986]

Charles Kellogg, Anthony B. O'Hare, Larry Travis: Optimizing the Rule-Data Interface in a KMS. VLDB 1986: 42-51

[Kemp and Topor 1988]

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

[Kent 1979]

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

[Kent 1981]

William Kent: Consequences of Assuming a Universal Relation. ACM Trans. Database Syst. 6(4): 539-556(1981)

[Kent 1983]

William Kent: The Universal Relation Revisited. ACM Trans. Database Syst. 8(4): 644-648(1983)

[Kerschberg 1987]

Larry Kerschberg (Ed.): Expert Database Systems, Proceedings From the First International Conference, Charleston, South Carolina, USA, April 1-4, 1986. Benjamin/Cummings 1987, ISBN 0-8053-3271-5
Contents

[Kerschberg et al. 1977]

Larry Kerschberg, Anthony C. Klug, Dennis Tsichritzis: A Taxonomy of Data Models. VLDB 1976: 43-64

[Khoshafian and Copeland 1986]

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

[Kifer and Lozinskii 1985]

...

[Kifer et al. 1988]

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

[Kim 1979]

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

[Kim 1981]

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

[Kleene 1956]

...

[Klug 1981]

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

[Klug 1988]

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

[Knuth 1968]

Donald E. Knuth: The Art of Computer Programming, Volume I: Fundamental Algorithms. Addison-Wesley 1968

[Knuth 1973]

Donald E. Knuth: The Art of Computer Programming, Volume III: Sorting and Searching. Addison-Wesley 1973, ISBN 0-201-03803-X

[Kolaitis 1987]

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

[Kolaitis and Papadimitriou 1988]

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

[Korth 1983]

Henry F. Korth: Locking Primitives in a Database System. J. ACM 30(1): 55-79(1983)

[Korth et al. 1984]

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

[Korth and Silberschatz 1986]

Abraham Silberschatz, Henry F. Korth: Database System Concepts, 1st Edition. McGraw-Hill Book Company 1986, ISBN 0-07-100529-3

[Kowalski 1974]

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

[Kowalski 1975]

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

[Kowalksi 1988]

Robert A. Kowalski: The Early Years of Logic Programming. Commun. ACM 31(1): 38-43(1988)

[Kowalski and Kuehner 1971]

Robert A. Kowalski, Donald Kuehner: Linear Resolution with Selection Function. Artif. Intell. 2(3/4): 227-260(1971)

[Krishnamurthy et al. 1986]

Ravi Krishnamurthy, Haran Boral, Carlo Zaniolo: Optimization of Nonrecursive Queries. VLDB 1986: 128-137

[Krishnamurthy et al. 1988]

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

[Kuck and Sagiv 1982]

Sharon McCure Kuck, Yehoshua Sagiv: A Universal Relation Database System Implemented via the Network Model. PODS 1982: 147-157

[Kuhns 1967]

...

[Kung and Papadimitriou 1979]

H. T. Kung, Christos H. Papadimitriou: An Optimality Theory of Concurrency Control for Databases. SIGMOD Conference 1979: 116-126

[Kung and Robinson 1981]

H. T. Kung, John T. Robinson: On Optimistic Methods for Concurrency Control. ACM Trans. Database Syst. 6(2): 213-226(1981)

[Kunifuji and Yokuta 1982]

...

[Kuper 1987]

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

[Kuper 1988]

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

[Kuper and Vardi 1984]

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

[Kuper and Vardi 1985]

Gabriel M. Kuper, Moshe Y. Vardi: On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985: 180-187

[Lacroix and Pirotte 1976]

...

[Lamport 1978]

Leslie Lamport: Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM 21(7): 558-565(1978)

[Lampson and Sturgis 1976]

...

[Larson 1978]

Per-Åke Larson: Dynamic Hashing. BIT 18(2): 184-201(1978)

[Larson 1982]

Per-Åke Larson: Performance Analysis of Linear Hashing with Partial Expansions. ACM Trans. Database Syst. 7(4): 566-587(1982)

[Laver et al. 1983]

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

[Lee et al. 1988]

Mavis K. Lee, Johann Christoph Freytag, Guy M. Lohman: Implementing an Interpreter for Functional Rules in a Query Optimizer. VLDB 1988: 218-229

[Lehmann 1977]

Daniel J. Lehmann: Algebraic Structures for Transitive Closure. Theor. Comput. Sci. 4(1): 59-76(1977)

[Lehman and Yao 1981]

Philip L. Lehman, S. Bing Yao: Efficient Locking for Concurrent Operations on B-Trees. ACM Trans. Database Syst. 6(4): 650-670(1981)

[Levien 1969]

...

[Levien and Maron 1967]

...

[Le 1985]

Van Tu Le: General Failure of Logic Programs. J. Log. Program. 2(2): 157-165(1985)

[Lien 1979]

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

[Lien 1982]

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

[Lifschitz 1985]

Vladimir Lifschitz: Closed-World Databases and Circumscription. Artif. Intell. 27(2): 229-235(1985)

[Lifschitz 1988]

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

[Ling et al. 1981]

Tok Wang Ling, Frank Wm. Tompa, Tiko Kameda: An Improved Third Normal Form for Relational Databases. ACM Trans. Database Syst. 6(2): 329-346(1981)

[Lipski 1981]

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

[Lipski and Papadimitriou 1981]

Witold Lipski Jr., Christos H. Papadimitriou: A Fast Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems. J. Algorithms 2(3): 211-226(1981)

[Litwin 1980]

Witold Litwin: Linear Hashing: A New Tool for File and Table Addressing. VLDB 1980: 212-223

[Litwin 1984]

Witold Litwin: MALPHA: A Relational Multidatabase Manipulation Language. ICDE 1984: 86-93

[Liu and Demers 1980]

Lishing Liu, Alan J. Demers: An Algorithm for Testing Lossless Join Property in Relational Databases. Inf. Process. Lett. 11(2): 73-76(1980)

[Lloyd 1984]

John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6

[Lohman 1988]

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

[Lohman et al. 1984]

Guy M. Lohman, C. Mohan, Laura M. Haas, Dean Daniels, Bruce G. Lindsay, Patricia G. Selinger, Paul F. Wilms: Query Processing in R*. Query Processing in Database Systems 1985: 31-47

[Lorie 1977]

Raymond A. Lorie: Physical Integrity in a Large Segmented Database. ACM Trans. Database Syst. 2(1): 91-104(1977)

[Lozinskii 1985]

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

[Lucchesi and Osborn 1978]

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

[Lueker 1978]

George S. Lueker: A Data Structure for Orthogonal Range Queries. FOCS 1978: 28-34

[Lu et al. 1987]

Hongjun Lu, Krishna P. Mikkilineni, James P. Richardson: Design and Evaluation of Algorithms to Compute the Transitive Closure of a Database Relation. ICDE 1987: 112-119

[Lum and Ling 1970]

Vincent Y. Lum: Multi-Attribute Retrieval with Combined Indexes. Commun. ACM 13(11): 660-665(1970)

[Mackert and Lohman 1986]

Lothar F. Mackert, Guy M. Lohman: R* Optimizer Validation and Performance Evaluation for Local Queries. SIGMOD Conference 1986: 84-95

[Maher 1986]

Michael J. Maher: Eqivalences of Logic Programs. ICLP 1986: 410-424

[Maier 1980]

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

[Maier 1983]

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

[Maier 1986]

...

[Maier et al. 1980]

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

[Maier et al. 1979]

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

[Maier et al. 1986]

David Maier, David Rozenshtein, David Scott Warren: Window Functions. Advances in Computing Research 3: 213-246(1986)

[Maier et al. 1981]

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

[Maier et al. 1986]

David Maier, Jacob Stein, Allen Otis, Alan Purdy: Development of an Object-Oriented DBMS. OOPSLA 1986: 472-482

[Maier and Ullman 1983a]

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

[Maier and Ullman 1983b]

David Maier, Jeffrey D. Ullman: Fragments of Relations. SIGMOD Conference 1983: 15-22

[Maier et al. 1984]

David Maier, Jeffrey D. Ullman, Moshe Y. Vardi: On the Foundations of the Universal Relation Model. ACM Trans. Database Syst. 9(2): 283-308(1984)

[Maier and Warren 1988]

David Maier, David Scott Warren: Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings 1988, ISBN 0-8053-6681-4

[Malvestuto 1986]

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

[Manber and Ladner 1984]

Udi Manber, Richard E. Ladner: Concurrency Control In a Dynamic Search Structure. ACM Trans. Database Syst. 9(3): 439-455(1984)

[Manna and Waldinger 1985]

...

[Marchetti-Spaccamela et al. 1987]

Alberto Marchetti-Spaccamela, Antonella Pelaggi, Domenico Saccà: Worst-case Complexity Analysis of Methods for Logic Query Implementation. PODS 1987: 294-301