default search action
IEEE Transactions on Knowledge and Data Engineering, Volume 6
Volume 6, Number 1, February 1994
- 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
A Graph Theoretical Approach to Determine a Join Reducer Sequence in Distributed Query Processing. 152-165 - Dimitrios Georgakopoulos
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
- Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin:
Set Restrictions for Semantic Groupings. 193-204 - Qing Li
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
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
- 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
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
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
- 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
A System for Approximate Tree Matching. 559-571 - Marc Gyssens
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
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
- Rok Sosic, Jun Gu:
Efficient Local Search with Conflict Minimization: A Case Study of the n-Queens Problem. 661-668 - Michael 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
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
- 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: