By Topic

IEEE Transactions on Knowledge and Data Engineering

Issue 1 • Mar 1991

Filter Results

Displaying Results 1 - 14 of 14
  • Relational-linear quadtree approach for two-dimensional spatial representation and manipulation

    Publication Year: 1991, Page(s):118 - 122
    Cited by:  Papers (12)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (548 KB)

    An approach called relational-linear quadtree which provides information at multiple resolutions to describe spatial features together with descriptive or propositional information in desired structures is presented. It also provides powerful and flexible spatial analysis and manipulation ability. Its principle is quite clear, and implementation is very easy. It can be modified to fit other databa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Kaleidoscope: a cooperative menu-guided query interface (SQL version)

    Publication Year: 1991, Page(s):42 - 47
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (324 KB)

    Kaleidoscope's approach is presented in the context of seeking improvement in the usability of interactive structured query language (SQL) interfaces. The system's cooperation is summarized as proposing valid query constituents step-by-step and providing lexical and semantic feedback immediately to users. To implement this intraquery guidance, the context-free grammar (CFG) is extended to capture ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A rule-based software test data generator

    Publication Year: 1991, Page(s):108 - 117
    Cited by:  Papers (14)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (932 KB)

    Rule-based software test data generation is proposed as an alternative to either path/predicate analysis or random data generation. A prototype rule-based test data generator for Ada programs is constructed and compared to a random test data generator. Four Ada procedures are used in the comparison. Approximately 2000 rule-based test cases and 100000 randomly generated test cases are automatically... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A persistent store for large shared knowledge bases

    Publication Year: 1991, Page(s):33 - 41
    Cited by:  Papers (1)  |  Patents (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (876 KB)

    A knowledge-base management system (KBMS) with the following goals is proposed: (1) to allow a knowledge engineer to update a knowledge base and have these updates persist on secondary storage, (2) to allow multiple knowledge engineers to have shared access to a knowledge base and modify the knowledge base concurrently, and (3) to maintain consistency of the shared knowledge base as it evolves. At... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A parallel asynchronous garbage collection algorithm for distributed systems

    Publication Year: 1991, Page(s):100 - 107
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    The problem of distributed garbage collection is discussed. An algorithm for parallel distributed asynchronous garbage collection is presented. The liveness and safety properties of this method are demonstrated. The algorithm does not require a global clock, complex termination detection methods, or distributed synchronization techniques. A new color code is introduced to distinguish between local... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CLASP: integrating term subsumption systems and production systems

    Publication Year: 1991, Page(s):25 - 32
    Cited by:  Papers (15)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    The general architecture and an implementation of a classification-based production system (CLASP) are presented. The main objective is to extend the benefits of classification capabilities in frame systems to the developers of rule-based systems. Two major processes of CLASP, a semantic pattern matcher and a pattern classifier, are described. The semantic pattern matcher extends the pattern match... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The organization and performance of a TREAT-based production system compiler

    Publication Year: 1991, Page(s):3 - 10
    Cited by:  Papers (33)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (712 KB)

    An ensemble of techniques that compile OPS5 production system programs to executable machine code is described and an increase in the execution speed of production system programs by two orders of magnitude over the commonly used list processing (LISP)-based OPS5 system is demonstrated. The computer is based on the TREAT incremental match algorithm. A version of the TREAT algorithm, formulated in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to knowledge acquisition based on the structure of personal construct systems

    Publication Year: 1991, Page(s):78 - 88
    Cited by:  Papers (29)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1152 KB)

    A research effort aimed at the development and unification of the prerequisite underlying theoretical foundations for an adequate approach to knowledge elicitation from repertory grid data is described. A theory of confirmation that incorporates the basic tenets of personal construct psychology directly into the logic as a basis for the determination of relevance is offered, thus strengthening the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Representation of models for expert problem solving in physics

    Publication Year: 1991, Page(s):48 - 54
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (564 KB)

    A computer program, APEX, is proposed to investigate idealized formal models representing physics problems. Two types of models are defined: canonical physical objects and physical models. During problem solving, the problem is represented as a data connection network, which is progressively augmented by these models in the form of additional network elements. APEX employs views as a representatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallel rule firing in production systems

    Publication Year: 1991, Page(s):11 - 17
    Cited by:  Papers (34)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB)

    To improve the performance of forward chaining production systems, a new parallel execution model in which multiple production rules are fired in parallel in each production cycle is proposed. Solutions for three major problems in parallel rule firing are provided. The first solution, interference analysis, detects cases where a parallel firing result is different from the result of any sequential... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A browser for large knowledge bases based on a hybrid distributed/local connectionist architecture

    Publication Year: 1991, Page(s):89 - 99
    Cited by:  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (832 KB)

    A browser concept based on a connectionist architecture is presented. The concept utilizes both distributed and local representations. A proof-of-concept system is implemented for an integrally developed, Honeywell-proprietary knowledge acquisition tool. In the browser, concepts and relations in a knowledge base are represented using microfeatures. The microfeatures can encode semantic attributes,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Statistical relational databases: normal forms

    Publication Year: 1991, Page(s):55 - 64
    Cited by:  Papers (5)  |  Patents (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (904 KB)

    Problems associated with defining normal forms of relational tables relevant to statistical processing are discussed. The concepts of derived identifier, class identifier, derived class-counts, count domains, compact domains, and uniform domains for statistical relational tables are introduced. The structures of the first and the second statistical-normal forms and the relational decompositions ne... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Embedable problem-solving architectures: a study of integrating OPS5 with UMass GBB

    Publication Year: 1991, Page(s):18 - 24
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    The requirements of a problem-solving architecture that can be tightly embedded within other architectures and coexist with multiple instances of itself and of other problem-solvers are discussed. The additional effort needed to produce an embedable problem-solving architecture is minor compared to the substantial increase in applicability of the architecture. A specific need for embedable problem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generalized relational model for indefinite and maybe information

    Publication Year: 1991, Page(s):65 - 77
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (940 KB)

    A generalized relational model which is capable of representing and manipulating disjunctive and maybe kinds of information is presented. A data structure, called M-table, is defined, and the information contained in the M-table is precisely stated. Redundant information in M-tables is characterized, and an operator to remove this redundant information is presented. The ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

IEEE Transactions on Knowledge and Data Engineering (TKDE) informs researchers, developers, managers, strategic planners, users, and others interested in state-of-the-art and state-of-the-practice activities in the knowledge and data engineering area.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Xuemin Lin
University of New South Wales

Associate Editor-in-Chief
Lei Chen
Hong Kong University of Science and Technology