By Topic

IEEE Transactions on Knowledge and Data Engineering

Issue 3 • Date Sep 1990

Filter Results

Displaying Results 1 - 8 of 8
  • A knowledge-based environment for modeling and simulating software engineering processes

    Publication Year: 1990, Page(s):283 - 289
    Cited by:  Papers (21)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1008 KB)

    The design and representation schemes used in constructing a prototype computational environment for modeling and simulating multiagent software engineering processes are described. This environment is called the articulator. An overview of the articulator's architecture identifying five principal components is provided. Three of the components, the knowledge metamodel, the software process behavi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A G-net model for knowledge representation and reasoning

    Publication Year: 1990, Page(s):295 - 310
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1316 KB)

    The G-net model for G-type knowledge representation is introduced. It is capable of modeling both static semantic knowledge and dynamic control knowledge, combining them into a loosely coupled, mixed-type knowledge hierarchy. Four reasoning algorithms for the G-net model are proposed: inheritance reasoning and recognition reasoning for semantic knowledge, event-driven re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extensions to query languages for graph traversal problems

    Publication Year: 1990, Page(s):353 - 363
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1040 KB)

    Extensions to database query languages for retrievals that involve inferencing on the nodes and edges of a graph are surveyed. Common types of inferencing are to find paths between two nodes, compute a value for a path such as a distance or an elapsed time, and to choose among alternative paths. The survey is based on the data model (relational or functional), method of extension (iteration, recur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Storage efficient replicated databases

    Publication Year: 1990, Page(s):342 - 352
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1008 KB)

    A fragmentation method that reduces the storage overhead of replicated objects is proposed. A data-management protocol for these fragmented objects is presented, and it is shown that this protocol is a generalization of quorum algorithms for replicated data in which objects are not fragmented. Although the protocol reduces storage requirements, it does not achieve a high level of resiliency for bo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PM: a system to support the automatic acquisition of programming knowledge

    Publication Year: 1990, Page(s):273 - 282
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (900 KB)

    A system called partial metrics (PM) which utilizes chunking as a model for acquiring knowledge about program implementation is described. The chunking paradigm has three phases. The first phase partitions the object to be chunked into relatively independent parts called aggregates. The objects to be chunked in PM are code modules. Modules are separated into a collection of aggregates based on a m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge representation using fuzzy Petri nets

    Publication Year: 1990, Page(s):311 - 319
    Cited by:  Papers (199)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (580 KB)

    A fuzzy Petri net model (FPN) is presented to represent the fuzzy production rule of a rule-based system in which a fuzzy production rule describes the fuzzy relation between two propositions. Based on the fuzzy Petri net model, an efficient algorithm is proposed to perform fuzzy reasoning automatically. It can determine whether an antecedent-consequence relationship exists from proposition d<... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented databases: definition and research directions

    Publication Year: 1990, Page(s):327 - 341
    Cited by:  Papers (44)  |  Patents (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1692 KB)

    An object-oriented database is defined and justified on the basis of a small set of central object-oriented concepts. A number of common misconceptions about object-oriented databases are discussed. The results of relevant recent research in object-oriented databases are outlined. Directions for future research in object-oriented databases are provided View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a formalism to produce a programmer assistant CASE tool

    Publication Year: 1990, Page(s):320 - 326
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (644 KB)

    A weak specification method important to the area of computer-aided software engineering (CASE) is introduced. The specification language introduced does not require the specification of control flow information. When given a specification consisting of a formula characterizing input constraints of a function and a formula characterizing output constraints, it is possible to synthesize program fun... 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
Jian Pei
Simon Fraser University

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

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