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 条
  • [31] SEMANTICS OF DISJUNCTIVE DEDUCTIVE DATABASES
    FERNANDEZ, JA
    MINKER, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 21 - 50
  • [32] Transactions and updates in deductive databases
    Montesi, D
    Bertino, E
    Martelli, M
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1997, 9 (05) : 784 - 797
  • [33] FOUNDATIONS OF SECURE DEDUCTIVE DATABASES
    BONATTI, PA
    KRAUS, S
    SUBRAHMANIAN, VS
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1995, 7 (03) : 406 - 422
  • [34] Preference queries in deductive databases
    Kannan Govindarajan
    Bharat Jayaraman
    Surya Mantha
    New Generation Computing, 2001, 19 : 57 - 86
  • [35] Preference queries in deductive databases
    Govindarajan, K
    Jayaraman, B
    Mantha, S
    NEW GENERATION COMPUTING, 2001, 19 (01) : 57 - 86
  • [36] Practical Reformulation of Deductive Databases
    Genesereth, Michael
    Mohapatra, Abhijeet
    2019 IEEE SECOND INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND KNOWLEDGE ENGINEERING (AIKE), 2019, : 65 - 72
  • [37] ON DEDUCTIVE DATABASES WITH INCOMPLETE INFORMATION
    KONG, Q
    CHEN, G
    ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1995, 13 (03) : 354 - 369
  • [38] LOGIC AND DATABASES - A DEDUCTIVE APPROACH
    GALLAIRE, H
    MINKER, J
    NICOLAS, JM
    COMPUTING SURVEYS, 1984, 16 (02) : 153 - 185
  • [39] EXTREMA PREDICATES IN DEDUCTIVE DATABASES
    GANGULY, S
    GRECO, S
    ZANIOLO, C
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 51 (02) : 244 - 259
  • [40] SEMANTIC IMPROVEMENT OF DEDUCTIVE DATABASES
    WUTHRICH, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 495 : 216 - 229