Volume 7, Number 1, February 1995

Special Section on Dependability of AI Systems

• 
  Jeffrey J. P. Tsai: Dependability of AI Systems - Guest Editor's Introduction. 1-3
• 
  Ing-Ray Chen, Farokh B. Bastani, Ta-Wei Tsao: On the Reliability of AI Planning Software in Real-Time Applications. 4-13
• 
  Adele E. Howe: Improving the Reliability of Artificial Intelligence Planning Systems by Analyzing their Failure Recovery. 14-25
• 
  Jeng-Rung Chen, Albert Mo Kim Cheng: Response Time Analysis of EQL Real-Time Rule-Based Systems. 26-43
• 
  Toru Ishida, Yutaka Sasaki, Keiko Nakata, Yoshimi Fukuhara: A Meta-Level Control Architecture for Production Systems. 44-52
• 
  Derek Batty, Mohamed S. Kamel: Automating Knowledge Acquisition: A Propositional Approach to Representing Expertise as an Alternative to Repertory Grid Technique. 53-67

Regular Section

• 
  Gerard Ellis: Compiling Conceptual Graphs. 68-81
• 
  Linda Sirounian, William I. Grosky: A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases. 82-105
• 
  Fereidoon Sadri: Integrity Constraints in the Information Source Tracking Method. 106-119
• 
  Ron Sun: Structuring Knowledge In Vague Domains. 120-136
• 
  Irène Guessarian, Jean-Eric Pin: Linearizing Some Recursive Logic Programs. 137-149
• 
  Teruhiro Shimura, Jorge Lobo, Tadao Murata: An Extended Petri Net Model for Normal Logic Programs. 150-162
• 
  Weining Zhang, Ke Wang, Siu-Cheung Chau: Data Partition and Parallel Evaluation of Datalog Programs. 163-176
• 
  John Grant, V. S. Subrahmanian: Reasoning in Inconsistent Knowledge Bases. 177-189
• 
  Sheng-Ke Yu: Comments on "Knowledge Representation Using Fuzzy Petri Nets". 190-192

Volume 7, Number 2, April 1995

• 
  Elisa Bertino, Paola Foscoli: Index Organizations for Object-Oriented Database Systems. 193-209
• 
  Dave D. Straube, M. Tamer Özsu: Query Optimization and Execution Plan Generation in Object-Oriented Data Management Systems. 210-227
• 
  Weiyi Meng, Clement T. Yu, Won Kim: A Theory of Translation From Relational Queries to Hierarchical Queries. 228-245
• 
  Thomas A. Mück, Manfred J. Schauer: Optimizing Sort Order Query Execution in Balanced and Nested Grid Files. 246-260
• 
  Jiawei Han: Chain-Split Evaluation in Deductive Databases. 261-273
• 
  Bhavani M. Thuraisingham, William Ford: Security Constraints in a Multilevel Secure Distributed Database Management System. 274-293
• 
  Joseph L. Hellerstein: Constructing Quantitative Models Using Monotone Relationships. 294-304
• 
  Salvatore T. March, Sangkyu Rho: Allocating Data and Operations to Nodes in Distributed Database Design. 305-317
• 
  Jang-Jong Fan, Keh-Yih Su: The Design of Efficient Algorithms for Two-Dimensional Pattern Matching. 318-327
• 
  Sang Ho Lee, Lawrence J. Henschen: Evaluation of Recursive Queries with Extended Rules in Deductive Databases. 328-331
• 
  Alexander Thomasian: Checkpointing for Optimistic Concurrency Control Methods. 332-339
• 
  Paolo Frasconi, Marco Gori, Marco Maggini, Giovanni Soda: Unified Integration of Explicit Knowledge and Learning by Example in Recurrent Networks. 340-346
• 
  Gennaro Costagliola, Filomena Ferrucci, Genoveffa Tortora, Maurizio Tucci: Non-Redundant 2D Strings. 347-350

Volume 7, Number 3, June 1995

• 
  Sumit Ganguly, Abraham Silberschatz, Shalom Tsur: Mapping Datalog Program Execution to Networks of Procesors. 351-361
• 
  V. S. Subrahmanian, Dana S. Nau, Carlo Vago: WFS + Branch and Bound = Stable Models. 362-377
• 
  Donald E. Brown, James J. Pomykalski: Reliability Estimation During Prototyping of Knowledge-Based Systems. 378-390
• 
  Minhwa Chung, Dan I. Moldovan: Parallel Natural Language Processing on a Semantic Network Array Processor. 391-405
• 
  Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian: Foundations of Secure Deductive Databases. 406-422
• 
  Dik Lun Lee, Young Man Kim, Gaurav Patel: Efficient Signature File Methods for Text Retrieval. 423-435
• 
  Jan Paredaens, Peter Peelman, Letizia Tanca: G-Log: A Graph-Based Query Language. 436-453
• 
  Ron Sacks-Davis, Alan J. Kent, Kotagiri Ramamohanarao, James A. Thom, Justin Zobel: Atlas: A Nested Relational Database System for Text Applications. 454-470
• 
  A. Prasad Sistla, Ouri Wolfson: Temporal Triggers in Active Databases. 471-486
• 
  Arun K. Thakore, Stanley Y. W. Su, Herman Lam: Algorithms for Asynchronous Parallel Processing of Object-Oriented Databases. 487-504
• 
  Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis: A Development Environment for an Object Specification Language. 505-508
• 
  Hongjun Lu, Kian-Lee Tan: On Sort-Merge Algorithm for Band Joins. 508-510

Volume 7, Number 4, August 1995

Special Section On Temporal and Real-Time Databases

• 
  Gultekin Özsoyoglu, Richard T. Snodgrass: Guest Editors' Introduction to Special Section On Temporal and Real-Time Databases. 511-512
• 
  Gultekin Özsoyoglu, Richard T. Snodgrass: Temporal and Real-Time Databases: A Survey. 513-532
• 
  HweeHwa Pang, Michael J. Carey, Miron Livny: Multiclass Query Scheduling in Real-Time Database Systems. 533-551
• 
  Nandit Soparkar, Henry F. Korth, Abraham Silberschatz: Databases with Deadline and Contingency Constraints. 552-565
• 
  Jan Chomicki, David Toman: Implementing Temporal Integrity Constraints Using an Active DBMS. 566-582
• 
  Lars Bækgaard, Leo Mark: Incremental Computation of Time-Varying Query Expressions. 583-590

Regular Section

• 
  Vassilis J. Tsotras, B. Gopinath, George W. Hart: Efficient Management of Time-Evolving Databases. 591-608
• 
  Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni: Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic. 609-622
• 
  Richard Y. Wang, Veda C. Storey, Christopher P. Firth: A Framework for Analysis of Data Quality Research. 623-640
• 
  Paolo Ciaccia, Dario Maio: Domains and Active Domains: What This Distinction Implies for the Estimation of Projection Sizes in Relational Databases. 641-655
• 
  Ming-Syan Chen, Ming-Ling Lo, Philip S. Yu, Honesty C. Young: Applying Segmented Right-Deep Trees to Pipelining Multiple Hash Joins. 656-668

Volume 7, Number 5, October 1995

• 
  Alexander Borgida: Description Logics in Data Management. 671-682
• 
  Mankuan Michael Vai, Zhimin Xu: Representing Knowledge by Neural Networks for Qualitative Analysis and Reasoning. 683-690
• 
  Beat Wüthrich: Probabilistic Knowledge Bases. 691-698
• 
  Xiao-Jia M. Zhou, Tharam S. Dillon: Theoretical and Practical Considerations of Uncertainty and Complexity in Automated Knowledge Acquisition. 699-712
• 
  Jun-Tae Kim, Dan I. Moldovan: Acquisition of Linguistic Patterns for Knowledge-Based Information Extraction. 713-724
• 
  Silvano Mussi: Causal Knowledge Elicitation Based on Elicitation Failures. 725-739
• 
  Huan Liu, Chris D. Rowles, Wilson X. Wen: Critics for Knowledge-Based Design Systems. 740-750
• 
  Peter L. Hammer, Alexander Kogan: Quasi-Acyclic Propositional Horn Knowledge Bases: Optimal Compression. 751-762
• 
  Benjamin W. Wah, Arthur Ieumwananonthachai, Lon-Chan Chu, Akiko N. Aizawa: Genetics-Based Learning of New Heuristics: Rational Scheduling of Experiments and Generalization. 763-785
• 
  Xiohui Song, Jane W.-S. Liu: Maintaining Temporal Consistency: Pessimistic vs. Optimitic Concurrency Control. 786-796
• 
  Paul Ammann, Vijayalakshmi Atluri, Sushil Jajodia: The Partitioned Synchronization Rule for Planar Extendible Partial Orders. 797-808
• 
  Mark Levene, George Loizou: A Graph-Based Data Model and its Ramifications. 809-823
• 
  Guy W. Mineau, Robert Godin: Automatic Structuring of Knowledge Bases by Conceptual Clustering. 824-828
• 
  P. Krishna Reddy, Subhash Bhalla: A Nonblocking Transaction Data Flow Graph Based Protocol For Replicated Databases. 829-834
• 
  Paul Ammann, Sushil Jajodia, Padmaja Mavuluri: On-The-Fly Reading of Entire Databases. 834-838
• 
  Li Gong, Xiaolei Qian: Enriching the Expressive Power of Security Labels. 839-841

Volume 7, Number 6, December 1995

• 
  Benjamin W. Wah: Editorial. 847-849

Special Section on Query Processing

• 
  Kumar V. Vadaparty, Shamim A. Naqvi: Using Constraints for Efficient Query Processing in Nondeterministic Databases. 850-864
• 
  Gultekin Özsoyoglu, Sujatha Guru Swamy, Kaizheng Du, Wen-Chi Hou: Time-Constrained Query Processing in CASE-DB. 865-884
• 
  Ram D. Gopal, Ram Ramesh: The Query Clustering Problem: A Set Partitioning Approach. 885-899
• 
  Chiang Lee, Zue-An Chang: Utilizing Page-Level Join Index for Optimization in Parallel Join Execution. 900-914
• 
  Bojan Groselj, Qutaibah M. Malluhi: Combinatorial Optimization of Distributed Queries. 915-927
• 
  Jui-Shang Chiu, Arbee L. P. Chen: An Exploration of Relationships Among Exclusive Disjunctive Data. 928-940
• 
  Arie Segev, J. Leon Zhao: A Framework for Join Pattern Indexing in Intelligent Database Systems. 941-947
• 
  Fereidoon Sadri: Information Source Tracking Method: Efficiency Issues. 947-954

Regular Papers

• 
  Alberto Caprara, Matteo Fischetti, Dario Maio: Exact and Approximate Algorithms for the Index Selection Problem in Physical Database Design. 955-967
• 
  Kien A. Hua, Chiang Lee, Chau M. Hua: Dynamic Load Balancing in Multicomputer Database Systems Using Partition Tuning. 968-983
• 
  Henderik Alex Proper, Theo P. van der Weide: A General Theory for Evolving Application Models. 984-996
• 
  Krithi Ramamritham, Calton Pu: A Formal Characterization of Epsilon Serializability. 997-1007
• 
  Sharma Chakravarthy: Early Active Database Efforts: A Capsule Summary. 1008-1010