dblp.uni-trier.de www.uni-trier.de

Ullman: Principles of Database and Knowledge-Base Systems

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1 BibTeX

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

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X BibTeX

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 DP. 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: DatalogA: 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
BibTeX

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 BibTeX
[Abiteboul and Vianu 1988]
Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250 BibTeX
[Addis 1982]
Thomas R. Addis: A Relation-Based Language Interpreter for Content Addressable File Store. ACM Trans. Database Syst. 7(2): 125-163(1982) BibTeX
[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 BibTeX
[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) BibTeX
[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 BibTeX
[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) BibTeX
[Agrawal and Jagadish 1987]
Rakesh Agrawal, H. V. Jagadish: Direct Algorithms for Computing the Transitive Closure of Database Relations. VLDB 1987: 255-266 BibTeX
[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) BibTeX
[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
BibTeX
[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
BibTeX
[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) BibTeX
[Aho et al. 1988]
Alfred V. Aho, Brian W. Kernighan, Peter J. Weinberger: The AWK Programming Language. Addison-Wesley 1988
BibTeX
[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
BibTeX
[Aho et al. 1979b]
Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalences Among Relational Expressions. SIAM J. Comput. 8(2): 218-246(1979) BibTeX
[Aho et al. 1979c]
Alfred V. Aho, Yehoshua Sagiv,