Deductive databases for transport engineering

被引:1
|
作者
Heydecker, BG
Small, C
Poulovassilis, A
机构
[1] UNIV LONDON BIRKBECK COLL, DEPT COMP SCI, LONDON, ENGLAND
[2] UNIV LONDON KINGS COLL, DEPT COMP SCI, LONDON WC2R 2LS, ENGLAND
基金
英国工程与自然科学研究理事会;
关键词
D O I
10.1016/0968-090X(95)00011-7
中图分类号
U [交通运输];
学科分类号
08 ; 0823 ;
摘要
Transport data are typical of many application areas in that they arise from a variety of sources and are used in various ways. Furthermore, important information that is required in practical applications of transport databases is often not stored explicitly, but rather has to be deduced from some that is. It is therefore natural to consider the application in this field of deductive database management systems (DBMSs). These extend traditional DBMSs by permitting the definition of inference rules, default rules, complex data structures and integrity constraints, each of which can be used to provide facilities of substantial practical value. The work described here arose from the application of a novel deductive DBMS called PFL (Persistent Functional Language) to the storage and manipulation of road accident data. Although the primary entity type in such a database is that of an accident, queries are typically based upon the concept of a site. Because site information is not stored explicitly in the database, it must be deduced from auxiliary information that provides some indication of location. The combination of large amounts of data and computationally intensive queries presents extraordinary demands for the database system and has led to the development of new software techniques of high efficiency in both computation and data manipulation.
引用
收藏
页码:277 / 292
页数:16
相关论文
共 50 条
  • [21] PARACONSISTENT DISJUNCTIVE DEDUCTIVE DATABASES
    SUBRAHMANIAN, VS
    THEORETICAL COMPUTER SCIENCE, 1992, 93 (01) : 115 - 141
  • [22] FIXPOINT STRATEGIES FOR DEDUCTIVE DATABASES
    GUESSARIAN, I
    DISCRETE APPLIED MATHEMATICS, 1989, 24 (1-3) : 121 - 131
  • [23] DESIGNING DEDUCTIVE DATABASES.
    Helman, Paul
    Veroff, Robert
    Journal of Automated Reasoning, 1988, 4 (01) : 29 - 68
  • [24] ON RECURSIVE AXIOMS IN DEDUCTIVE DATABASES
    MINKER, J
    NICOLAS, JM
    INFORMATION SYSTEMS, 1983, 8 (01) : 1 - 13
  • [25] Logic approaches for deductive databases
    Leung, Yim Yung
    Lee, Dik Lun
    IEEE Expert, 1988, 3 (04): : 64 - 75
  • [26] Linear logic for deductive databases
    Lee, DT
    Tsang, CP
    NEW GENERATION COMPUTING, 1999, 17 (02) : 201 - 228
  • [27] A MODEL FOR MANIPULATION OF DEDUCTIVE DATABASES
    CAO, H
    BELL, DA
    HULL, MEC
    IRISH JOURNAL OF PSYCHOLOGY, 1993, 14 (03): : 505 - 507
  • [28] A (GENTLE) INTRODUCTION TO DEDUCTIVE DATABASES
    TSUR, S
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 64 - 79
  • [29] LOGIC APPROACHES FOR DEDUCTIVE DATABASES
    LEUNG, YY
    LEE, DL
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (04): : 64 - 75
  • [30] Foundations of modal deductive Databases
    Nguyen, Linh Anh
    FUNDAMENTA INFORMATICAE, 2007, 79 (1-2) : 85 - 135