By Topic

IEEE Transactions on Knowledge and Data Engineering

Issue 5 • Oct 1996

Filter Results

Displaying Results 1 - 13 of 13
  • Decomposition of knowledge for concurrent processing

    Publication Year: 1996, Page(s):758 - 772
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1268 KB)

    In some environments, it is more difficult for distributed systems to cooperate. In fact, some distributed systems are highly heterogeneous and might not readily cooperate. In order to alleviate these problems, we have developed an environment that preserves the autonomy of the local systems, while enabling distributed processing. This is achieved by: modeling the different application systems int... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computation of stable models and its integration with logical query processing

    Publication Year: 1996, Page(s):742 - 757
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1428 KB)

    The well-founded semantics and the stable model semantics capture intuitions of the skeptical and credulous semantics in nonmonotonic reasoning, respectively. They represent the two dominant proposals for the declarative semantics of deductive databases and logic programs. However, neither semantics seems to be suitable for all applications. We have developed an efficient implementation of goal-or... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A logic programming framework for modeling temporal objects

    Publication Year: 1996, Page(s):724 - 741
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1868 KB)

    We present a general approach for modeling temporal aspects of objects in a logic programming framework. Change is formulated in the context of a database which stores explicitly a record of all changes that have occurred to objects and thus (implicitly) all states of objects in the database. A snapshot of the database at any given time is an object-oriented database, in the sense that it supports... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An evidential reasoning approach to attribute value conflict resolution in database integration

    Publication Year: 1996, Page(s):707 - 723
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1444 KB)

    Resolving domain incompatibility among independently developed databases often involves uncertain information. DeMichiel (1989) showed that uncertain information can be generated by the mapping of conflicting attributes to a common domain, based on some domain knowledge. We show that uncertain information can also arise when the database integration process requires information not directly repres... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance analysis of long-lived transaction processing systems with rollbacks and aborts

    Publication Year: 1996, Page(s):802 - 815
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1188 KB)

    Increasing the parallelism in transaction processing and maintaining data consistency appear to be two conflicting goals in designing distributed database systems (DDBSs). This problem is especially difficult if the DDBS is serving long-lived transactions (LLTs). A special case of LLTs, called sagas, has been introduced that addresses this problem. A DDBS with sagas provides high parallelism to tr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Curriculum knowledge representation and manipulation in knowledge-based tutoring systems

    Publication Year: 1996, Page(s):679 - 689
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1104 KB)

    A knowledge-based tutoring system (KBTS) is a computer-based instructional system that uses artificial intelligence techniques to help people learn some subjects. We found that the knowledge communication process involving a KBTS and a human student can be decomposed into a series of communication cycles, where each cycle concentrates on one topic and contains four major phases: planning, discussi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Storage allocation policies for time-dependent multimedia data

    Publication Year: 1996, Page(s):855 - 864
    Cited by:  Papers (20)  |  Patents (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (880 KB)

    Multimedia computing requires support for heterogeneous data types with differing storage, communication and delivery requirements. Continuous media data types, such as audio and video, impose delivery requirements that are not satisfied by conventional physical storage organizations. In this paper, we describe a physical organization for multimedia data based on the need to support the delivery o... View full abstract»

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

    Publication Year: 1996, Page(s):773 - 785
    Cited by:  Papers (23)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1276 KB)

    Deductive databases that interact with, and are accessed by, reasoning agents in the real world (such as logic controllers in automated manufacturing, weapons guidance systems, aircraft landing systems, land-vehicle maneuvering systems, and air-traffic control systems) must have the ability to deal with multiple modes of reasoning. Specifically, the types of reasoning we are concerned with include... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Global committability in multidatabase systems

    Publication Year: 1996, Page(s):816 - 824
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1032 KB)

    Develops a formal basis for research into the reliability aspects of transaction processing in multidatabase systems (MDBSs). We define a new correctness notion called `global committability' for the correct unilateral commit and the retry recovery of global transactions in an autonomous MDBS environment. This notion makes it easier to ensure the isolation property of global transactions when the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using compiled knowledge to guide and focus abductive diagnosis

    Publication Year: 1996, Page(s):690 - 706
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1836 KB)

    Several artificial intelligence architectures and systems based on “deep” models of a domain have been proposed, in particular for the diagnostic task. These systems have several advantages over traditional knowledge based systems, but they have a main limitation in their computational complexity. One of the ways to face this problem is to rely on a knowledge compilation phase, which p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using reconfiguration for efficient management of replicated data

    Publication Year: 1996, Page(s):786 - 801
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1636 KB)

    Replicated data management protocols have been proposed that exploit a logically structured set of copies. These protocols have the advantage that they provide limited fault-tolerance at low communication cost. The proposed protocols can be viewed as analogues of the read-one write-all protocol in the context of logical structures. In this paper, we start by generalizing these protocols in two way... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for product data

    Publication Year: 1996, Page(s):825 - 838
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1344 KB)

    IT support for engineering involves the integration of existing, evolving and future product data, and software that processes that data. Thus, there is increasing interest in the representation of product data in the computer to support CAE applications. To avoid duplication and inconsistency, and to support the use of new implementation technology as it emerges, conceptual models of product data... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases

    Publication Year: 1996, Page(s):839 - 854
    Cited by:  Papers (4)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1676 KB)

    Investigates issues related to transaction concurrency control in multilevel secure databases. This paper demonstrates how the conflicts between the correctness requirements and the secrecy requirements can be reconciled by proposing two different solutions. It first explores the correctness criteria that are weaker than one-copy serializability. Each of these weaker criteria, though not as strict... 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