IEEE Transactions on Knowledge and Data Engineering, Volume 6

Volume 6, Number 1, February 1994

• Title, Imprint, Information for Authors, IEEE Computer Society.
  

• Benjamin W. Wah:
  Editorial. 1-2
  
• Yuan Yan Tang, Chang De Yan, Ching Y. Suen:
  Document Processing for Automatic Knowledge Acquisition. 3-21
  
• Sanja Vranes, Mladen Stanojevic:
  Prolog/Rex - A Way to Extend Prolog for Better Knowledge Representation. 22-37
  
• Yannis E. Ioannidis, Manolis M. Tsangaris:
  The Design, Implementation, and Performance Evaluation of BERMUDA. 38-56
  
• Thomas J. Weigert, Jeffrey J. P. Tsai:
  A Computationally Tractable Nonmonotonic Logic. 57-63
  
• Didier Dubois, Jérôme Lang, Henri Prade:
  Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights. 64-71
  
• S. K. Michael Wong, Pawan Lingras:
  Representation of Qualitative User Preference by Quantitative Belief Functions. 72-78
  
• M. V. Ramakrishna:
  Bounded Disorder File Organization. 79-85
  
• Max J. Egenhofer:
  Spatial SQL: A Query and Presentation Language. 86-95
  
• Jiawei Han:
  Constraint-Based Query Evaluation in Deductive Databases. 96-107
  
• Byung Suk Lee, Gio Wiederhold:
  Outer Joins and Filters for Instantiating Objects from Relational Databases Through Views. 108-119
  
• Goetz Graefe:
  Volcano - An Extensible and Parallel Query Evaluation System. 120-135
  
• Wei Sun, Clement T. Yu:
  Semantic Query Optimization for Tree and Chain Queries. 136-151
  
• Ming-Syan Chen, Philip S. Yu:
  A Graph Theoretical Approach to Determine a Join Reducer Sequence in Distributed Query Processing. 152-165
  
• Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth:
  Using Tickets to Enforce the Serializability of Multidatabase Transactions. 166-180
  
• Won S. Lee, Phillip C.-Y. Sheu:
  An Object-Oriented Query Evaluation Scheme for Logical Databases in Massively Parallel Environment. 181-187
  
• Lein Harn, David Huang:
  A Protocol for Establishing Secure Communication Channels in a Large Network. 188-191
  

Volume 6, Number 2, April 1994

• Title, Imprint, 1992-1993 Reviewers, Information for Authors, IEEE Computer Society.
  

• Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin:
  Set Restrictions for Semantic Groupings. 193-204
  
• Qing Li, Dennis McLeod:
  Conceptual Database Evolution Through Learning in Object Databases. 205-224
  
• Rakesh Agrawal, H. V. Jagadish:
  Algorithms for Searching Massive Graphs. 225-238
  
• Marshall D. Brain, Alan L. Tharp:
  Using Tries to Eliminate Pattern Collisions in Perfect Hashing. 239-247
  
• Edward Omiecinski, Liehuey Lee, Peter Scheuermann:
  Performance Analysis of a Concurrent File Reorganization Algorithm for Record Clustering. 248-257
  
• Stefano Spaccapietra, Christine Parent:
  View Integration: A Step Forward in Solving Structural Conflicts. 258-274
  
• Eduardo B. Fernández, Ehud Gudes, Haiyan Song:
  A Model for Evaluation and Administration of Security in Object-Oriented Databases. 275-292
  
• Michael Pittarelli:
  An Algebra for Probabilistic Databases. 293-303
  
• Eileen Tien Lin, Edward Omiecinski, Sudhakar Yalamanchili:
  Large Join Optimization on a Hypercube Multiprocessor. 304-315
  
• Dominique Laurent, Nicolas Spyratos:
  A Partition Model Approach to Updating Universal Scheme Interfaces. 316-330
  
• Asit Dan, Daniel M. Dias, Philip S. Yu:
  Buffer Analysis for a Data Sharing Environment with Skewed Data Access. 331-337
  
• Ravi Mukkamala:
  Storage Efficient and Secure Replicated Distribted Databases. 337-341
  
• Akhil Kumar:
  G-Tree: A New Data Structure for Organizing Multidimensional Data. 341-347
  

Volume 6, Number 3, June 1994

• Title, Imprint, Call for Papers, Information for Authors, IEEE Computer Society.
  

• Chengqi Zhang:
  Heterogeneous Transformation of Uncertainties of Propositions Among Inexact Reasoning Models. 353-360
  
• Jun Gu:
  Global Optimization for Satisfiability (SAT) Problem. 361-381
  
• Liwu Li:
  High-Level Petri Net Model of Logic Program with Negation. 382-395
  
• Howard W. Beck, Tarek M. Anwar, Shamkant B. Navathe:
  A Conceptual Clustering Algorithm for Database Schema Design. 396-411
  
• Xue-Miao Lu, Tharam S. Dillon:
  An Algebraic Theory of Object-Oriented Systems. 412-419
  
• Claudio Sartori, Maria Rita Scalas:
  Partial Indexing for Nonuniform Data Distributions in relational DBMS's. 420-429
  
• Dong-Guk Shin:
  An Expection-Driven Response Understanding Paradigm. 430-443
  
• Amihai Motro:
  Intensional Answers to Database Queries. 444-454
  
• Martin F. van Bommel, Grant E. Weddell:
  Reasoning About Equations and Functional Dependencies on Complex Objects. 455-469
  
• Nabil R. Adam:
  A New Dynamic Voting Algorithm for Distributed Database Systems. 470-478
  
• Gabriel Matsliach, Oded Shmueli:
  A Combined Method for Maintaining Large Indices in Multiprocessor Multidisk Environments. 479-496
  
• George Diehr, Aditya N. Saharia:
  Estimating Block Accesses in Database Organizations. 497-499
  

Volume 6, Number 4, August 1994

• Title, Imprint, Call for Papers, Information for Authors, IEEE Computer Society.
  

• Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan:
  Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs. 501-517
  
• Ke Wang, Li-Yan Yuan:
  First-Order Logic Characterization of Program Properties. 518-533
  
• S. Manivannan, S. A. Guthrie:
  A Knowledge-Based Fatal Incident Decision Model. 534-548
  
• Toru Ishida:
  An Optimization Algorithm for Production Systems. 549-558
  
• Jason Tsong-Li Wang, Kaizhong Zhang, Karpjoo Jeong, Dennis Shasha:
  A System for Approximate Tree Matching. 559-571
  
• Marc Gyssens, Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht:
  A Graph-Oriented Object Database Model. 572-586
  
• Alfons Kemper, Christoph Kilger, Guido Moerkotte:
  Function Materialization in Object Bases: Design, Realization, and Evaluation. 587-608
  
• Ophir Frieder, Chaitanya K. Baru:
  Site and Query Scheduling Policies in Multicomputer Database Systems. 609-619
  
• M. W. Du, S. C. Chang:
  An Approach to Designing Very Fast Approximate String Matching Algorithms. 620-633
  
• Arantza Illarramendi, José Miguel Blanco, Alfredo Goñi:
  Making the Knowledge Base System More Efficient: A Method to Detect Inconsistent Queries. 634-639
  
• Jianzhong Li, James S. K. Ang, Xuejun Tong, Michel Tueni:
  AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge. 639-643
  
• Avelino J. Gonzalez, Harley R. Myler, Frederic D. McKenzie, Massood Towhidnejad, Robin R. Kladke:
  Validation of an Automated System Model Generator. 643-648
  
• Georgios I. Papadimitriou:
  A New Approach to the Design of Reinforcement Schemes for Learning Automata: Stochastic Estimator Learning Algorithms. 649-654
  
• Georgios I. Papadimitriou:
  Hierarchical Discretized Pursuit Nonlinear Learning Automata with Rapid Convergence and High Accuracy. 654-659
  

Volume 6, Number 5, October 1994

• Title, Imprint, Calls for Papers.
  

• Rok Sosic, Jun Gu:
  Efficient Local Search with Conflict Minimization: A Case Study of the n-Queens Problem. 661-668
  
• M. B. O'Neal, W. R. Edwards Jr.:
  Complexity Measures for Rule-Based Programs. 669-680
  
• Gadi Solotorevsky, Ehud Gudes, Amnon Meisels:
  RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling. 681-697
  
• Béchir el Ayeb:
  Towards Systematic Contruction of Diagnostic Systems for Large Industrial Plants: Methods, Languages, and Tools. 698-712
  
• Cyril S. Ku, Heung D. Kim, Lawrence J. Henschen:
  An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases. 713-722
  
• Wenyu Lu, Dik Lun Lee, Jiawei Han:
  A Study on the Structure of Linear Recursion. 723-737
  
• Wesley W. Chu, Qiming Chen:
  A Structured Approach for Cooperative Query Answering. 738-749
  
• Patrick Martin, Per-Åke Larson, Vinay Deshpande:
  Parallel Hash-Based Join Algorithms for a Shared-Everything. 750-763
  
• Philip S. Yu, Asit Dan:
  Performance Analysis of Affinity Clustering on Transaction Processing Coupling Architecture. 764-786
  
• Martin Erwig, Ralf Hartmut Güting:
  Explicit Graphs in a Functional Model for Spatial Databases. 787-804
  
• Divyakant Agrawal, Amr El Abbadi, A. E. Lang:
  The Performance of Protocols Based on Locks with Ordered Sharing. 805-818
  
• Deb Dutta Ganguly, Chilukuri K. Mohan, Sanjay Ranka:
  A Space-and-Time-Efficient Codeing Algorithm for Lattice Computations. 819-829
  
• Paula Brito:
  Order Structure of Symbolic Assertion Objects. 830-834
  
• Robert C. Goldstein, Veda C. Storey:
  Materialization. 835-842
  
• Keh-Chang Guh, Clement T. Yu:
  Efficient Query Processing for a Subset of Linear Recursive Binary Rules. 842-849
  

Volume 6, Number 6, December 1994

• Title, Imprint, Calls for Papers, 1994 Index, Information for Authors, IEEE Computer Society.
  

• Tzung-Pei Hong, Shian-Shyong Tseng:
  Learning Concepts in Parallel Based upon the Strategy of Version Space. 857-867
  
• Stamatis Vassiliadis, George Triantafyllos, Walid Kobrosly:
  A Fuzzy Reasoning Database Question Answering System. 868-882
  
• Ing-Ray Chen, Bryant L. Poole:
  Performance Evaluation of Rule Grouping on a Real-Time Expert System Architecture. 883-891
  
• George Harhalakis, Chang-Pin Lin, Leo Mark, Pedro R. Muro-Medrano:
  Implementation of Rule-Based Information Systems for Integrated Manufacturing. 892-908
  
• Hirotoshi Maegawa:
  ConClass: A Framework for Real-Time Distributed Knowledge-Based Processing. 909-919
  
• M. P. Reddy, Bandreddi E. Prasad, P. G. Reddy, Amar Gupta:
  A Methodology for Integration of Heterogeneous Databases. 920-933
  
• Goetz Graefe, Ann Linville, Leonard D. Shapiro:
  Sort versus Hash Revisited. 934-944
  
• Nikos A. Lorentzos:
  DBMS Support for Nonmetric Measurement Systems. 945-953
  
• Christian S. Jensen, Richard T. Snodgrass:
  Temporal Specialization and Generalization. 954-974
  
• A. B. Stephens, Yelena Yesha, Keith E. Humenik:
  Optimal Allocation for Partially Replicated Database Systems on Ring Networks. 975-982
  
• Du Zhang, Doan Nguyen:
  PREPARE: A Toll for Knowledge Base Verification. 983-989
  
• Joel L. Wolf, Daniel M. Dias, Philip S. Yu, John Turek:
  New Algorithms for Parallelizing Relational Database Joins in the Presence of Data Skew. 990-997
  
• Wei Sun, Mark Allen Weiss:
  An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities. 997-1001