Static Analysis Techniques for Predicting the Behavior of Active Database Rules.

ACM Transactions on Database Systems (TODS) 20 1 March 1995

Alexander Aiken Joseph M. Hellerstein Jennifer Widom Static Analysis Techniques for Predicting the Behavior of Active Database Rules. 3 41 http://www.acm.org/sigmod/dblp/db/journals/tods/AikenHW95.html

Weidong Chen Declarative Updates of Relational Databases. 42 70 http://www.acm.org/sigmod/dblp/db/journals/tods/Chen95.html

H. V. Jagadish The INCINERATE Data Model. 71 110 http://www.acm.org/sigmod/dblp/db/journals/tods/Jagadish95.html

2 June 1995

Lars Baelig Leo Mark Incremental Computation of Nested Relational Query Expressions. 111 148 http://www.acm.org/sigmod/dblp/db/journals/tods/BaekgaardM95.html

Jan Chomicki Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. 149 186 http://www.acm.org/sigmod/dblp/db/journals/tods/Chomicki95.html

Goetz Graefe Richard L. Cole Fast Algorithms for Universal Quantification in Large Databases. 187 236 http://www.acm.org/sigmod/dblp/db/journals/tods/GraefeC95.html

3 September 1995

Weidong Chen Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics. 239 287 http://www.acm.org/sigmod/dblp/db/journals/tods/Chen95a.html

Yannis E. Ioannidis Raghu Ramakrishnan Containment of Conjunctive Queries: Beyond Relations as Sets. 288 324 http://www.acm.org/sigmod/dblp/db/journals/tods/IoannidisR95.html

Dennis Shasha Francois Llirbat Eric Simon Patrick Valduriez Transaction Chopping: Algorithms and Performance Studies. 325 363 http://www.acm.org/sigmod/dblp/db/journals/tods/ShashaLSV95.html

Stefano Ceri Piero Fraternali Stefano Paraboschi Letizia Tanca Addendum to "Automatic Generation of Production Rules for Integrity Maintenance". 364 365 http://www.acm.org/sigmod/dblp/db/journals/tods/CeriFPT95.html

4 December 1995

I-Min A. Chen Richard Hull Dennis McLeod An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update. 365 413 http://www.acm.org/sigmod/dblp/db/journals/tods/ChenHM95.html

Piero Fraternali Letizia Tanca A Structured Approach for the Definition of the Semantics of Active Databases. 414 471 http://www.acm.org/sigmod/dblp/db/journals/tods/FraternaliT95.html

Divesh Srivastava S. Sudarshan Raghu Ramakrishnan Jeffrey F. Naughton Space Optimization in Deductive Databases. 472 516 http://www.acm.org/sigmod/dblp/db/journals/tods/SrivastavaSRN95.html

21 1 March 1996

Elena Baralis Stefano Ceri Stefano Paraboschi Modularization Techniques for Active Rules Design. 1 29 http://www.acm.org/sigmod/dblp/db/journals/tods/BaralisCP96.html

Peter Buneman Atsushi Ohori Polymorphism and Type Inference in Database Programming. 30 76 http://www.acm.org/sigmod/dblp/db/journals/tods/BunemanO96.html

Wai Yin Mok Yiu-Kai Ng David W. Embley A Normal Form for Precisely Characterizing Redundancy in Nested Relations. 77 106 http://www.acm.org/sigmod/dblp/db/journals/tods/MokNE96.html

Inderpal Singh Mumick Sheldon J. Finkelstein Hamid Pirahesh Raghu Ramakrishnan Magic Conditions. 107 155 http://www.acm.org/sigmod/dblp/db/journals/tods/MumickFPR96.html

2 June 1996

Ling Liu Robert Meersman The Building Blocks for Specifying Communication Behavior of Complex Objects: An Activity-Driven Approach. 157 207 http://www.acm.org/sigmod/dblp/db/journals/tods/LiuM96.html

Kenneth A. Ross Tail Recursion Elimination in Deductive Databases. 208 237 http://www.acm.org/sigmod/dblp/db/journals/tods/Ross96.html

Colin Bell Anil Nerode Raymond T. Ng V. S. Subrahmanian Implementing Deductive Databases by Mixed Integer Programming. 238 269 http://www.acm.org/sigmod/dblp/db/journals/tods/BellNNS96.html

Sha Guo Wei Sun Mark Allen Weiss Solving Satisfiability and Implication Problems in Database Systems. 270 293 http://www.acm.org/sigmod/dblp/db/journals/tods/GuoSW96.html

3 September 1996

Paolo Ciaccia Paolo Tiberio Pavel Zezula Declustering of Key-Based Partitioned Signature Files. 295 338 http://www.acm.org/sigmod/dblp/db/journals/tods/CiacciaTZ96.html

Debabrata Dey Sumit Sarkar A Probabilistic Relational Model and Algebra. 339 369 http://www.acm.org/sigmod/dblp/db/journals/tods/DeyS96.html

Shahram Ghandeharizadeh Richard Hull Dean Jacobs Heraclitus: Elevating Deltas to be First-Class Citizens in a Database Programming Language. 370 426 http://www.acm.org/sigmod/dblp/db/journals/tods/GhandeharizadehHJ96.html

4 December 1996

Dean Kuo Model and Verification of a Data Manager Based on ARIES. 427 479 http://www.acm.org/sigmod/dblp/db/journals/tods/Kuo96.html

Witold Litwin Marie-Anne Neimat Donovan A. Schneider LH* - A Scalable, Distributed Data Structure. 480 525 http://www.acm.org/sigmod/dblp/db/journals/tods/LitwinN96.html

Louiqa Raschid Jorge Lobo Semantics for Update Rule Programs and Implementations in a Relational Database Management System. 526 571 http://www.acm.org/sigmod/dblp/db/journals/tods/RaschidL96.html

22 1 March 1997

John S. Keen William J. Dally Extended Ehemeral Logging: Log Storage Management for Applications with Long Lived Transactions. 1 42 http://www.acm.org/sigmod/dblp/db/journals/tods/Keen97.html

Cesar A. Galindo-Legaria Arnon Rosenthal Outerjoin Simplification and Reordering for Query Optimization. 43 73 http://www.acm.org/sigmod/dblp/db/journals/tods/Galindo-LegariaR97.html

Randal J. Peters M. Tamer Ozsu An Axiomatic Model of Dynamic Schema Evolution in Objectbase Systems. 75 114 http://www.acm.org/sigmod/dblp/db/journals/tods/PetersO97.html

2 June 1997

Xiaoyang Sean Wang Claudio Bettini Alexander Brodsky Sushil Jajodia Logical Design for Temporal Databases with Multiple Granularities. 115 170 http://www.acm.org/sigmod/dblp/db/journals/tods/WangBBJ97.html

James Clifford Curtis E. Dyreson Tomas Isakowitz Christian S. Jensen Richard T. Snodgrass On the Semantics of Now in Databases. 171 214 http://www.acm.org/sigmod/dblp/db/journals/tods/CliffordDIJS97.html

Paul Ammann Sushil Jajodia Indrakshi Ray Applying Formal Methods to Semantic-Based Decomposition of Transactions. 215 254 http://www.acm.org/sigmod/dblp/db/journals/tods/AmmannJR97.html

Ouri Wolfson Sushil Jajodia Yixiu Huang An Adaptive Data Replication Algorithm. 255 314 http://www.acm.org/sigmod/dblp/db/journals/tods/WolfsonJH97.html

3 September 1997

Michael J. Franklin Michael J. Carey Miron Livny Transactional Client-Server Cache Consistency: Alternatives and Performance. 315 363 http://www.acm.org/sigmod/dblp/db/journals/tods/FranklinCL97.html

Thomas Eiter Georg Gottlob Heikki Mannila Disjunctive Datalog. 364 418 http://www.acm.org/sigmod/dblp/db/journals/tods/EiterGM97.html

Laks V. S. Lakshmanan Nicola Leone Robert Ross V. S. Subrahmanian ProbView: A Flexible Probabilistic Database System. 419 469 http://www.acm.org/sigmod/dblp/db/journals/tods/LakshmananLRS97.html

4 December 1997

Veda C. Storey Roger H. L. Chiang Debabrata Dey Robert C. Goldstein Shankar Sundaresan Database Design with Common Sense Business Reasoning and Learning. 471 512 http://www.acm.org/sigmod/dblp/db/journals/tods/StoreyCDGS97.html

Zahir Tari John Stokes Stefano Spaccapietra Object Normal Forms and Dependency Constraints for Object-Oriented Schemata. 513 569 http://www.acm.org/sigmod/dblp/db/journals/tods/TariSS97.html

Markos Zaharioudakis Michael J. Carey Michael J. Franklin Adaptive, Fine-Grained Sharing in a Client-Server OODBMS: A Callback-Based Approach. 570 627 http://www.acm.org/sigmod/dblp/db/journals/tods/ZaharioudakisCF97.html

23 1 March 1998

Curtis E. Dyreson Richard T. Snodgrass Supporting Valid-Time Indeterminacy. 1 57 http://www.acm.org/sigmod/dblp/db/journals/tods/DyresonS98.html

Peter Z. Revesz Safe Query Languages for Constraint Databases. 58 99 http://www.acm.org/sigmod/dblp/db/journals/tods/Revesz98.html

Alexei P. Stolboushkin Michael A. Taitslin Safe Stratified Datalog with Integer Order Does Not Have Syntax. 100 109 http://www.acm.org/sigmod/dblp/db/journals/tods/StolboushkinT98.html

2 June 1998

Joseph M. Hellerstein Optimization Techniques for Queries with Expensive Methods. 113 157 http://www.acm.org/sigmod/dblp/db/journals/tods/Hellerstein98.html

Xiangning Liu Abdelsalam Helal Weimin Du Multiview Access Protocols for Large-Scale Replication. 158 198 http://www.acm.org/sigmod/dblp/db/journals/tods/LiuHD98.html

Sharad Mehrotra Rajeev Rastogi Henry F. Korth Abraham Silberschatz Ensuring Consistency in Multidatabases by Preserving Two-Level Serializability. 199 230 http://www.acm.org/sigmod/dblp/db/journals/tods/MehrotraRKS98.html

3 September 1998

Elisa Bertino Claudio Bettini Elena Ferrari Pierangela Samarati An Access Control Model Supporting Periodicity Constraints and Temporal Reasoning. 231 285 http://www.acm.org/sigmod/dblp/db/journals/tods/BertinoBFS98.html

Silvana Castano Valeria De Antonellis Mariagrazia Fugini Barbara Pernici Conceptual Schema Analysis: Techniques and Applications. 286 332 http://www.acm.org/sigmod/dblp/db/journals/tods/CastanoAFP98.html

Anna Formica Hans Dietmar Groger Michele Missikoff An Efficient Method for Checking Object-Oriented Database Schema Correctness. 333 369 http://www.acm.org/sigmod/dblp/db/journals/tods/FormicaGM98.html

4 December 1998

David Konopnicki Oded Shmueli Information Gathering in the World-Wide Web: The W3QL Query Language and the W3QS System. 369 410 http://www.acm.org/sigmod/dblp/db/journals/tods/KonopnickiS98.html

A. Prasad Sistla Ouri Wolfson Yelena Yesha Robert H. Sloan Towards a Theory of Cost Management for Digital Libraries and Electronic Commerce. 411 452 http://www.acm.org/sigmod/dblp/db/journals/tods/SistlaWYS98.html

Justin Zobel Alistair Moffat Kotagiri Ramamohanarao Inverted Files Versus Signature Files for Text Indexing. 453 490 http://www.acm.org/sigmod/dblp/db/journals/tods/ZobelMR98.html

ACM Transactions on Software Engineering and Methodology (TOSEM) 4 1 January 1995

David Binkley Susan Horwitz Thomas W. Reps Program Integration for Languages with Procedure Calls. 3 35 http://www.acm.org/pubs/articles/journals/tosem/1995-4-1/p3-binkley/p3-binkley.pdf

William E. Howden Yudong Huang Software Trustability Analysis. 36 64 http://www.acm.org/pubs/articles/journals/tosem/1995-4-1/p36-howden/p36-howden.pdf

Michal Young Richard N. Taylor David L. Levine Kari A. Nies Debra Brodbeck A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. 65 106 http://www.acm.org/pubs/articles/journals/tosem/1995-4-1/p65-young/p65-young.pdf

2 April 1995

Daniel Jackson Aspect: Detecting Bugs with Abstract Dependences. 109 145 http://www.acm.org/pubs/articles/journals/tosem/1995-4-2/p109-jackson/p109-jackson.pdf

Amy Moormann Zaremski Jeannette M. Wing Signature Matching: A Tool for Using Software Libraries. 146 170 http://www.acm.org/pubs/articles/journals/tosem/1995-4-2/p146-zaremski/p146-zaremski.pdf

Mauro Pezze Richard N. Taylor Michal Young Graph Models for Reachability of Concurrent Programs. 171 213 http://www.acm.org/pubs/articles/journals/tosem/1995-4-2/p171-pezze/p171-pezze.pdf

Bevin R. Brett Comments on "The Cost of Selective Recompilation and Environment Processing". 214 215 http://www.acm.org/pubs/articles/journals/tosem/1995-4-2/p214-brett/p214-brett.pdf

Rolf Adams Walter F. Tichy Annette Weinert Authors Response. 217 219 http://www.acm.org/pubs/articles/journals/tosem/1995-4-2/p217-tichy/p217-tichy.pdf

3 July 1995

Stanley M. Sutton Jr. Dennis Heimbigner Leon J. Osterweil APPL/A: A Language for Software Process Programming. 221 286 http://www.acm.org/pubs/articles/journals/tosem/1995-4-3/p221-sutton/p221-sutton.pdf

H. Rebecca Callison A Time-Sensitive Object Model for Real-Time Systems. 287 317 http://www.acm.org/pubs/articles/journals/tosem/1995-4-3/p287-callison/p287-callison.pdf

4 October 1995

Gregory D. Abowd Robert B. Allen David Garlan Formalizing Style to Understand Descriptions of Software Architecture. 319 364 http://www.acm.org/pubs/articles/journals/tosem/1995-4-4/p319-abowd/p319-abowd.pdf

Daniel Jackson Structuring Z Specifications with Views. 365 389 http://www.acm.org/pubs/articles/journals/tosem/1995-4-4/p365-jackson/p365-jackson.pdf

5 1 January 1996

Mark van den Brand Eelco Visser Generation of Formatters for Context-Free Languages. 1 41 http://www.acm.org/pubs/articles/journals/tosem/1996-5-1/p1-van_den_brand/p1-van_den_brand.pdf

Premkumar T. Devanbu David S. Rosenblum Alexander L. Wolf Generating Testing and Analysis Tools with Aria. 42 62 http://www.acm.org/pubs/articles/journals/tosem/1996-5-1/p42-devanbu/p42-devanbu.pdf

Roger Ferguson Bogdan Korel The Chaining Approach for Software Test Data Generation. 63 86 http://www.acm.org/pubs/articles/journals/tosem/1996-5-1/p63-ferguson/p63-ferguson.pdf

2 April 1996

Elaine J. Weyuker Using Failure Cost Information for Testing and Reliability Assessment. 87 98 http://www.acm.org/pubs/articles/journals/tosem/1996-5-2/p87-weyuker/p87-weyuker.pdf

A. Jefferson Offutt Ammei Lee Gregg Rothermel Roland H. Untch Christian Zapf An Experimental Determination of Sufficient Mutant Operators. 99 118 http://www.acm.org/pubs/articles/journals/tosem/1996-5-2/p99-offutt/p99-offutt.pdf

Francesco Bergadano Daniele Gunetti Testing by Means of Inductive Program Learning. 119 145 http://www.acm.org/pubs/articles/journals/tosem/1996-5-2/p119-bergadano/p119-bergadano.pdf

Gregor Snelting Reengineering of Configurations Based on Mathematical Concept Analysis. 146 189 http://www.acm.org/pubs/articles/journals/tosem/1996-5-2/p146-snelting/p146-snelting.pdf

3 July 1996

Gianpaolo Cugola Elisabetta Di Nitto Alfonso Fuggetta Carlo Ghezzi A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. 191 230 http://www.acm.org/pubs/articles/journals/tosem/1996-5-3/p191-cugola/p191-cugola.pdf

Constance L. Heitmeyer Ralph D. Jeffords Bruce G. Labaw Automated Consistency Checking of Requirements Specifications. 231 261 http://www.acm.org/pubs/articles/journals/tosem/1996-5-3/p231-heitmeyer/p231-heitmeyer.pdf

Gail C. Murphy David Notkin Lightweight Lexical Source Model Extraction. 262 292 http://www.acm.org/pubs/articles/journals/tosem/1996-5-3/p262-murphy/p262-murphy.pdf

4 October 1996

David Harel Amnon Naamad The STATEMATE Semantics of Statecharts. 293 333 http://www.acm.org/pubs/articles/journals/tosem/1996-5-4/p293-harel/p293-harel.pdf

Shing-Chi Cheung Jeff Kramer Context Constraints for Compositional Reachability Analysis. 334 377 http://www.acm.org/pubs/articles/journals/tosem/1996-5-4/p334-cheung/p334-cheung.pdf

Daniel J. Barrett Lori A. Clarke Peri L. Tarr Alexander E. Wise A Framework for Event-Based Software Integration. 378 421 http://www.acm.org/pubs/articles/journals/tosem/1996-5-4/p378-barrett/p378-barrett.pdf

6 1 January 1997

Pamela Zave Michael Jackson Four Dark Corners of Requirements Engineering. 1 30 http://www.acm.org/pubs/articles/journals/tosem/1997-6-1/p31-moser/p31-moser.pdf

Louise E. Moser Y. S. Ramakrishna G. Kutty P. M. Melliar-Smith Laura K. Dillon A Graphical Environment for the Design of Concurrent Real-Time Systems. 31 79 http://www.acm.org/pubs/articles/journals/tosem/1997-6-1/p31-moser/p31-moser.pdf

Laura K. Dillon Task Dependence and Termination in Ada. 80 110 http://www.acm.org/pubs/articles/journals/tosem/1997-6-1/p80-dillon/p80-dillon.pdf

2 April 1997

Scott Henninger An Evolutionary Approach to Constructing Effective Software Reuse Repositories. 111 140 http://www.acm.org/pubs/articles/journals/tosem/1997-6-2/p111-henninger/p111-henninger.pdf

Premkumar T. Devanbu Mark A. Jones The Use of Description Logics in KBSE Systems. 141 172 http://www.acm.org/pubs/articles/journals/tosem/1997-6-2/p141-devalbu/p141-devalbu.pdf

Gregg Rothermel Mary Jean Harrold A Safe, Efficient Regression Test Selection Technique. 173 210 http://www.acm.org/pubs/articles/journals/tosem/1997-6-2/p173-rothermel/p173-rothermel.pdf

3 July 1997

Robert Allen David Garlan A Formal Basis for Architectural Connection. 213 249 http://www.acm.org/pubs/articles/journals/tosem/1997-6-3/p213-allen/p213-allen.pdf

Gruia-Catalin Roman Peter J. McCann Jerome Y. Plun Mobile UNITY: Reasoning and Specification in Mobile Computing. 250 282 http://www.acm.org/pubs/articles/journals/tosem/1997-6-3/p250-roman/p250-roman.pdf

Vincenzo Ambriola Reidar Conradi Alfonso Fuggetta Assessing Process-Centered Software Engineering Environments. 283 328 http://www.acm.org/pubs/articles/journals/tosem/1997-6-3/p283-ambriola/p283-ambriola.pdf

Alexandre Petrenko Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". 329 331 http://www.acm.org/pubs/articles/journals/tosem/1997-6-3/p329-petrenko/p329-petrenko.pdf

4 October 1997

Amy Moormann Zaremski Jeannette M. Wing Specification Matching of Software Components. 333 369 http://www.acm.org/pubs/articles/journals/tosem/1997-6-4/p333-zaremski/p333-zaremski.pdf

Rajiv Gupta Mary Lou Soffa John Howard Hybrid Slicing: Integrating Dynamic Information with Static Analysis. 370 397 http://www.acm.org/pubs/articles/journals/tosem/1997-6-4/p370-gupta/p370-gupta.pdf

Andreas Zeller Gregor Snelting Unified Versioning Through Feature Logic. 398 441 http://www.acm.org/pubs/articles/journals/tosem/1997-6-4/p398-zeller/p398-zeller.pdf

7 1 January 1998

John C. Doppke Dennis Heimbigner Alexander L. Wolf Software Process Modeling and Execution Within Virtual Environments. 1 40 http://www.acm.org/pubs/citations/journals/tosem/1998-7-1/p1-doppke/

Adam A. Porter Harvey P. Siy Audris Mockus Lawrence G. Votta Understanding the Sources of Variation in Software Inspections. 41 79 http://www.acm.org/pubs/citations/journals/tosem/1998-7-1/p41-porter/

Luciano Baresi Mauro Pezze Toward Formalizing Structured Analysis. 80 107 http://www.acm.org/pubs/citations/journals/tosem/1998-7-1/p80-baresi/

2 April 1998

Robert W. Bowdidge William G. Griswold Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualization. 109 157 http://www.acm.org/pubs/citations/journals/tosem/1998-7-2/p109-bowdidge/

Gail C. Murphy David Notkin William G. Griswold Erica S.-C. Lan An Empirical Study of Static Call Graph Extractors. 158 191 http://www.acm.org/pubs/citations/journals/tosem/1998-7-2/p158-murphy/

James J. Hunt Kiem-Phong Vo Walter F. Tichy Delta Algorithms: An Empirical Analysis. 192 214 http://www.acm.org/pubs/citations/journals/tosem/1998-7-2/p192-hunt/

3 July 1998

Jonathan E. Cook Alexander L. Wolf Discovering Models of Software Processes from Event-Based Data. 215 249 http://www.acm.org/pubs/citations/journals/tosem/1998-7-3/p215-cook/

Huo Yan Chen T. H. Tse F. T. Chan T. Y. Chen In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs. 250 295 http://www.acm.org/pubs/citations/journals/tosem/1998-7-3/p250-chen/

Judith Crow Ben Di Vito Formalizing Space Shuttle Software Requirements: Four Case Studies. 296 332 http://www.acm.org/pubs/citations/journals/tosem/1998-7-3/p296-crow/

Robert Allen David Garlan Errata: A Formal Basis for Architectural Connection. 333 334 http://www.acm.org/pubs/citations/journals/tosem/1998-7-3/p333-allen/

4 October 1998

Anthony Hunter Bashar Nuseibeh Managing Inconsistent Specifications: Reasoning, Analysis, and Action. 335 367 http://www.acm.org/pubs/citations/journals/tosem/1998-7-4/p335-hunter/

Maria Letizia Jaccheri Gian Pietro Picco Patricia Lago Eliciting software Process Models with the E3 Language. 368 410 http://www.acm.org/pubs/citations/journals/tosem/1998-7-4/p368-jaccheri/

Alfonso Fuggetta Luigi Lavazza Sandro Morasca Stefano Cinti Giandomenico Oldano Elena Orazi Applying GQM in an Industrial Software Factory. 411 448 http://www.acm.org/pubs/citations/journals/tosem/1998-7-4/p411-fuggetta/

James J. Hunt Walter F. Tichy Addendum to "Delta Algorithms: An Empirical Analysis". 449 450 http://www.acm.org/pubs/citations/journals/tosem/1998-7-4/p449-hunt/

The VLDB Journal (VLDB) 4 1 January 1995

Panos Constantopoulos Matthias Jarke John Mylopoulos Yannis Vassiliou The Software Information Base: A Server for Reuse. 1 43 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/ConstantopoulosJMV95.html

Chris Clifton Hector Garcia-Molina David Bloom HyperFile: A Data and Query Model for Documents. 45 86 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/CliftonGB95.html

Divyakant Agrawal Amr El Abbadi Richard Jeffers Lijing Lin Ordered Shared Locks for Real-Time Databases. 87 126 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/AgrawalAJL95.html

Asit Dan Philip S. Yu Jen-Yao Chung Characterization of Database Access Pattern for Analytic Prediction of Buffer Hit Probability. 127 154 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/DanYC95.html

2 April 1995

Joan Peckham Bonnie MacKellar Michael Doherty Data Model for Extensible Support of Explicit Relationships in Design Databases. 157 191 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/PeckhamMD95.html

Ernest Teniente Antoni Olive Updating Knowledge Bases While Maintaining Their Consistency. 193 241 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/TenienteO95.html

Ralf Hartmut Guting Markus Schneider Realm-Based Spatial Data Types: The ROSE Algebra. 243 286 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/GutingS95.html

Marjorie Templeton Herbert Henley Edward Maros Darrel J. Van Buer InterViso: Dealing With the Complexity of Federated Database Access. 287 317 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/TempletonHMB95.html

3 July 1995

Malcolm P. Atkinson Ronald Morrison Orthogonally Persistent Object Systems. 319 401 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/AtkinsonM95.html

Antonio Albano Giorgio Ghelli Renzo Orsini Fibonacci: A Programming Language for Object Databases. 403 444 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/AlbanoGO95.html

M. Tamer Ozsu Randal J. Peters Duane Szafron Boman Irani Anna Lipka Adriana Munoz TIGUKAT: A Uniform Behavioral Objectbase Management System. 445 492 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/OzsuPSILM95.html

Veronique Benzaken Anne Doucet Themis: A Database Programming Language Handling Integrity Constraints. 493 517 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/BenzakenD95.html

Alfons Kemper Donald Kossmann Adaptable Pointer Swizzling Strategies in Object Bases: Design, Realization, and Quantitative Analysis. 519 566 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/KemperK95.html

4 October 1995

Daniel Barbara Tomasz Imielinski Sleepers and Workaholics: Caching Strategies in Mobile Environments. 567 602 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/BarbaraI95.html

Chris Nyberg Tom Barclay Zarka Cvetanovic Jim Gray David B. Lomet AlphaSort: A Cache-Sensitive Parallel External Sort. 603 627 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/NybergBCGL95.html

Seth J. White David J. DeWitt QuickStore: A High Performance Mapped Object Store. 629 673 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/WhiteD95.html

Arun N. Swami K. Bernhard Schiefer Estimating Page Fetches for Index Scans with Finite LRU Buffers. 675 701 http://www.acm.org/sigs/sigmod/dblp/db/journals/vldb/SwamiS95.html

5 1 January 1996

David J. DeWitt Jeffrey F. Naughton John C. Shafer Shivakumar Venkataraman ParSets for Parallelising OODBMS Traversals: Implementation and Performance. 3 18 http://link.springer.de/link/service/journals/00778/bibs/6005001/60050003.htm

Rajendran M. Sivasankaran John A. Stankovic Donald F. Towsley Bhaskar Purimetla Krithi Ramamritham Priority Assignment in Real-Time Active Databases (1). 19 34 http://link.springer.de/link/service/journals/00778/bibs/6005001/60050019.htm

Arthur M. Keller Julie Basu A Predicate-based Caching Scheme for Client-Server Database Architectures. 35 47 http://link.springer.de/link/service/journals/00778/bibs/6005001/60050035.htm

Michael Stonebraker Paul M. Aoki Witold Litwin Avi Pfeffer Adam Sah Jeff Sidell Carl Staelin Andrew Yu Mariposa: A Wide-Area Distributed Database System. 48 63 http://link.springer.de/link/service/journals/00778/bibs/6005001/60050048.htm

Evan P. Harris Kotagiri Ramamohanarao Join Algorithm Costs Revisited. 64 84 http://link.springer.de/link/service/journals/00778/bibs/6005001/60050064.htm

Krithi Ramamritham Panos K. Chrysanthis A Taxonomy of Correctness Criteria in Database Applications. 85 97 http://link.springer.de/link/service/journals/00778/bibs/6005001/60050085.htm

2 April 1996

Odysseas G. Tsatalos Marvin H. Solomon Yannis E. Ioannidis The GMAP: A Versatile Tool for Physical Data Independence. 101 118 http://link.springer.de/link/service/journals/00778/bibs/6005002/60050101.htm

Alexandra Poulovassilis Carol Small Investigation of Query Optimisation Techniques for Database Programming Languages. 119 132 http://link.springer.de/link/service/journals/00778/bibs/6005002/60050119.htm

Eric Amiel Marie-Jo Bellosta Eric Dujardin Eric Simon Type-safe Relaxing of Schema Consistency Rules for Flexible Modeling in OODBMS. 133 155 http://link.springer.de/link/service/journals/00778/bibs/6005002/60050133.htm

Doug Fang Shahram Ghandeharizadeh An Experimental System for Object-Based Sharing in Federated Databases. 151 165 http://link.springer.de/link/service/journals/00778/bibs/6005002/60050151.htm

3 July 1996

Debabrata Dey Terence M. Barron Veda C. Storey A Complete Temporal Relational Algebra. 167 180 http://link.springer.de/link/service/journals/00778/bibs/6005003/60050167.htm

Yuh-Ming Shyy Javier Arroyo Stanley Y. W. Su Herman Lam The Design and Implementation of K: A High-Level Knowledge-Base Programming Language of OSAM*.KBMS. 181 195 http://link.springer.de/link/service/journals/00778/bibs/6005003/60050181.htm

Theo Harder Joachim Reinert Access Path Support for Referential Integrity in SQL2. 196 214 http://link.springer.de/link/service/journals/00778/bibs/6005003/60050196.htm

Beng Chin Ooi Jiawei Han Hongjun Lu Kian-Lee Tan Index Nesting - An Efficient Approach to Indexing in Object-Oriented Databases. 215 228 http://link.springer.de/link/service/journals/00778/bibs/6005003/60050215.htm

4 December 1996

Gennady Antoshenkov Mohamed Ziauddin Query Processing and Optimization in Oracle Rdb. 229 237 http://link.springer.de/link/service/journals/00778/bibs/6005004/60050229.htm

John Mylopoulos Vinay K. Chaudhri Dimitris Plexousakis Adel Shrufi Thodoros Topaloglou Building Knowledge Base Management Systems. 238 263 http://link.springer.de/link/service/journals/00778/bibs/6005004/60050238.htm

Bruno Becker Stephan Gschwind Thomas Ohler Bernhard Seeger Peter Widmayer An Asymptotically Optimal Multiversion B-Tree. 264 275 http://link.springer.de/link/service/journals/00778/bibs/6005004/60050264.htm

Vipul Kashyap Amit P. Sheth Semantic and Schematic Similarities Between Database Objects: A Context-Based Approach. 276 304 http://link.springer.de/link/service/journals/00778/bibs/6005004/60050276.htm

6 1 January 1997

Georgios Evangelidis David B. Lomet Betty Salzberg The hB-Pi-Tree: A Multi-Attribute Index Supporting Concurrency, Recovery and Node Consolidation. 1 25 http://link.springer.de/link/service/journals/00778/bibs/7006001/70060001.htm

Gennady Antoshenkov Dictionary-Based Order-Preserving String Compression. 26 39 http://link.springer.de/link/service/journals/00778/bibs/7006001/70060026.htm

Vigyan Singhal Alan Jay Smith Analysis of Locking Behavior in Three Real Database Systems. 40 52 http://link.springer.de/link/service/journals/00778/bibs/7006001/70060040.htm

Manish Mehta David J. DeWitt Data Placement in Shared-Nothing Parallel Database Systems. 53 72 http://link.springer.de/link/service/journals/00778/bibs/7006001/70060053.htm

2 May 1997

Mike P. Papazoglou Bernd J. Kramer A Database Model for Object Dynamics. 73 96 http://link.springer.de/link/service/journals/00778/bibs/7006002/70060073.htm

Tiziana Catarci Giuseppe Santucci John Cardiff Graphical Interaction with Heterogeneous Databases. 97 120 http://link.springer.de/link/service/journals/00778/bibs/7006002/70060097.htm

Ming-Syan Chen Hui-I Hsiao Philip S. Yu On Applying Hash Filters to Improving the Execution of Multi-Join Queries. 121 131 http://link.springer.de/link/service/journals/00778/bibs/7006002/70060121.htm

Yannis E. Ioannidis Raymond T. Ng Kyuseok Shim Timos K. Sellis Parametric Query Optimization. 132 151 http://link.springer.de/link/service/journals/00778/bibs/7006002/70060132.htm

Sharad Mehrotra Henry F. Korth Abraham Silberschatz Concurrency Control in Hierarchical Multidatabase Systems. 152 172 http://link.springer.de/link/service/journals/00778/bibs/7006002/70060152.htm

3 August 1997

Edward E. Cobb The Impact of Technology on Commercial Transaction Processing. 173 190 http://link.springer.de/link/service/journals/00778/bibs/7006003/70060173.htm

Michael Steinbrunn Guido Moerkotte Alfons Kemper Heuristic and Randomized Optimization for the Join Ordering Problem. 191 208 http://link.springer.de/link/service/journals/00778/bibs/7006003/70060191.htm

Euthimios Panagos Alexandros Biliris Synchronization and Recovery in a Client-Server Storage System. 209 223 http://link.springer.de/link/service/journals/00778/bibs/7006003/70060209.htm

David B. Lomet Betty Salzberg Concurrency and Recovery for Index Trees. 224 240 http://link.springer.de/link/service/journals/00778/bibs/7006003/70060224.htm

Laura M. Haas Michael J. Carey Miron Livny Amit Shukla Seeking the Truth About ad hoc Join Costs. 241 256 http://link.springer.de/link/service/journals/00778/bibs/7006003/70060241.htm

4 November 1997

Gustav Fahl Tore Risch Query Processing Over Object Views of Relational Data. 261 281 http://link.springer.de/link/service/journals/00778/bibs/7006004/70060261.htm

Oscar Diaz Arturo Jaime EXACT: An Extensible Approach to Active Object-Oriented Databases. 282 295 http://link.springer.de/link/service/journals/00778/bibs/7006004/70060282.htm

Klemens Bohm Karl Aberer Erich J. Neuhold Xiaoya Yang Structured Document Storage and Refined Declarative and Navigational Access Mechanisms in HyperStorM. 296 311 http://link.springer.de/link/service/journals/00778/bibs/7006004/70060296.htm

Thomas A. Muck Martin L. Polaschek A Configrable Type Hierarchy Index for OODB. 312 332 http://link.springer.de/link/service/journals/00778/bibs/7006004/70060312.htm

Stefan Berchtold Daniel A. Keim Hans-Peter Kriegel Using Extended Feature Objects for Partial Similarity Retrieval. 333 348 http://link.springer.de/link/service/journals/00778/bibs/7006004/70060333.htm

7 1 February 1998

Jia Liang Han Optimizing Relational Queries in Connection Hypergraphs: Nested Queries, Views, and Binding Propagations. 1 11 http://link.springer.de/link/service/journals/00778/bibs/8007001/80070001.htm

Eric N. Hanson I.-Cheng Chen Roxana Dastur Kurt Engel Vijay Ramaswamy Wendy Tan Chun Xu A Flexible and Recoverable Client/Server Database Event Notification System. 12 24 http://link.springer.de/link/service/journals/00778/bibs/8007001/80070012.htm

Ashish Mehta James Geller Yehoshua Perl Erich J. Neuhold The OODB Path-Method Generator (PMG) Using Access Weights and Precomputed Access Relevance. 25 47 http://link.springer.de/link/service/journals/00778/bibs/8007001/80070025.htm

Peter Scheuermann Gerhard Weikum Peter Zabback Data Partitioning and Load Balancing in Parallel Disk Systems. 48 66 http://link.springer.de/link/service/journals/00778/bibs/8007001/80070048.htm

2 May 1998

Naci Ishakbeyoglu Z. Meral Ozsoyoglu Maintenance of Implication Integrity Constraints Under Updates to Constraints. 67 78 http://link.springer.de/link/service/journals/00778/bibs/8007002/80070067.htm

Stefan Desloch Theo Harder >Nelson Mendonca Mattos Bernhard Mitschang Joachim Thomas Advanced Data Processing in KRISYS: Modeling Concepts, Implementation Techniques, and Client/Server Issues. 79 95 http://link.springer.de/link/service/journals/00778/bibs/8007002/80070079.htm

Serge Abiteboul Sophie Cluet Tova Milo A Logical View of Structured Files. 96 114 http://link.springer.de/link/service/journals/00778/bibs/8007002/80070096.htm

Beng Chin Ooi Kian-Lee Tan Tat-Seng Chua Wynne Hsu Fast Image Retrieval Using Color-Spatial Information. 115 128 http://link.springer.de/link/service/journals/00778/bibs/8007002/80070115.htm

3 August 1998

Praveen Seshadri Enhanced Abstract Data Types in Object-Relational Databases. 130 140 http://link.springer.de/link/service/journals/00778/bibs/8007003/80070130.htm

Achim Kraiss Gerhard Weikum Integrated Document Caching and Prefetching in Storage Hierarchies Based on Markov-Chain Predictions. 141 162 http://link.springer.de/link/service/journals/00778/bibs/8007003/80070141.htm

Soumen Chakrabarti Byron Dom Rakesh Agrawal Prabhakar Raghavan Scalable Feature Selection, Classification and Signature Generation for Organizing Large Text Databases into Hierarchical Topic Taxonomies. 163 178 http://link.springer.de/link/service/journals/00778/bibs/8007003/80070163.htm

Prasan Roy S. Seshadri Abraham Silberschatz S. Sudarshan S. Ashwin Garbage Collection in Object-Oriented Databases Using Transactional Cyclic Reference Counting. 179 193 http://link.springer.de/link/service/journals/00778/bibs/8007003/80070179.htm

Wee Teck Ng Peter M. Chen Integrating Reliable Memory in Databases. 194 204 http://link.springer.de/link/service/journals/00778/bibs/8007003/80070194.htm

4 December 1998

M. Tamer Ozsu Stavros Christodoulakis Introduction (Special Issue on Multimedia Databases). 205 206 http://link.springer.de/link/service/journals/00778/bibs/8007004/80070205.htm

Minos N. Garofalakis Banu Ozden Abraham S ilberschatz On Periodic Resource scheduling for Continuous-Media Databases. 206 225 http://link.springer.de/link/service/journals/00778/bibs/8007004/80070206.htm

Haitao Jiang Ahmed K. Elmagarmid Spatial and Temporal Content-Based Access to Hypervideo Databases. 226 238 http://link.springer.de/link/service/journals/00778/bibs/8007004/80070226.htm

Raymond T. Ng Paul Shum Optimal Clip Ordering for Multi-Clip Queries. 239 252 http://link.springer.de/link/service/journals/00778/bibs/8007004/80070239.htm

Aya Soffer Hanan Samet Integrating Symbolic Images into a Multimedia Database System Using Classification and Abstraction Approaches. 253 274 http://link.springer.de/link/service/journals/00778/bibs/8007004/80070253.htm

Pavel Zezula Pasquale Savino Giuseppe Amato Fausto Rabitti Approximate Similarity Retrieval with M-Trees. 275 293 http://link.springer.de/link/service/journals/00778/bibs/8007004/80070275.htm

Nevzat Hurkan Balkir Gultekin Ozsoyoglu Delivering Presentations from Multimedia Servers. 294 307 http://link.springer.de/link/service/journals/00778/bibs/8007004/80070294.htm