STORING AND EVALUATING HORN-CLAUSE RULES IN A RELATIONAL DATABASE

被引：5
|
作者：
BOAS, GV
BOAS, PV
机构：
[1] UNIV AMSTERDAM,DEPT MATH,1018 WB AMSTERDAM,NETHERLANDS
[2] UNIV AMSTERDAM,DEPT COMP SCI,1018 WB AMSTERDAM,NETHERLANDS
来源：
IBM JOURNAL OF RESEARCH AND DEVELOPMENT | 1986年 / 30卷 / 01期
关键词：
D O I：
10.1147/rd.301.0080
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：80 / 92
页数：13
相关论文
共 50 条
  • [1] ON BOUNDED DATABASE SCHEMES AND BOUNDED HORN-CLAUSE PROGRAMS
    SAGIV, Y
    [J]. SIAM JOURNAL ON COMPUTING, 1988, 17 (01) : 1 - 22
  • [2] PROCEDURES IN HORN-CLAUSE PROGRAMMING
    ABDALLAH, MAN
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 433 - 447
  • [3] Compiling horn-clause rules in IBM's business system 12 an early experiment in declarativeness
    Boas-Lubsen, GV
    Boas, PV
    [J]. SOFSEM'98: THEORY AND PRACTICE OF INFORMATICS, 1998, 1521 : 68 - 88
  • [4] AUTOMATED REFINEMENT OF FIRST-ORDER HORN-CLAUSE DOMAIN THEORIES
    RICHARDS, BL
    MOONEY, RJ
    [J]. MACHINE LEARNING, 1995, 19 (02) : 95 - 131
  • [5] Relational Verification Through Horn Clause Transformation
    De Angelis, Emanuele
    Fioravanti, Fabio
    Pettorossi, Alberto
    Proietti, Maurizio
    [J]. STATIC ANALYSIS, (SAS 2016), 2016, 9837 : 147 - 169
  • [6] TOWARD INTEGRATION OF THE IMPERATIVE AND LOGIC PROGRAMMING PARADIGMS - HORN-CLAUSE PROGRAMMING IN THE PASCAL ENVIRONMENT
    RADENSKY, A
    [J]. SIGPLAN NOTICES, 1990, 25 (02): : 25 - 34
  • [7] Storing Java']Java in a relational database
    Dreystadt, J
    [J]. BYTE, 1998, 23 (06): : 61 - 62
  • [8] Storing and using objects in a relational database
    Reinwald, B
    Lehman, TJ
    Pirahesh, H
    Gottemukkala, V
    [J]. IBM SYSTEMS JOURNAL, 1996, 35 (02) : 172 - 191
  • [9] A relational database for storing clinical information
    Mercando, AD
    [J]. PACE-PACING AND CLINICAL ELECTROPHYSIOLOGY, 1996, 19 (07): : 1112 - 1116
  • [10] StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification
    Junaid, Mohsin
    Ming, Jiang
    Kung, David
    [J]. 34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018), 2018, : 198 - 209
12345